Mixing
Absolute convergence of Fourier series in $mathbb{Z}_p$
$begingroup$
For a $p$-adic number $a in frac{n}{p^k}+mathbb{Z}_psubset mathbb{Q}_p$ let $exp(2i pi a) =exp(2i pi frac{n}{p^k})$ and $psi_a(x) = exp(2i pi ax)$. Then $$Hom(mathbb{Z}_p,mathbb{C}^times) = { psi_a , a in mathbb{Q}_p/mathbb{Z}_p}$$
For $f,h$ (uniformly) continuous $ mathbb{Z}_p to mathbb{C}$ let $langle f,h rangle =lim_{k to infty} p^{-k} sum_{n=0}^{p^k -1} f(n) overline{h(n)}$
$f ast h(x) = langle f(x-.),overline{h} rangle $
We obtain that
$$lim_{k to infty} sum_{n=0}^{p^k -1} langle f,psi_{n/p^k}rangle psi_{n/p^k}(x) = lim_{k to infty} f ast sum_{n=0}^{p^k -1} psi_{n/p^k}(x)= lim_{k to infty} f ast p^k 1_{x in p^k mathbb{Z}_p} = f(x)$$
and the convergence is uniform.
This is to be interpreted as a particular order of summation for the Fourier series $$sum_{a in mathbb{Q}_p/mathbb{Z}_p}langle f,psi_arangle psi_a(x) tag{1}$$
Question : when does $(1)$ converge absolutely ?
If $f$ is locally constant, that is for some $m$, $f(x) = f(x bmod p^m)$ then its Fourier series is a finite sum $sum_{a in p^{-m}mathbb{Z}_p/mathbb{Z}_p}langle f,psi_arangle psi_a(x)$ as $langle f, psi_{n/p^k} rangle = 0$ whenever $ k >m$ ($pnmid n$).
With $|f|_2^2 = langle f,f rangle$ we have the Hilbert space $L^2(mathbb{Z}_p)$ of which ${ psi_a , a in mathbb{Q}_p/mathbb{Z}_p}$ is an orthonormal basis so $f in C^0(mathbb{Z}_p) implies f in L^2(mathbb{Z}_p) implies sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle f,psi_arangle|^2 = |f|_2^2$. Unlike the derivative $L^2(mathbb{R}/mathbb{Z})to L^2(mathbb{R}/mathbb{Z})$ there is no obvious unbounded operator such that $T(f) = sum_{a in mathbb{Q}_p/mathbb{Z}_p}c(a) langle f,psi_arangle psi_a$ and $sum_{a in mathbb{Q}_p/mathbb{Z}_p}frac{1}{|c(a)|^2} < infty$. If that operator could be easily defined we'd have $T(f) in L^2(mathbb{Z}_p) implies $ $$sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle f,psi_arangle| le (sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle T(f),psi_arangle|^2)^{1/2}(sum_{a in mathbb{Q}_p/mathbb{Z}_p}frac{1}{|c(a)|^2})^{1/2} = C |T(f)|_2$$ so $(1)$ would converge absolutely.
fourier-series harmonic-analysis p-adic-number-theory
asked Jan 10 at 2:05
reunsreuns
20k21148
$endgroup$
add a comment |
$begingroup$
For a $p$-adic number $a in frac{n}{p^k}+mathbb{Z}_psubset mathbb{Q}_p$ let $exp(2i pi a) =exp(2i pi frac{n}{p^k})$ and $psi_a(x) = exp(2i pi ax)$. Then $$Hom(mathbb{Z}_p,mathbb{C}^times) = { psi_a , a in mathbb{Q}_p/mathbb{Z}_p}$$
For $f,h$ (uniformly) continuous $ mathbb{Z}_p to mathbb{C}$ let $langle f,h rangle =lim_{k to infty} p^{-k} sum_{n=0}^{p^k -1} f(n) overline{h(n)}$
$f ast h(x) = langle f(x-.),overline{h} rangle $
We obtain that
$$lim_{k to infty} sum_{n=0}^{p^k -1} langle f,psi_{n/p^k}rangle psi_{n/p^k}(x) = lim_{k to infty} f ast sum_{n=0}^{p^k -1} psi_{n/p^k}(x)= lim_{k to infty} f ast p^k 1_{x in p^k mathbb{Z}_p} = f(x)$$
and the convergence is uniform.
This is to be interpreted as a particular order of summation for the Fourier series $$sum_{a in mathbb{Q}_p/mathbb{Z}_p}langle f,psi_arangle psi_a(x) tag{1}$$
Question : when does $(1)$ converge absolutely ?
If $f$ is locally constant, that is for some $m$, $f(x) = f(x bmod p^m)$ then its Fourier series is a finite sum $sum_{a in p^{-m}mathbb{Z}_p/mathbb{Z}_p}langle f,psi_arangle psi_a(x)$ as $langle f, psi_{n/p^k} rangle = 0$ whenever $ k >m$ ($pnmid n$).
With $|f|_2^2 = langle f,f rangle$ we have the Hilbert space $L^2(mathbb{Z}_p)$ of which ${ psi_a , a in mathbb{Q}_p/mathbb{Z}_p}$ is an orthonormal basis so $f in C^0(mathbb{Z}_p) implies f in L^2(mathbb{Z}_p) implies sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle f,psi_arangle|^2 = |f|_2^2$. Unlike the derivative $L^2(mathbb{R}/mathbb{Z})to L^2(mathbb{R}/mathbb{Z})$ there is no obvious unbounded operator such that $T(f) = sum_{a in mathbb{Q}_p/mathbb{Z}_p}c(a) langle f,psi_arangle psi_a$ and $sum_{a in mathbb{Q}_p/mathbb{Z}_p}frac{1}{|c(a)|^2} < infty$. If that operator could be easily defined we'd have $T(f) in L^2(mathbb{Z}_p) implies $ $$sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle f,psi_arangle| le (sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle T(f),psi_arangle|^2)^{1/2}(sum_{a in mathbb{Q}_p/mathbb{Z}_p}frac{1}{|c(a)|^2})^{1/2} = C |T(f)|_2$$ so $(1)$ would converge absolutely.
fourier-series harmonic-analysis p-adic-number-theory
asked Jan 10 at 2:05
reunsreuns
20k21148
$endgroup$
add a comment |
$begingroup$
For a $p$-adic number $a in frac{n}{p^k}+mathbb{Z}_psubset mathbb{Q}_p$ let $exp(2i pi a) =exp(2i pi frac{n}{p^k})$ and $psi_a(x) = exp(2i pi ax)$. Then $$Hom(mathbb{Z}_p,mathbb{C}^times) = { psi_a , a in mathbb{Q}_p/mathbb{Z}_p}$$
For $f,h$ (uniformly) continuous $ mathbb{Z}_p to mathbb{C}$ let $langle f,h rangle =lim_{k to infty} p^{-k} sum_{n=0}^{p^k -1} f(n) overline{h(n)}$
$f ast h(x) = langle f(x-.),overline{h} rangle $
We obtain that
$$lim_{k to infty} sum_{n=0}^{p^k -1} langle f,psi_{n/p^k}rangle psi_{n/p^k}(x) = lim_{k to infty} f ast sum_{n=0}^{p^k -1} psi_{n/p^k}(x)= lim_{k to infty} f ast p^k 1_{x in p^k mathbb{Z}_p} = f(x)$$
and the convergence is uniform.
This is to be interpreted as a particular order of summation for the Fourier series $$sum_{a in mathbb{Q}_p/mathbb{Z}_p}langle f,psi_arangle psi_a(x) tag{1}$$
Question : when does $(1)$ converge absolutely ?
If $f$ is locally constant, that is for some $m$, $f(x) = f(x bmod p^m)$ then its Fourier series is a finite sum $sum_{a in p^{-m}mathbb{Z}_p/mathbb{Z}_p}langle f,psi_arangle psi_a(x)$ as $langle f, psi_{n/p^k} rangle = 0$ whenever $ k >m$ ($pnmid n$).
With $|f|_2^2 = langle f,f rangle$ we have the Hilbert space $L^2(mathbb{Z}_p)$ of which ${ psi_a , a in mathbb{Q}_p/mathbb{Z}_p}$ is an orthonormal basis so $f in C^0(mathbb{Z}_p) implies f in L^2(mathbb{Z}_p) implies sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle f,psi_arangle|^2 = |f|_2^2$. Unlike the derivative $L^2(mathbb{R}/mathbb{Z})to L^2(mathbb{R}/mathbb{Z})$ there is no obvious unbounded operator such that $T(f) = sum_{a in mathbb{Q}_p/mathbb{Z}_p}c(a) langle f,psi_arangle psi_a$ and $sum_{a in mathbb{Q}_p/mathbb{Z}_p}frac{1}{|c(a)|^2} < infty$. If that operator could be easily defined we'd have $T(f) in L^2(mathbb{Z}_p) implies $ $$sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle f,psi_arangle| le (sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle T(f),psi_arangle|^2)^{1/2}(sum_{a in mathbb{Q}_p/mathbb{Z}_p}frac{1}{|c(a)|^2})^{1/2} = C |T(f)|_2$$ so $(1)$ would converge absolutely.
fourier-series harmonic-analysis p-adic-number-theory
asked Jan 10 at 2:05
reunsreuns
20k21148
$endgroup$
For a $p$-adic number $a in frac{n}{p^k}+mathbb{Z}_psubset mathbb{Q}_p$ let $exp(2i pi a) =exp(2i pi frac{n}{p^k})$ and $psi_a(x) = exp(2i pi ax)$. Then $$Hom(mathbb{Z}_p,mathbb{C}^times) = { psi_a , a in mathbb{Q}_p/mathbb{Z}_p}$$
For $f,h$ (uniformly) continuous $ mathbb{Z}_p to mathbb{C}$ let $langle f,h rangle =lim_{k to infty} p^{-k} sum_{n=0}^{p^k -1} f(n) overline{h(n)}$
$f ast h(x) = langle f(x-.),overline{h} rangle $
We obtain that
$$lim_{k to infty} sum_{n=0}^{p^k -1} langle f,psi_{n/p^k}rangle psi_{n/p^k}(x) = lim_{k to infty} f ast sum_{n=0}^{p^k -1} psi_{n/p^k}(x)= lim_{k to infty} f ast p^k 1_{x in p^k mathbb{Z}_p} = f(x)$$
and the convergence is uniform.
This is to be interpreted as a particular order of summation for the Fourier series $$sum_{a in mathbb{Q}_p/mathbb{Z}_p}langle f,psi_arangle psi_a(x) tag{1}$$
Question : when does $(1)$ converge absolutely ?
If $f$ is locally constant, that is for some $m$, $f(x) = f(x bmod p^m)$ then its Fourier series is a finite sum $sum_{a in p^{-m}mathbb{Z}_p/mathbb{Z}_p}langle f,psi_arangle psi_a(x)$ as $langle f, psi_{n/p^k} rangle = 0$ whenever $ k >m$ ($pnmid n$).
With $|f|_2^2 = langle f,f rangle$ we have the Hilbert space $L^2(mathbb{Z}_p)$ of which ${ psi_a , a in mathbb{Q}_p/mathbb{Z}_p}$ is an orthonormal basis so $f in C^0(mathbb{Z}_p) implies f in L^2(mathbb{Z}_p) implies sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle f,psi_arangle|^2 = |f|_2^2$. Unlike the derivative $L^2(mathbb{R}/mathbb{Z})to L^2(mathbb{R}/mathbb{Z})$ there is no obvious unbounded operator such that $T(f) = sum_{a in mathbb{Q}_p/mathbb{Z}_p}c(a) langle f,psi_arangle psi_a$ and $sum_{a in mathbb{Q}_p/mathbb{Z}_p}frac{1}{|c(a)|^2} < infty$. If that operator could be easily defined we'd have $T(f) in L^2(mathbb{Z}_p) implies $ $$sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle f,psi_arangle| le (sum_{a in mathbb{Q}_p/mathbb{Z}_p}|langle T(f),psi_arangle|^2)^{1/2}(sum_{a in mathbb{Q}_p/mathbb{Z}_p}frac{1}{|c(a)|^2})^{1/2} = C |T(f)|_2$$ so $(1)$ would converge absolutely.
fourier-series harmonic-analysis p-adic-number-theory
fourier-series harmonic-analysis p-adic-number-theory
asked Jan 10 at 2:05
reunsreuns
20k21148
asked Jan 10 at 2:05
reunsreuns
20k21148
edited Jan 10 at 4:08
reuns
asked Jan 10 at 2:05
reunsreuns
20k21148
asked Jan 10 at 2:05
reunsreuns
20k21148
asked Jan 10 at 2:05
reunsreuns
20k21148
20k21148
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}$The Fourier series need not converge absolutely. First, some notation. Let $A_n = p^n ZZ_p subseteq ZZ_p$ and let $B_n = p^{-n} ZZ_p/ZZ_p subset QQ_p/ZZ_p$. Let $chi_S$ denote the characteristic function of a set $S$, meaning that $chi_S(s)=1$ if $s in S$ and $chi_S(s)=0$ otherwise. Then the Fourier transform of $chi_{A_n}$ is $p^{-n} chi_{B_n}$.
Let $r_n$ be any sequence of real numbers such that $sum_{n=0}^{infty} r_n$ is conditionally convergent. Then $sum_{n=0}^{infty} r_n chi_{A_n}$ is a continuous function on $ZZ_p$. (Because, if $s in A_m setminus A_{m+1}$, then $sum_{n=0}^{infty} r_n chi_{A_n}(s)=sum_{n=0}^m r_n$. If $s to 0$ then $m to infty$, so this approaches $lim_{m to infty} sum_{n=0}^m r_n$, which is the definition of $sum_{n=0}^{infty} r_n$.)
The Fourier transform of $sum_{n=0}^{infty} r_n chi_{A_n}$ is $sum_{n=0}^{infty} r_n p^{-n} chi_{B_n}$. If $t in B_m setminus B_{m-1}$, then this is $sum_{n=m}^{infty} r_n p^{-n}$ (which is absolutely convergent, since $r_n to 0$). If we sum over all points $t in B_m setminus B_{m-1}$, we get
$$c_m:=(1-1/p) sum_{n=m}^{infty} r_n p^{m-n}.$$
If the Fourier series were absolutely convergent, then in particular we could clump together the $t$'s in the same $B_m setminus B_{m-1}$ and then order the $m$'s arbitrarily. In other words, $sum c_m$ would be aboslutely convergent.
But it is easy to come up with $r_n$ such that $sum c_m$ is not absolutely convergent. For example, the standard $tfrac{(-1)^n}{n}$ works.
Of course, what you wanted was a condition under which the sum would be absolutely convergent, but you seemed unclear as to whether this would always happen, so it seemed worth pointing out that the answer is "no". I suspect there should be some sort of condition in terms of the modulus of continuity of the function; I'll think about it a bit.
answered Jan 10 at 3:34
David E SpeyerDavid E Speyer
45.6k4125206
$endgroup$
$begingroup$
Tks a lot. So starting with $f(s) = sum_{nge 0} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p} r(a,p^n) chi_{a+p^nmathbb{Z}_p}(s)$ and $chi_{a+p^nmathbb{Z}_p}(s)= sum_{b in B_n} p^{-n}psi_b(-a)psi_b(s)$ and $|r(a,p^n)| le r_n$ then $sum_{n ge 0} r_n p^{n} < infty$ implies the absolute convergence of the Fourier series $f(s) = sum_{m ge 0}sum_{b in B_m- B_{m-1} } psi_b(s) ( sum_{nge m}p^{-n} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p } r(a,p^n)psi_b(-a))$.
$endgroup$
– reuns
Jan 10 at 5:45
$begingroup$
In particular $f : mathbb{Z}_p to mathbb{C}$, $|f(s)-f(s_2)| le C| s-s_2|_p^{1+epsilon}$ implies the absolute convergence of the Fourier series. This seems like an acceptable starting point to manipulate Fourier series on $widehat{mathbb{Z}}$ and $mathbb{A}/mathbb{Q}$ (appearing in the Whittaker expansion of automorphic forms)
$endgroup$
– reuns
Jan 10 at 19:04
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%2f3068153%2fabsolute-convergence-of-fourier-series-in-mathbbz-p%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$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}$The Fourier series need not converge absolutely. First, some notation. Let $A_n = p^n ZZ_p subseteq ZZ_p$ and let $B_n = p^{-n} ZZ_p/ZZ_p subset QQ_p/ZZ_p$. Let $chi_S$ denote the characteristic function of a set $S$, meaning that $chi_S(s)=1$ if $s in S$ and $chi_S(s)=0$ otherwise. Then the Fourier transform of $chi_{A_n}$ is $p^{-n} chi_{B_n}$.
Let $r_n$ be any sequence of real numbers such that $sum_{n=0}^{infty} r_n$ is conditionally convergent. Then $sum_{n=0}^{infty} r_n chi_{A_n}$ is a continuous function on $ZZ_p$. (Because, if $s in A_m setminus A_{m+1}$, then $sum_{n=0}^{infty} r_n chi_{A_n}(s)=sum_{n=0}^m r_n$. If $s to 0$ then $m to infty$, so this approaches $lim_{m to infty} sum_{n=0}^m r_n$, which is the definition of $sum_{n=0}^{infty} r_n$.)
The Fourier transform of $sum_{n=0}^{infty} r_n chi_{A_n}$ is $sum_{n=0}^{infty} r_n p^{-n} chi_{B_n}$. If $t in B_m setminus B_{m-1}$, then this is $sum_{n=m}^{infty} r_n p^{-n}$ (which is absolutely convergent, since $r_n to 0$). If we sum over all points $t in B_m setminus B_{m-1}$, we get
$$c_m:=(1-1/p) sum_{n=m}^{infty} r_n p^{m-n}.$$
If the Fourier series were absolutely convergent, then in particular we could clump together the $t$'s in the same $B_m setminus B_{m-1}$ and then order the $m$'s arbitrarily. In other words, $sum c_m$ would be aboslutely convergent.
But it is easy to come up with $r_n$ such that $sum c_m$ is not absolutely convergent. For example, the standard $tfrac{(-1)^n}{n}$ works.
Of course, what you wanted was a condition under which the sum would be absolutely convergent, but you seemed unclear as to whether this would always happen, so it seemed worth pointing out that the answer is "no". I suspect there should be some sort of condition in terms of the modulus of continuity of the function; I'll think about it a bit.
answered Jan 10 at 3:34
David E SpeyerDavid E Speyer
45.6k4125206
$endgroup$
$begingroup$
Tks a lot. So starting with $f(s) = sum_{nge 0} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p} r(a,p^n) chi_{a+p^nmathbb{Z}_p}(s)$ and $chi_{a+p^nmathbb{Z}_p}(s)= sum_{b in B_n} p^{-n}psi_b(-a)psi_b(s)$ and $|r(a,p^n)| le r_n$ then $sum_{n ge 0} r_n p^{n} < infty$ implies the absolute convergence of the Fourier series $f(s) = sum_{m ge 0}sum_{b in B_m- B_{m-1} } psi_b(s) ( sum_{nge m}p^{-n} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p } r(a,p^n)psi_b(-a))$.
$endgroup$
– reuns
Jan 10 at 5:45
$begingroup$
In particular $f : mathbb{Z}_p to mathbb{C}$, $|f(s)-f(s_2)| le C| s-s_2|_p^{1+epsilon}$ implies the absolute convergence of the Fourier series. This seems like an acceptable starting point to manipulate Fourier series on $widehat{mathbb{Z}}$ and $mathbb{A}/mathbb{Q}$ (appearing in the Whittaker expansion of automorphic forms)
$endgroup$
– reuns
Jan 10 at 19:04
add a comment |
$begingroup$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}$The Fourier series need not converge absolutely. First, some notation. Let $A_n = p^n ZZ_p subseteq ZZ_p$ and let $B_n = p^{-n} ZZ_p/ZZ_p subset QQ_p/ZZ_p$. Let $chi_S$ denote the characteristic function of a set $S$, meaning that $chi_S(s)=1$ if $s in S$ and $chi_S(s)=0$ otherwise. Then the Fourier transform of $chi_{A_n}$ is $p^{-n} chi_{B_n}$.
Let $r_n$ be any sequence of real numbers such that $sum_{n=0}^{infty} r_n$ is conditionally convergent. Then $sum_{n=0}^{infty} r_n chi_{A_n}$ is a continuous function on $ZZ_p$. (Because, if $s in A_m setminus A_{m+1}$, then $sum_{n=0}^{infty} r_n chi_{A_n}(s)=sum_{n=0}^m r_n$. If $s to 0$ then $m to infty$, so this approaches $lim_{m to infty} sum_{n=0}^m r_n$, which is the definition of $sum_{n=0}^{infty} r_n$.)
The Fourier transform of $sum_{n=0}^{infty} r_n chi_{A_n}$ is $sum_{n=0}^{infty} r_n p^{-n} chi_{B_n}$. If $t in B_m setminus B_{m-1}$, then this is $sum_{n=m}^{infty} r_n p^{-n}$ (which is absolutely convergent, since $r_n to 0$). If we sum over all points $t in B_m setminus B_{m-1}$, we get
$$c_m:=(1-1/p) sum_{n=m}^{infty} r_n p^{m-n}.$$
If the Fourier series were absolutely convergent, then in particular we could clump together the $t$'s in the same $B_m setminus B_{m-1}$ and then order the $m$'s arbitrarily. In other words, $sum c_m$ would be aboslutely convergent.
But it is easy to come up with $r_n$ such that $sum c_m$ is not absolutely convergent. For example, the standard $tfrac{(-1)^n}{n}$ works.
Of course, what you wanted was a condition under which the sum would be absolutely convergent, but you seemed unclear as to whether this would always happen, so it seemed worth pointing out that the answer is "no". I suspect there should be some sort of condition in terms of the modulus of continuity of the function; I'll think about it a bit.
answered Jan 10 at 3:34
David E SpeyerDavid E Speyer
45.6k4125206
$endgroup$
$begingroup$
Tks a lot. So starting with $f(s) = sum_{nge 0} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p} r(a,p^n) chi_{a+p^nmathbb{Z}_p}(s)$ and $chi_{a+p^nmathbb{Z}_p}(s)= sum_{b in B_n} p^{-n}psi_b(-a)psi_b(s)$ and $|r(a,p^n)| le r_n$ then $sum_{n ge 0} r_n p^{n} < infty$ implies the absolute convergence of the Fourier series $f(s) = sum_{m ge 0}sum_{b in B_m- B_{m-1} } psi_b(s) ( sum_{nge m}p^{-n} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p } r(a,p^n)psi_b(-a))$.
$endgroup$
– reuns
Jan 10 at 5:45
$begingroup$
In particular $f : mathbb{Z}_p to mathbb{C}$, $|f(s)-f(s_2)| le C| s-s_2|_p^{1+epsilon}$ implies the absolute convergence of the Fourier series. This seems like an acceptable starting point to manipulate Fourier series on $widehat{mathbb{Z}}$ and $mathbb{A}/mathbb{Q}$ (appearing in the Whittaker expansion of automorphic forms)
$endgroup$
– reuns
Jan 10 at 19:04
add a comment |
$begingroup$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}$The Fourier series need not converge absolutely. First, some notation. Let $A_n = p^n ZZ_p subseteq ZZ_p$ and let $B_n = p^{-n} ZZ_p/ZZ_p subset QQ_p/ZZ_p$. Let $chi_S$ denote the characteristic function of a set $S$, meaning that $chi_S(s)=1$ if $s in S$ and $chi_S(s)=0$ otherwise. Then the Fourier transform of $chi_{A_n}$ is $p^{-n} chi_{B_n}$.
Let $r_n$ be any sequence of real numbers such that $sum_{n=0}^{infty} r_n$ is conditionally convergent. Then $sum_{n=0}^{infty} r_n chi_{A_n}$ is a continuous function on $ZZ_p$. (Because, if $s in A_m setminus A_{m+1}$, then $sum_{n=0}^{infty} r_n chi_{A_n}(s)=sum_{n=0}^m r_n$. If $s to 0$ then $m to infty$, so this approaches $lim_{m to infty} sum_{n=0}^m r_n$, which is the definition of $sum_{n=0}^{infty} r_n$.)
The Fourier transform of $sum_{n=0}^{infty} r_n chi_{A_n}$ is $sum_{n=0}^{infty} r_n p^{-n} chi_{B_n}$. If $t in B_m setminus B_{m-1}$, then this is $sum_{n=m}^{infty} r_n p^{-n}$ (which is absolutely convergent, since $r_n to 0$). If we sum over all points $t in B_m setminus B_{m-1}$, we get
$$c_m:=(1-1/p) sum_{n=m}^{infty} r_n p^{m-n}.$$
If the Fourier series were absolutely convergent, then in particular we could clump together the $t$'s in the same $B_m setminus B_{m-1}$ and then order the $m$'s arbitrarily. In other words, $sum c_m$ would be aboslutely convergent.
But it is easy to come up with $r_n$ such that $sum c_m$ is not absolutely convergent. For example, the standard $tfrac{(-1)^n}{n}$ works.
Of course, what you wanted was a condition under which the sum would be absolutely convergent, but you seemed unclear as to whether this would always happen, so it seemed worth pointing out that the answer is "no". I suspect there should be some sort of condition in terms of the modulus of continuity of the function; I'll think about it a bit.
answered Jan 10 at 3:34
David E SpeyerDavid E Speyer
45.6k4125206
$endgroup$
$defZZ{mathbb{Z}}defQQ{mathbb{Q}}$The Fourier series need not converge absolutely. First, some notation. Let $A_n = p^n ZZ_p subseteq ZZ_p$ and let $B_n = p^{-n} ZZ_p/ZZ_p subset QQ_p/ZZ_p$. Let $chi_S$ denote the characteristic function of a set $S$, meaning that $chi_S(s)=1$ if $s in S$ and $chi_S(s)=0$ otherwise. Then the Fourier transform of $chi_{A_n}$ is $p^{-n} chi_{B_n}$.
Let $r_n$ be any sequence of real numbers such that $sum_{n=0}^{infty} r_n$ is conditionally convergent. Then $sum_{n=0}^{infty} r_n chi_{A_n}$ is a continuous function on $ZZ_p$. (Because, if $s in A_m setminus A_{m+1}$, then $sum_{n=0}^{infty} r_n chi_{A_n}(s)=sum_{n=0}^m r_n$. If $s to 0$ then $m to infty$, so this approaches $lim_{m to infty} sum_{n=0}^m r_n$, which is the definition of $sum_{n=0}^{infty} r_n$.)
The Fourier transform of $sum_{n=0}^{infty} r_n chi_{A_n}$ is $sum_{n=0}^{infty} r_n p^{-n} chi_{B_n}$. If $t in B_m setminus B_{m-1}$, then this is $sum_{n=m}^{infty} r_n p^{-n}$ (which is absolutely convergent, since $r_n to 0$). If we sum over all points $t in B_m setminus B_{m-1}$, we get
$$c_m:=(1-1/p) sum_{n=m}^{infty} r_n p^{m-n}.$$
If the Fourier series were absolutely convergent, then in particular we could clump together the $t$'s in the same $B_m setminus B_{m-1}$ and then order the $m$'s arbitrarily. In other words, $sum c_m$ would be aboslutely convergent.
But it is easy to come up with $r_n$ such that $sum c_m$ is not absolutely convergent. For example, the standard $tfrac{(-1)^n}{n}$ works.
Of course, what you wanted was a condition under which the sum would be absolutely convergent, but you seemed unclear as to whether this would always happen, so it seemed worth pointing out that the answer is "no". I suspect there should be some sort of condition in terms of the modulus of continuity of the function; I'll think about it a bit.
answered Jan 10 at 3:34
David E SpeyerDavid E Speyer
45.6k4125206
answered Jan 10 at 3:34
David E SpeyerDavid E Speyer
45.6k4125206
answered Jan 10 at 3:34
David E SpeyerDavid E Speyer
45.6k4125206
answered Jan 10 at 3:34
David E SpeyerDavid E Speyer
45.6k4125206
45.6k4125206
$begingroup$
Tks a lot. So starting with $f(s) = sum_{nge 0} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p} r(a,p^n) chi_{a+p^nmathbb{Z}_p}(s)$ and $chi_{a+p^nmathbb{Z}_p}(s)= sum_{b in B_n} p^{-n}psi_b(-a)psi_b(s)$ and $|r(a,p^n)| le r_n$ then $sum_{n ge 0} r_n p^{n} < infty$ implies the absolute convergence of the Fourier series $f(s) = sum_{m ge 0}sum_{b in B_m- B_{m-1} } psi_b(s) ( sum_{nge m}p^{-n} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p } r(a,p^n)psi_b(-a))$.
$endgroup$
– reuns
Jan 10 at 5:45
$begingroup$
In particular $f : mathbb{Z}_p to mathbb{C}$, $|f(s)-f(s_2)| le C| s-s_2|_p^{1+epsilon}$ implies the absolute convergence of the Fourier series. This seems like an acceptable starting point to manipulate Fourier series on $widehat{mathbb{Z}}$ and $mathbb{A}/mathbb{Q}$ (appearing in the Whittaker expansion of automorphic forms)
$endgroup$
– reuns
Jan 10 at 19:04
add a comment |
$begingroup$
Tks a lot. So starting with $f(s) = sum_{nge 0} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p} r(a,p^n) chi_{a+p^nmathbb{Z}_p}(s)$ and $chi_{a+p^nmathbb{Z}_p}(s)= sum_{b in B_n} p^{-n}psi_b(-a)psi_b(s)$ and $|r(a,p^n)| le r_n$ then $sum_{n ge 0} r_n p^{n} < infty$ implies the absolute convergence of the Fourier series $f(s) = sum_{m ge 0}sum_{b in B_m- B_{m-1} } psi_b(s) ( sum_{nge m}p^{-n} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p } r(a,p^n)psi_b(-a))$.
$endgroup$
– reuns
Jan 10 at 5:45
$begingroup$
In particular $f : mathbb{Z}_p to mathbb{C}$, $|f(s)-f(s_2)| le C| s-s_2|_p^{1+epsilon}$ implies the absolute convergence of the Fourier series. This seems like an acceptable starting point to manipulate Fourier series on $widehat{mathbb{Z}}$ and $mathbb{A}/mathbb{Q}$ (appearing in the Whittaker expansion of automorphic forms)
$endgroup$
– reuns
Jan 10 at 19:04
$begingroup$
Tks a lot. So starting with $f(s) = sum_{nge 0} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p} r(a,p^n) chi_{a+p^nmathbb{Z}_p}(s)$ and $chi_{a+p^nmathbb{Z}_p}(s)= sum_{b in B_n} p^{-n}psi_b(-a)psi_b(s)$ and $|r(a,p^n)| le r_n$ then $sum_{n ge 0} r_n p^{n} < infty$ implies the absolute convergence of the Fourier series $f(s) = sum_{m ge 0}sum_{b in B_m- B_{m-1} } psi_b(s) ( sum_{nge m}p^{-n} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p } r(a,p^n)psi_b(-a))$.
$endgroup$
– reuns
Jan 10 at 5:45
$begingroup$
Tks a lot. So starting with $f(s) = sum_{nge 0} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p} r(a,p^n) chi_{a+p^nmathbb{Z}_p}(s)$ and $chi_{a+p^nmathbb{Z}_p}(s)= sum_{b in B_n} p^{-n}psi_b(-a)psi_b(s)$ and $|r(a,p^n)| le r_n$ then $sum_{n ge 0} r_n p^{n} < infty$ implies the absolute convergence of the Fourier series $f(s) = sum_{m ge 0}sum_{b in B_m- B_{m-1} } psi_b(s) ( sum_{nge m}p^{-n} sum_{a in mathbb{Z}_p/p^n mathbb{Z}_p } r(a,p^n)psi_b(-a))$.
$endgroup$
– reuns
Jan 10 at 5:45
$begingroup$
In particular $f : mathbb{Z}_p to mathbb{C}$, $|f(s)-f(s_2)| le C| s-s_2|_p^{1+epsilon}$ implies the absolute convergence of the Fourier series. This seems like an acceptable starting point to manipulate Fourier series on $widehat{mathbb{Z}}$ and $mathbb{A}/mathbb{Q}$ (appearing in the Whittaker expansion of automorphic forms)
$endgroup$
– reuns
Jan 10 at 19:04
$begingroup$
In particular $f : mathbb{Z}_p to mathbb{C}$, $|f(s)-f(s_2)| le C| s-s_2|_p^{1+epsilon}$ implies the absolute convergence of the Fourier series. This seems like an acceptable starting point to manipulate Fourier series on $widehat{mathbb{Z}}$ and $mathbb{A}/mathbb{Q}$ (appearing in the Whittaker expansion of automorphic forms)
$endgroup$
– reuns
Jan 10 at 19:04
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%2f3068153%2fabsolute-convergence-of-fourier-series-in-mathbbz-p%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
