Scaled series of shifted continuous function
$begingroup$
I encountered (a significantly more general version of) the following problem: Consider any sequence $(alpha_k)_kin ell^1$ with $alpha_kneq 0$ for any $k$ and let $psi:[0,infty)rightarrowmathbb{R}$ be a bounded continuous function with $psi(0)=0$ and with the following property: for any $m<0$ we have
$$sumlimits_{j=-infty}^{m}alpha_{|j|}psi(s-j+m)=0$$
for every $sin(0,1)$. I want to conclude that $psi(s)=0$ for $sin[0,epsilon)$ for some $epsilon>0$, but I do not even know where to start. Does anyone have a suggestion?
Note: in my particular case I have that the sequence $(alpha_k)_k$ decays exponentially, but I do not think that is relevant for this part.
I encountered this problem in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential Equations, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel.
real-analysis sequences-and-series functional-analysis
$endgroup$
add a comment |
$begingroup$
I encountered (a significantly more general version of) the following problem: Consider any sequence $(alpha_k)_kin ell^1$ with $alpha_kneq 0$ for any $k$ and let $psi:[0,infty)rightarrowmathbb{R}$ be a bounded continuous function with $psi(0)=0$ and with the following property: for any $m<0$ we have
$$sumlimits_{j=-infty}^{m}alpha_{|j|}psi(s-j+m)=0$$
for every $sin(0,1)$. I want to conclude that $psi(s)=0$ for $sin[0,epsilon)$ for some $epsilon>0$, but I do not even know where to start. Does anyone have a suggestion?
Note: in my particular case I have that the sequence $(alpha_k)_k$ decays exponentially, but I do not think that is relevant for this part.
I encountered this problem in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential Equations, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel.
real-analysis sequences-and-series functional-analysis
$endgroup$
$begingroup$
I sincerely doubt that would help in this case but I'll try anyway. I encountered it in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel
$endgroup$
– WillemMSchouten
Jan 8 at 14:56
2
$begingroup$
It really does help to include that context. It helps answerers to understand the the level that answers should aim for (you tagged this with real-analysis and sequences-and-series, which are two tags used quite a lot by undergraduates in introductory level classes; however, as you are studying function DEs, it seems likely that one needn't provide an answer at an introductory undergraduate level), and it helps answerers to understand what tools might be applicable to the problem.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
2
$begingroup$
Moreover, since MSE is meant to be a repository of questions and answers that are useful both to the askers and to future students and/or researchers, the additional context will help other users to find this question in the future. I have taken the liberty of editing your question to add the additional context.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
$begingroup$
Well, hopefully the answer can be understood at an undergraduate level;) But thanks, I will keep these things in mind the next time I ask a question.
$endgroup$
– WillemMSchouten
Jan 8 at 15:27
add a comment |
$begingroup$
I encountered (a significantly more general version of) the following problem: Consider any sequence $(alpha_k)_kin ell^1$ with $alpha_kneq 0$ for any $k$ and let $psi:[0,infty)rightarrowmathbb{R}$ be a bounded continuous function with $psi(0)=0$ and with the following property: for any $m<0$ we have
$$sumlimits_{j=-infty}^{m}alpha_{|j|}psi(s-j+m)=0$$
for every $sin(0,1)$. I want to conclude that $psi(s)=0$ for $sin[0,epsilon)$ for some $epsilon>0$, but I do not even know where to start. Does anyone have a suggestion?
Note: in my particular case I have that the sequence $(alpha_k)_k$ decays exponentially, but I do not think that is relevant for this part.
I encountered this problem in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential Equations, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel.
real-analysis sequences-and-series functional-analysis
$endgroup$
I encountered (a significantly more general version of) the following problem: Consider any sequence $(alpha_k)_kin ell^1$ with $alpha_kneq 0$ for any $k$ and let $psi:[0,infty)rightarrowmathbb{R}$ be a bounded continuous function with $psi(0)=0$ and with the following property: for any $m<0$ we have
$$sumlimits_{j=-infty}^{m}alpha_{|j|}psi(s-j+m)=0$$
for every $sin(0,1)$. I want to conclude that $psi(s)=0$ for $sin[0,epsilon)$ for some $epsilon>0$, but I do not even know where to start. Does anyone have a suggestion?
Note: in my particular case I have that the sequence $(alpha_k)_k$ decays exponentially, but I do not think that is relevant for this part.
I encountered this problem in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential Equations, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel.
real-analysis sequences-and-series functional-analysis
real-analysis sequences-and-series functional-analysis
edited Jan 9 at 13:24
WillemMSchouten
asked Jan 8 at 14:26
WillemMSchoutenWillemMSchouten
816
816
$begingroup$
I sincerely doubt that would help in this case but I'll try anyway. I encountered it in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel
$endgroup$
– WillemMSchouten
Jan 8 at 14:56
2
$begingroup$
It really does help to include that context. It helps answerers to understand the the level that answers should aim for (you tagged this with real-analysis and sequences-and-series, which are two tags used quite a lot by undergraduates in introductory level classes; however, as you are studying function DEs, it seems likely that one needn't provide an answer at an introductory undergraduate level), and it helps answerers to understand what tools might be applicable to the problem.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
2
$begingroup$
Moreover, since MSE is meant to be a repository of questions and answers that are useful both to the askers and to future students and/or researchers, the additional context will help other users to find this question in the future. I have taken the liberty of editing your question to add the additional context.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
$begingroup$
Well, hopefully the answer can be understood at an undergraduate level;) But thanks, I will keep these things in mind the next time I ask a question.
$endgroup$
– WillemMSchouten
Jan 8 at 15:27
add a comment |
$begingroup$
I sincerely doubt that would help in this case but I'll try anyway. I encountered it in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel
$endgroup$
– WillemMSchouten
Jan 8 at 14:56
2
$begingroup$
It really does help to include that context. It helps answerers to understand the the level that answers should aim for (you tagged this with real-analysis and sequences-and-series, which are two tags used quite a lot by undergraduates in introductory level classes; however, as you are studying function DEs, it seems likely that one needn't provide an answer at an introductory undergraduate level), and it helps answerers to understand what tools might be applicable to the problem.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
2
$begingroup$
Moreover, since MSE is meant to be a repository of questions and answers that are useful both to the askers and to future students and/or researchers, the additional context will help other users to find this question in the future. I have taken the liberty of editing your question to add the additional context.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
$begingroup$
Well, hopefully the answer can be understood at an undergraduate level;) But thanks, I will keep these things in mind the next time I ask a question.
$endgroup$
– WillemMSchouten
Jan 8 at 15:27
$begingroup$
I sincerely doubt that would help in this case but I'll try anyway. I encountered it in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel
$endgroup$
– WillemMSchouten
Jan 8 at 14:56
$begingroup$
I sincerely doubt that would help in this case but I'll try anyway. I encountered it in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel
$endgroup$
– WillemMSchouten
Jan 8 at 14:56
2
2
$begingroup$
It really does help to include that context. It helps answerers to understand the the level that answers should aim for (you tagged this with real-analysis and sequences-and-series, which are two tags used quite a lot by undergraduates in introductory level classes; however, as you are studying function DEs, it seems likely that one needn't provide an answer at an introductory undergraduate level), and it helps answerers to understand what tools might be applicable to the problem.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
$begingroup$
It really does help to include that context. It helps answerers to understand the the level that answers should aim for (you tagged this with real-analysis and sequences-and-series, which are two tags used quite a lot by undergraduates in introductory level classes; however, as you are studying function DEs, it seems likely that one needn't provide an answer at an introductory undergraduate level), and it helps answerers to understand what tools might be applicable to the problem.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
2
2
$begingroup$
Moreover, since MSE is meant to be a repository of questions and answers that are useful both to the askers and to future students and/or researchers, the additional context will help other users to find this question in the future. I have taken the liberty of editing your question to add the additional context.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
$begingroup$
Moreover, since MSE is meant to be a repository of questions and answers that are useful both to the askers and to future students and/or researchers, the additional context will help other users to find this question in the future. I have taken the liberty of editing your question to add the additional context.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
$begingroup$
Well, hopefully the answer can be understood at an undergraduate level;) But thanks, I will keep these things in mind the next time I ask a question.
$endgroup$
– WillemMSchouten
Jan 8 at 15:27
$begingroup$
Well, hopefully the answer can be understood at an undergraduate level;) But thanks, I will keep these things in mind the next time I ask a question.
$endgroup$
– WillemMSchouten
Jan 8 at 15:27
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
After some more thinking I found a counter example myself:
Consider the sequence $(alpha_k)_k$ with $alpha_k=exp(-k)$ for $kinmathbb{Z}_{geq 0}$ and consider the continuous bounded function $psi:[0,infty)rightarrow mathbb{R}$ which has $psi(k)=0$ for any $kinmathbb{Z}_{geq 0}$, which has $psi(k+frac{1}{2})=1$ for $kinmathbb{Z}_{geq 0}$ even and $psi(k+frac{1}{2})=-e$ for $kinmathbb{Z}_{geq 1}$ odd and which is linear on the intervals I have not defined it yet. Then for any $minmathbb{Z}_{<0}$ and any $sin(0,frac{1}{2}]$, we have
$$sumlimits_{j=-infty}^m alpha_{|j|}psi(s-j+m)=sumlimits_{j=-infty,j-mtext{ even}}^m exp(-|j|)s+sumlimits_{j=-infty,j-mtext{ odd}}^m exp(-|j|)(-ecdot s)=0$$
The same result holds for $sin(frac{1}{2},1)$ by symmetry. However, there is no $epsilon>0$ with $psi(s)=0$ for $sin[0,epsilon)$.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3066232%2fscaled-series-of-shifted-continuous-function%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
After some more thinking I found a counter example myself:
Consider the sequence $(alpha_k)_k$ with $alpha_k=exp(-k)$ for $kinmathbb{Z}_{geq 0}$ and consider the continuous bounded function $psi:[0,infty)rightarrow mathbb{R}$ which has $psi(k)=0$ for any $kinmathbb{Z}_{geq 0}$, which has $psi(k+frac{1}{2})=1$ for $kinmathbb{Z}_{geq 0}$ even and $psi(k+frac{1}{2})=-e$ for $kinmathbb{Z}_{geq 1}$ odd and which is linear on the intervals I have not defined it yet. Then for any $minmathbb{Z}_{<0}$ and any $sin(0,frac{1}{2}]$, we have
$$sumlimits_{j=-infty}^m alpha_{|j|}psi(s-j+m)=sumlimits_{j=-infty,j-mtext{ even}}^m exp(-|j|)s+sumlimits_{j=-infty,j-mtext{ odd}}^m exp(-|j|)(-ecdot s)=0$$
The same result holds for $sin(frac{1}{2},1)$ by symmetry. However, there is no $epsilon>0$ with $psi(s)=0$ for $sin[0,epsilon)$.
$endgroup$
add a comment |
$begingroup$
After some more thinking I found a counter example myself:
Consider the sequence $(alpha_k)_k$ with $alpha_k=exp(-k)$ for $kinmathbb{Z}_{geq 0}$ and consider the continuous bounded function $psi:[0,infty)rightarrow mathbb{R}$ which has $psi(k)=0$ for any $kinmathbb{Z}_{geq 0}$, which has $psi(k+frac{1}{2})=1$ for $kinmathbb{Z}_{geq 0}$ even and $psi(k+frac{1}{2})=-e$ for $kinmathbb{Z}_{geq 1}$ odd and which is linear on the intervals I have not defined it yet. Then for any $minmathbb{Z}_{<0}$ and any $sin(0,frac{1}{2}]$, we have
$$sumlimits_{j=-infty}^m alpha_{|j|}psi(s-j+m)=sumlimits_{j=-infty,j-mtext{ even}}^m exp(-|j|)s+sumlimits_{j=-infty,j-mtext{ odd}}^m exp(-|j|)(-ecdot s)=0$$
The same result holds for $sin(frac{1}{2},1)$ by symmetry. However, there is no $epsilon>0$ with $psi(s)=0$ for $sin[0,epsilon)$.
$endgroup$
add a comment |
$begingroup$
After some more thinking I found a counter example myself:
Consider the sequence $(alpha_k)_k$ with $alpha_k=exp(-k)$ for $kinmathbb{Z}_{geq 0}$ and consider the continuous bounded function $psi:[0,infty)rightarrow mathbb{R}$ which has $psi(k)=0$ for any $kinmathbb{Z}_{geq 0}$, which has $psi(k+frac{1}{2})=1$ for $kinmathbb{Z}_{geq 0}$ even and $psi(k+frac{1}{2})=-e$ for $kinmathbb{Z}_{geq 1}$ odd and which is linear on the intervals I have not defined it yet. Then for any $minmathbb{Z}_{<0}$ and any $sin(0,frac{1}{2}]$, we have
$$sumlimits_{j=-infty}^m alpha_{|j|}psi(s-j+m)=sumlimits_{j=-infty,j-mtext{ even}}^m exp(-|j|)s+sumlimits_{j=-infty,j-mtext{ odd}}^m exp(-|j|)(-ecdot s)=0$$
The same result holds for $sin(frac{1}{2},1)$ by symmetry. However, there is no $epsilon>0$ with $psi(s)=0$ for $sin[0,epsilon)$.
$endgroup$
After some more thinking I found a counter example myself:
Consider the sequence $(alpha_k)_k$ with $alpha_k=exp(-k)$ for $kinmathbb{Z}_{geq 0}$ and consider the continuous bounded function $psi:[0,infty)rightarrow mathbb{R}$ which has $psi(k)=0$ for any $kinmathbb{Z}_{geq 0}$, which has $psi(k+frac{1}{2})=1$ for $kinmathbb{Z}_{geq 0}$ even and $psi(k+frac{1}{2})=-e$ for $kinmathbb{Z}_{geq 1}$ odd and which is linear on the intervals I have not defined it yet. Then for any $minmathbb{Z}_{<0}$ and any $sin(0,frac{1}{2}]$, we have
$$sumlimits_{j=-infty}^m alpha_{|j|}psi(s-j+m)=sumlimits_{j=-infty,j-mtext{ even}}^m exp(-|j|)s+sumlimits_{j=-infty,j-mtext{ odd}}^m exp(-|j|)(-ecdot s)=0$$
The same result holds for $sin(frac{1}{2},1)$ by symmetry. However, there is no $epsilon>0$ with $psi(s)=0$ for $sin[0,epsilon)$.
edited Jan 9 at 13:25
answered Jan 9 at 10:50
WillemMSchoutenWillemMSchouten
816
816
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3066232%2fscaled-series-of-shifted-continuous-function%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
I sincerely doubt that would help in this case but I'll try anyway. I encountered it in my own research, where I consider the Hale inner product (see J.K. Hale and S.M. Verduyn Lunel, Introduction to Functional Differential, chapter 7) for functional differential equations with infinitely many shifts. In particular, I try to show under which conditions this Hale inner product is non-degenerate, by trying to imitate the proof of Proposition 4.16 of the paper Exponential Dichotomies and Wiener-Hopf Factorizations for Mixed-Type Functional Differential Equations by Mallet-Paret and Verduyn Lunel
$endgroup$
– WillemMSchouten
Jan 8 at 14:56
2
$begingroup$
It really does help to include that context. It helps answerers to understand the the level that answers should aim for (you tagged this with real-analysis and sequences-and-series, which are two tags used quite a lot by undergraduates in introductory level classes; however, as you are studying function DEs, it seems likely that one needn't provide an answer at an introductory undergraduate level), and it helps answerers to understand what tools might be applicable to the problem.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
2
$begingroup$
Moreover, since MSE is meant to be a repository of questions and answers that are useful both to the askers and to future students and/or researchers, the additional context will help other users to find this question in the future. I have taken the liberty of editing your question to add the additional context.
$endgroup$
– Xander Henderson
Jan 8 at 15:20
$begingroup$
Well, hopefully the answer can be understood at an undergraduate level;) But thanks, I will keep these things in mind the next time I ask a question.
$endgroup$
– WillemMSchouten
Jan 8 at 15:27