Mixing
Does a Fourier transformation on a (pseudo-)Riemannian manifold make sense?
$begingroup$
the Fourier transformation of a scalar function with respect to one variable might be defined as
$mathcal{F}left[wright](omega )equiv frac{1}{sqrt{2pi}}int_{-infty}^{infty}w(t)e^{-mathrm{i}omega t}dt$
In physics, this transformation along with its generalization, the Laplace transformation, has a tremendous importance because of its feature to turn linear partial differential equations into algebraic ones.
Now, suppose that we have a pseudo-Riemannian manifold $mathcal{M}$ where $det{g_{munu}} = -1$ holds like in special and general relativity.
I am wondering, what would be the generalization of the Fourier transformation of scalar functions or forms?
The difficulty I have with this question is that a three-dimensional slicing of $mathcal{M}$ is not unique, so how to take the integral in an invariant form? What will happen to the differntials $dx^{mu}$, e.g. $dt,dx^irightarrow domega dx^i$ in some sense?
Any insight would be well appreciated.
Thank you in advance
Robert
differential-geometry functional-analysis integral-transforms
asked Dec 11 '10 at 14:00
Robert FilterRobert Filter
747618
$endgroup$
add a comment |
$begingroup$
the Fourier transformation of a scalar function with respect to one variable might be defined as
$mathcal{F}left[wright](omega )equiv frac{1}{sqrt{2pi}}int_{-infty}^{infty}w(t)e^{-mathrm{i}omega t}dt$
In physics, this transformation along with its generalization, the Laplace transformation, has a tremendous importance because of its feature to turn linear partial differential equations into algebraic ones.
Now, suppose that we have a pseudo-Riemannian manifold $mathcal{M}$ where $det{g_{munu}} = -1$ holds like in special and general relativity.
I am wondering, what would be the generalization of the Fourier transformation of scalar functions or forms?
The difficulty I have with this question is that a three-dimensional slicing of $mathcal{M}$ is not unique, so how to take the integral in an invariant form? What will happen to the differntials $dx^{mu}$, e.g. $dt,dx^irightarrow domega dx^i$ in some sense?
Any insight would be well appreciated.
Thank you in advance
Robert
differential-geometry functional-analysis integral-transforms
asked Dec 11 '10 at 14:00
Robert FilterRobert Filter
747618
$endgroup$
5
$begingroup$
What you need to do is analyze the spectrum of the Laplace-Beltrami operator on that space, that is what gives you the functions which allow you to define the Fourier transform. The $e^{(vec{k}cdotvec{x}-omega t)}$ are basically solutions of the Laplace equation in Euclidean space and expressed in ordinary cartesian coordinates.
$endgroup$
– Raskolnikov
Dec 11 '10 at 14:06
$begingroup$
@Raskolnikov: Thank you for the comment which pointed directly in the right direction. Nevertheless my experience in functional analysis on manifolds is very limited so I could not really grasp the idea. I think Willie Wong pointed out these lines of thought in a very explicit and decent way.
$endgroup$
– Robert Filter
Dec 12 '10 at 8:08
add a comment |
$begingroup$
the Fourier transformation of a scalar function with respect to one variable might be defined as
$mathcal{F}left[wright](omega )equiv frac{1}{sqrt{2pi}}int_{-infty}^{infty}w(t)e^{-mathrm{i}omega t}dt$
In physics, this transformation along with its generalization, the Laplace transformation, has a tremendous importance because of its feature to turn linear partial differential equations into algebraic ones.
Now, suppose that we have a pseudo-Riemannian manifold $mathcal{M}$ where $det{g_{munu}} = -1$ holds like in special and general relativity.
I am wondering, what would be the generalization of the Fourier transformation of scalar functions or forms?
The difficulty I have with this question is that a three-dimensional slicing of $mathcal{M}$ is not unique, so how to take the integral in an invariant form? What will happen to the differntials $dx^{mu}$, e.g. $dt,dx^irightarrow domega dx^i$ in some sense?
Any insight would be well appreciated.
Thank you in advance
Robert
differential-geometry functional-analysis integral-transforms
asked Dec 11 '10 at 14:00
Robert FilterRobert Filter
747618
$endgroup$
the Fourier transformation of a scalar function with respect to one variable might be defined as
$mathcal{F}left[wright](omega )equiv frac{1}{sqrt{2pi}}int_{-infty}^{infty}w(t)e^{-mathrm{i}omega t}dt$
In physics, this transformation along with its generalization, the Laplace transformation, has a tremendous importance because of its feature to turn linear partial differential equations into algebraic ones.
Now, suppose that we have a pseudo-Riemannian manifold $mathcal{M}$ where $det{g_{munu}} = -1$ holds like in special and general relativity.
I am wondering, what would be the generalization of the Fourier transformation of scalar functions or forms?
The difficulty I have with this question is that a three-dimensional slicing of $mathcal{M}$ is not unique, so how to take the integral in an invariant form? What will happen to the differntials $dx^{mu}$, e.g. $dt,dx^irightarrow domega dx^i$ in some sense?
Any insight would be well appreciated.
Thank you in advance
Robert
differential-geometry functional-analysis integral-transforms
differential-geometry functional-analysis integral-transforms
asked Dec 11 '10 at 14:00
Robert FilterRobert Filter
747618
asked Dec 11 '10 at 14:00
Robert FilterRobert Filter
747618
asked Dec 11 '10 at 14:00
Robert FilterRobert Filter
747618
asked Dec 11 '10 at 14:00
Robert FilterRobert Filter
747618
asked Dec 11 '10 at 14:00
Robert FilterRobert Filter
747618
747618
5
$begingroup$
What you need to do is analyze the spectrum of the Laplace-Beltrami operator on that space, that is what gives you the functions which allow you to define the Fourier transform. The $e^{(vec{k}cdotvec{x}-omega t)}$ are basically solutions of the Laplace equation in Euclidean space and expressed in ordinary cartesian coordinates.
$endgroup$
– Raskolnikov
Dec 11 '10 at 14:06
$begingroup$
@Raskolnikov: Thank you for the comment which pointed directly in the right direction. Nevertheless my experience in functional analysis on manifolds is very limited so I could not really grasp the idea. I think Willie Wong pointed out these lines of thought in a very explicit and decent way.
$endgroup$
– Robert Filter
Dec 12 '10 at 8:08
add a comment |
5
$begingroup$
What you need to do is analyze the spectrum of the Laplace-Beltrami operator on that space, that is what gives you the functions which allow you to define the Fourier transform. The $e^{(vec{k}cdotvec{x}-omega t)}$ are basically solutions of the Laplace equation in Euclidean space and expressed in ordinary cartesian coordinates.
$endgroup$
– Raskolnikov
Dec 11 '10 at 14:06
$begingroup$
@Raskolnikov: Thank you for the comment which pointed directly in the right direction. Nevertheless my experience in functional analysis on manifolds is very limited so I could not really grasp the idea. I think Willie Wong pointed out these lines of thought in a very explicit and decent way.
$endgroup$
– Robert Filter
Dec 12 '10 at 8:08
5
5
$begingroup$
What you need to do is analyze the spectrum of the Laplace-Beltrami operator on that space, that is what gives you the functions which allow you to define the Fourier transform. The $e^{(vec{k}cdotvec{x}-omega t)}$ are basically solutions of the Laplace equation in Euclidean space and expressed in ordinary cartesian coordinates.
$endgroup$
– Raskolnikov
Dec 11 '10 at 14:06
$begingroup$
What you need to do is analyze the spectrum of the Laplace-Beltrami operator on that space, that is what gives you the functions which allow you to define the Fourier transform. The $e^{(vec{k}cdotvec{x}-omega t)}$ are basically solutions of the Laplace equation in Euclidean space and expressed in ordinary cartesian coordinates.
$endgroup$
– Raskolnikov
Dec 11 '10 at 14:06
$begingroup$
@Raskolnikov: Thank you for the comment which pointed directly in the right direction. Nevertheless my experience in functional analysis on manifolds is very limited so I could not really grasp the idea. I think Willie Wong pointed out these lines of thought in a very explicit and decent way.
$endgroup$
– Robert Filter
Dec 12 '10 at 8:08
$begingroup$
@Raskolnikov: Thank you for the comment which pointed directly in the right direction. Nevertheless my experience in functional analysis on manifolds is very limited so I could not really grasp the idea. I think Willie Wong pointed out these lines of thought in a very explicit and decent way.
$endgroup$
– Robert Filter
Dec 12 '10 at 8:08
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
There are three main ways of interpreting the Fourier transform.
Decomposition relative to eigenfunctions of the Laplacian
On $mathbb{R}^n$, the plane waves $E_xi(x) = exp( i xicdot x)$ can be interpreted as generalized eigenfunctions of the Laplacian. That is, let
$$ triangle = sum_{i=1}^n left(frac{partial}{partial x_i}right)^2 $$
then we have
$$ triangle E_xi(x) = -|xi|^2 E_xi(x) $$
Notice that I say "generalized eigenfunctions". This is because usually it is preferred to do linear algebra/functional analysis on a complete inner product space (a Hilbert space), and in the case of functions on Euclidean space, it is usually preferred to work over the Hilbert space of square integrable functions. The functions $E_xi(x)$, however, do not belong in the Hilbert space.
But roughly speaking, the Fourier representation of a function
$$ f(x) = int_{mathbb{R}^n} hat{f}(xi) E_xi(x) dxi $$
can be thought of as a decomposition of $f(x)$ in terms of a linear combination of eigenfunctions of the Laplacian.
In this form, as Raskolnikov mentioned in the comment, there is a natural generalization to compact Riemannian manifolds. Let $(M,g)$ be a compact Riemannian manifold, and let $triangle_g$ denote the associated Laplace-Beltrami operator. One has that $triangle_g$ is a densely defined, unbounded, self-adjoint operator on $L^2(M)$, the space of square integrable functions on the manifold $M$. As it turns out (using a bit of linear partial differential equations theory and a bit of functional analysis), $triangle_g$ is invertible if we restrict the co-domain to functions of mean 0 on $M$. The operator $triangle_g^{-1}$ furthermore turns out to be a compact operator, and thus has discrete eigenvalues with finite dimensional eigen-spaces in $L^2$ by the spectral theorem for compact operators. It is clear by definition that the eigenfunctions of $triangle_g^{-1}$ will be also eigenfunctions for $triangle_g$ (just change the eigenvalue $lambda to lambda^{-1}$. Using the spectral theorem we can write an arbitrary square integrable function on $M$ as a unique linear combination of the set of eigenfunctions.
This is one interpretation of the Fourier transform.
You can further refine this theory in two directions. For functions (and to a small extent tensors), instead of explicitly decomposing using an eigenbasis of $L^2$, you can study "smooth frequency cut-offs" by considering the heat-flow on the manifold. That is, given a function $f$, consider the solution to the heat equation $u(t,x)$ defined on $mathbb{R}_+ times M$
$$ partial_t u = triangle_g u, quad u(0,x) = f(x) $$
and study, the cut-off of $f$ by a bump-function $zeta$ in frequencies in the following sense: take a non-negative function $zetain C^infty_0(mathbb{R}_+)$ and consider the one-parameter family of functions
$$ f_lambda(x) = int_0^infty zeta(lambda t) u(t,x) dt $$
roughly speaking $f_lambda(x)$ here corresponds to, in the Euclidean space case, the restriction
$$ int_{frac12 lambda <|xi|< 2lambda} hat{f}(xi) E_xi(x) dxi $$
of the function to the spatial frequencies that are close, in absolute value, to $lambda$. This theory is developed more in Eli Stein's book "Topics in Harmonic Analysis related to Littlewood-Paley Theory".
Another generalization of this decomposition is applicable to not just functions, but also differential forms. In this generalization, instead of looking at the Laplace-Beltrami operator, we consider the Hodge-Laplace operator defined for differential forms. As it turns out, essentially the same argument as for the scalar case give rise to a decomposition of square-integrable differential forms into three categories, the harmonic forms, the exact forms, and the co-exact forms. This goes under the name of Hodge theory, and I refer you to Wikipedia, and also S. Agmon's "Lectures on Elliptic Boundary Value Problems", among many other very good books in this subject.
Fourier transform and representation theory
Another way of treating the Fourier transform on Euclidean space is from the point of view of Euclidean space as an abelian Lie group (in particular a locally compact topological group) which is "self-dual".
Very roughly speaking, for an abelian locally compact topological group $G$, you can consider the set of group homomorphisms from $Gto T$, where $T$ is the one-dimensional circle group. In the case $G = mathbb{R}^n$, we see that each of the functions $E_xi(x)$ is one such group homomorphism. This set of group homomorphisms can be made into another topological group, known as the dual group of $G$. In the case of Euclidean space, its dual group has the same structure as another copy of the Euclidean space, hence we say it is self-dual.
Now, given an invariant measure $mu$ on $G$, in the sense that group translations in $G$ leaves the measure the same (I am being very rough here and sweeping a lot of stuff under the rug), it turns out that we can define the analogue of the Fourier transform by the same formula
$$ int_G f(x) E_{-xi}(x) dmu(x) $$
where $xi$ is a natural parameter of the dual group of $G$. So in particular, this theory is applicable to the case when we start with a Riemannian manifold $(M,g)$ that is either a Lie group or a symmetric space. This notion is widely applicable in representation theory and analytic number theory, among other things.
See this Wikipedia article, Walter Rudin's "Fourier analysis on groups", S. Helgason's "Differential geometry, Lie groups, and symmetric spaces", and the article by Atle Selberg called "Harmonic analysis and discontinuous groups in weakly symmetric riemannian spaces, with applications to Dirichlet series" for some standard references.
Symmetries on the manifold and partial Fourier transforms
A much more pedestrian way of getting the Fourier transform for functions on manifolds is to just integrate using the usual formula. But as you noted in your question, depending on how you "slice" the manifold, you can get different representations, and whether those representations are meaningful can be questionable.
Fortunately, in one special case we can have a meaningful formula. Let $(M,g)$ be a (pseudo)Riemannian manifold (note that this is the only case I am familiar with that has a natural extension to the case of pseudo-Riemannian manifolds), and assume that it admits a continuous symmetry. That is, there exists a nowhere vanishing vector field $T$ such that the Lie derivative $mathcal{L}_Tg = 0$; in other words $T$ is a Killing vector. Assume further that the integral curves of $T$ are diffeomorphic to $mathbb{R}$ (so in particular $T$ does not have closed orbits; you can also similarly assume all integral curves are closed, so $T$ does not have open orbits, in this latter case you will deal with Fourier series instead of Fourier transform, I'll leave the obvious changes necessary as an exercise).
Then the action of $T$ defines an equivalence relation on $M$, and we can consider the quotient manifold $Q = M / T$. (Here's where we used the condition on the topology of the orbits of $T$. If $T$ has fixed points of orbits of different topologies, $Q$ will in general be a manifold with boundary or an orbifold.) The quotient manifold also inherits a Riemannian structure, but that is not too important right now.
The point is the following, we can write a point $xin M$ as $(t,q)in mathbb{R}times Q$, where $t$ is a natural coordinate on $T$ so that $partial_t$ corresponds to $mathcal{L}_T$ in $M$. Using this splitting, you can take the Fourier transform in $t$ the usual way, writing $f(x) = f(t,q)$
$$ hat{f}(tau,q) = int f(t,q) exp( - ittau) dt $$
That $T$ is a Killing vector is used here so that if you pick a coordinate system adapted to the coordinate $t$, the actual volume form
$$ sqrt{|g|} dt dq $$
will be independent of $t$, so when you try to do analysis with this notion of the Fourier transform, the formula above will not look like it is missing a factor coming from the volume form (since anything independent of $t$ can be factored out, and taken outside of the integral, so the worst-case scenario is the entire expression is off be a fixed factor depending on $q$, which can always be inserted back later).
This formula can also be easily generalized to the case where $(M,g)$ admits several mutually commuting Killing vector fields $T_1, T_2, ldots, T_k$. In the case of $mathbb{R}^n$, the standard coordinate vector fields form a complete set of $n$ mutually commuting Killing vector fields that span the tangent space at every point, and this allows us to take the Fourier transform "in all directions".
This last formulation is useful especially in studying linear partial differential equations on a space-time that is stationary (for example, a stationary black-hole background). See the papers of Dafermos and Rodnianski for example (paper 1, paper 2 ).
answered Dec 11 '10 at 20:10
Willie WongWillie Wong
56k10111212
$endgroup$
1
$begingroup$
I should add that in the case your manifold can be decomposed as a Cartesian product $mathbb{R}^{p,q}times M$ with the product metric $etaoplus g$, where $eta$ is the signature $(p,q)$ flat metric on $mathbb{R}^{p,q}$, you can simply use the "normal" Fourier transform on the $mathbb{R}^{p,q}$ part, and use one of the notions above for the $M$ part. So in particular, if you have a preferred time direction $mathbb{R}$ with some spatial foliation $M$ that is compact Riemannian, the "Fourier basis" will be formed by taking $E_tau(t) cdot F_k(q)$, where $E_tau$ are defined as before ...
$endgroup$
– Willie Wong
Dec 11 '10 at 20:17
1
$begingroup$
... on $mathbb{R}^{p,q}$, and $F_k$ are eigenfunctions of the Laplacian on $M$.
$endgroup$
– Willie Wong
Dec 11 '10 at 20:18
4
$begingroup$
Nice answer, you really put a lot of work into it. I'd give you a +10 if I could. I also learned about the Lie group approach long ago but it was somewhere in a corner of my mind. Thanks for refreshing it.
$endgroup$
– Raskolnikov
Dec 11 '10 at 21:40
1
$begingroup$
Thank you very much for your thoughtful and detailed answer. If I got you correctly, the notion only makes sense for the existence of a timelike killing vector, say $partial_t$. This should imply that a time <> frequency FT only makes sense for stationary solutions in which the quotient manifold $M/psi_t$ ($psi_t$ being the local flux to $partial_t$) exists. Hence, the FT is only feasible for dynamical field theories if the dynamics are independent from the (background) metric.
$endgroup$
– Robert Filter
Dec 11 '10 at 23:35
$begingroup$
The moral of the story is like you said. Of course, nothing is to stop you from cheating by just fixing a preferred 3+1 splitting or something similar (or just fix a global chart and work there when allowed). So the words "only feasible" should be interpreted to mean something with the condition that "with sufficiently nice properties in regards to the geometrical structure etc."
$endgroup$
– Willie Wong
Dec 12 '10 at 1:05
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%2f13902%2fdoes-a-fourier-transformation-on-a-pseudo-riemannian-manifold-make-sense%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$
There are three main ways of interpreting the Fourier transform.
Decomposition relative to eigenfunctions of the Laplacian
On $mathbb{R}^n$, the plane waves $E_xi(x) = exp( i xicdot x)$ can be interpreted as generalized eigenfunctions of the Laplacian. That is, let
$$ triangle = sum_{i=1}^n left(frac{partial}{partial x_i}right)^2 $$
then we have
$$ triangle E_xi(x) = -|xi|^2 E_xi(x) $$
Notice that I say "generalized eigenfunctions". This is because usually it is preferred to do linear algebra/functional analysis on a complete inner product space (a Hilbert space), and in the case of functions on Euclidean space, it is usually preferred to work over the Hilbert space of square integrable functions. The functions $E_xi(x)$, however, do not belong in the Hilbert space.
But roughly speaking, the Fourier representation of a function
$$ f(x) = int_{mathbb{R}^n} hat{f}(xi) E_xi(x) dxi $$
can be thought of as a decomposition of $f(x)$ in terms of a linear combination of eigenfunctions of the Laplacian.
In this form, as Raskolnikov mentioned in the comment, there is a natural generalization to compact Riemannian manifolds. Let $(M,g)$ be a compact Riemannian manifold, and let $triangle_g$ denote the associated Laplace-Beltrami operator. One has that $triangle_g$ is a densely defined, unbounded, self-adjoint operator on $L^2(M)$, the space of square integrable functions on the manifold $M$. As it turns out (using a bit of linear partial differential equations theory and a bit of functional analysis), $triangle_g$ is invertible if we restrict the co-domain to functions of mean 0 on $M$. The operator $triangle_g^{-1}$ furthermore turns out to be a compact operator, and thus has discrete eigenvalues with finite dimensional eigen-spaces in $L^2$ by the spectral theorem for compact operators. It is clear by definition that the eigenfunctions of $triangle_g^{-1}$ will be also eigenfunctions for $triangle_g$ (just change the eigenvalue $lambda to lambda^{-1}$. Using the spectral theorem we can write an arbitrary square integrable function on $M$ as a unique linear combination of the set of eigenfunctions.
This is one interpretation of the Fourier transform.
You can further refine this theory in two directions. For functions (and to a small extent tensors), instead of explicitly decomposing using an eigenbasis of $L^2$, you can study "smooth frequency cut-offs" by considering the heat-flow on the manifold. That is, given a function $f$, consider the solution to the heat equation $u(t,x)$ defined on $mathbb{R}_+ times M$
$$ partial_t u = triangle_g u, quad u(0,x) = f(x) $$
and study, the cut-off of $f$ by a bump-function $zeta$ in frequencies in the following sense: take a non-negative function $zetain C^infty_0(mathbb{R}_+)$ and consider the one-parameter family of functions
$$ f_lambda(x) = int_0^infty zeta(lambda t) u(t,x) dt $$
roughly speaking $f_lambda(x)$ here corresponds to, in the Euclidean space case, the restriction
$$ int_{frac12 lambda <|xi|< 2lambda} hat{f}(xi) E_xi(x) dxi $$
of the function to the spatial frequencies that are close, in absolute value, to $lambda$. This theory is developed more in Eli Stein's book "Topics in Harmonic Analysis related to Littlewood-Paley Theory".
Another generalization of this decomposition is applicable to not just functions, but also differential forms. In this generalization, instead of looking at the Laplace-Beltrami operator, we consider the Hodge-Laplace operator defined for differential forms. As it turns out, essentially the same argument as for the scalar case give rise to a decomposition of square-integrable differential forms into three categories, the harmonic forms, the exact forms, and the co-exact forms. This goes under the name of Hodge theory, and I refer you to Wikipedia, and also S. Agmon's "Lectures on Elliptic Boundary Value Problems", among many other very good books in this subject.
Fourier transform and representation theory
Another way of treating the Fourier transform on Euclidean space is from the point of view of Euclidean space as an abelian Lie group (in particular a locally compact topological group) which is "self-dual".
Very roughly speaking, for an abelian locally compact topological group $G$, you can consider the set of group homomorphisms from $Gto T$, where $T$ is the one-dimensional circle group. In the case $G = mathbb{R}^n$, we see that each of the functions $E_xi(x)$ is one such group homomorphism. This set of group homomorphisms can be made into another topological group, known as the dual group of $G$. In the case of Euclidean space, its dual group has the same structure as another copy of the Euclidean space, hence we say it is self-dual.
Now, given an invariant measure $mu$ on $G$, in the sense that group translations in $G$ leaves the measure the same (I am being very rough here and sweeping a lot of stuff under the rug), it turns out that we can define the analogue of the Fourier transform by the same formula
$$ int_G f(x) E_{-xi}(x) dmu(x) $$
where $xi$ is a natural parameter of the dual group of $G$. So in particular, this theory is applicable to the case when we start with a Riemannian manifold $(M,g)$ that is either a Lie group or a symmetric space. This notion is widely applicable in representation theory and analytic number theory, among other things.
See this Wikipedia article, Walter Rudin's "Fourier analysis on groups", S. Helgason's "Differential geometry, Lie groups, and symmetric spaces", and the article by Atle Selberg called "Harmonic analysis and discontinuous groups in weakly symmetric riemannian spaces, with applications to Dirichlet series" for some standard references.
Symmetries on the manifold and partial Fourier transforms
A much more pedestrian way of getting the Fourier transform for functions on manifolds is to just integrate using the usual formula. But as you noted in your question, depending on how you "slice" the manifold, you can get different representations, and whether those representations are meaningful can be questionable.
Fortunately, in one special case we can have a meaningful formula. Let $(M,g)$ be a (pseudo)Riemannian manifold (note that this is the only case I am familiar with that has a natural extension to the case of pseudo-Riemannian manifolds), and assume that it admits a continuous symmetry. That is, there exists a nowhere vanishing vector field $T$ such that the Lie derivative $mathcal{L}_Tg = 0$; in other words $T$ is a Killing vector. Assume further that the integral curves of $T$ are diffeomorphic to $mathbb{R}$ (so in particular $T$ does not have closed orbits; you can also similarly assume all integral curves are closed, so $T$ does not have open orbits, in this latter case you will deal with Fourier series instead of Fourier transform, I'll leave the obvious changes necessary as an exercise).
Then the action of $T$ defines an equivalence relation on $M$, and we can consider the quotient manifold $Q = M / T$. (Here's where we used the condition on the topology of the orbits of $T$. If $T$ has fixed points of orbits of different topologies, $Q$ will in general be a manifold with boundary or an orbifold.) The quotient manifold also inherits a Riemannian structure, but that is not too important right now.
The point is the following, we can write a point $xin M$ as $(t,q)in mathbb{R}times Q$, where $t$ is a natural coordinate on $T$ so that $partial_t$ corresponds to $mathcal{L}_T$ in $M$. Using this splitting, you can take the Fourier transform in $t$ the usual way, writing $f(x) = f(t,q)$
$$ hat{f}(tau,q) = int f(t,q) exp( - ittau) dt $$
That $T$ is a Killing vector is used here so that if you pick a coordinate system adapted to the coordinate $t$, the actual volume form
$$ sqrt{|g|} dt dq $$
will be independent of $t$, so when you try to do analysis with this notion of the Fourier transform, the formula above will not look like it is missing a factor coming from the volume form (since anything independent of $t$ can be factored out, and taken outside of the integral, so the worst-case scenario is the entire expression is off be a fixed factor depending on $q$, which can always be inserted back later).
This formula can also be easily generalized to the case where $(M,g)$ admits several mutually commuting Killing vector fields $T_1, T_2, ldots, T_k$. In the case of $mathbb{R}^n$, the standard coordinate vector fields form a complete set of $n$ mutually commuting Killing vector fields that span the tangent space at every point, and this allows us to take the Fourier transform "in all directions".
This last formulation is useful especially in studying linear partial differential equations on a space-time that is stationary (for example, a stationary black-hole background). See the papers of Dafermos and Rodnianski for example (paper 1, paper 2 ).
answered Dec 11 '10 at 20:10
Willie WongWillie Wong
56k10111212
$endgroup$
1
$begingroup$
I should add that in the case your manifold can be decomposed as a Cartesian product $mathbb{R}^{p,q}times M$ with the product metric $etaoplus g$, where $eta$ is the signature $(p,q)$ flat metric on $mathbb{R}^{p,q}$, you can simply use the "normal" Fourier transform on the $mathbb{R}^{p,q}$ part, and use one of the notions above for the $M$ part. So in particular, if you have a preferred time direction $mathbb{R}$ with some spatial foliation $M$ that is compact Riemannian, the "Fourier basis" will be formed by taking $E_tau(t) cdot F_k(q)$, where $E_tau$ are defined as before ...
$endgroup$
– Willie Wong
Dec 11 '10 at 20:17
1
$begingroup$
... on $mathbb{R}^{p,q}$, and $F_k$ are eigenfunctions of the Laplacian on $M$.
$endgroup$
– Willie Wong
Dec 11 '10 at 20:18
4
$begingroup$
Nice answer, you really put a lot of work into it. I'd give you a +10 if I could. I also learned about the Lie group approach long ago but it was somewhere in a corner of my mind. Thanks for refreshing it.
$endgroup$
– Raskolnikov
Dec 11 '10 at 21:40
1
$begingroup$
Thank you very much for your thoughtful and detailed answer. If I got you correctly, the notion only makes sense for the existence of a timelike killing vector, say $partial_t$. This should imply that a time <> frequency FT only makes sense for stationary solutions in which the quotient manifold $M/psi_t$ ($psi_t$ being the local flux to $partial_t$) exists. Hence, the FT is only feasible for dynamical field theories if the dynamics are independent from the (background) metric.
$endgroup$
– Robert Filter
Dec 11 '10 at 23:35
$begingroup$
The moral of the story is like you said. Of course, nothing is to stop you from cheating by just fixing a preferred 3+1 splitting or something similar (or just fix a global chart and work there when allowed). So the words "only feasible" should be interpreted to mean something with the condition that "with sufficiently nice properties in regards to the geometrical structure etc."
$endgroup$
– Willie Wong
Dec 12 '10 at 1:05
add a comment |
$begingroup$
There are three main ways of interpreting the Fourier transform.
Decomposition relative to eigenfunctions of the Laplacian
On $mathbb{R}^n$, the plane waves $E_xi(x) = exp( i xicdot x)$ can be interpreted as generalized eigenfunctions of the Laplacian. That is, let
$$ triangle = sum_{i=1}^n left(frac{partial}{partial x_i}right)^2 $$
then we have
$$ triangle E_xi(x) = -|xi|^2 E_xi(x) $$
Notice that I say "generalized eigenfunctions". This is because usually it is preferred to do linear algebra/functional analysis on a complete inner product space (a Hilbert space), and in the case of functions on Euclidean space, it is usually preferred to work over the Hilbert space of square integrable functions. The functions $E_xi(x)$, however, do not belong in the Hilbert space.
But roughly speaking, the Fourier representation of a function
$$ f(x) = int_{mathbb{R}^n} hat{f}(xi) E_xi(x) dxi $$
can be thought of as a decomposition of $f(x)$ in terms of a linear combination of eigenfunctions of the Laplacian.
In this form, as Raskolnikov mentioned in the comment, there is a natural generalization to compact Riemannian manifolds. Let $(M,g)$ be a compact Riemannian manifold, and let $triangle_g$ denote the associated Laplace-Beltrami operator. One has that $triangle_g$ is a densely defined, unbounded, self-adjoint operator on $L^2(M)$, the space of square integrable functions on the manifold $M$. As it turns out (using a bit of linear partial differential equations theory and a bit of functional analysis), $triangle_g$ is invertible if we restrict the co-domain to functions of mean 0 on $M$. The operator $triangle_g^{-1}$ furthermore turns out to be a compact operator, and thus has discrete eigenvalues with finite dimensional eigen-spaces in $L^2$ by the spectral theorem for compact operators. It is clear by definition that the eigenfunctions of $triangle_g^{-1}$ will be also eigenfunctions for $triangle_g$ (just change the eigenvalue $lambda to lambda^{-1}$. Using the spectral theorem we can write an arbitrary square integrable function on $M$ as a unique linear combination of the set of eigenfunctions.
This is one interpretation of the Fourier transform.
You can further refine this theory in two directions. For functions (and to a small extent tensors), instead of explicitly decomposing using an eigenbasis of $L^2$, you can study "smooth frequency cut-offs" by considering the heat-flow on the manifold. That is, given a function $f$, consider the solution to the heat equation $u(t,x)$ defined on $mathbb{R}_+ times M$
$$ partial_t u = triangle_g u, quad u(0,x) = f(x) $$
and study, the cut-off of $f$ by a bump-function $zeta$ in frequencies in the following sense: take a non-negative function $zetain C^infty_0(mathbb{R}_+)$ and consider the one-parameter family of functions
$$ f_lambda(x) = int_0^infty zeta(lambda t) u(t,x) dt $$
roughly speaking $f_lambda(x)$ here corresponds to, in the Euclidean space case, the restriction
$$ int_{frac12 lambda <|xi|< 2lambda} hat{f}(xi) E_xi(x) dxi $$
of the function to the spatial frequencies that are close, in absolute value, to $lambda$. This theory is developed more in Eli Stein's book "Topics in Harmonic Analysis related to Littlewood-Paley Theory".
Another generalization of this decomposition is applicable to not just functions, but also differential forms. In this generalization, instead of looking at the Laplace-Beltrami operator, we consider the Hodge-Laplace operator defined for differential forms. As it turns out, essentially the same argument as for the scalar case give rise to a decomposition of square-integrable differential forms into three categories, the harmonic forms, the exact forms, and the co-exact forms. This goes under the name of Hodge theory, and I refer you to Wikipedia, and also S. Agmon's "Lectures on Elliptic Boundary Value Problems", among many other very good books in this subject.
Fourier transform and representation theory
Another way of treating the Fourier transform on Euclidean space is from the point of view of Euclidean space as an abelian Lie group (in particular a locally compact topological group) which is "self-dual".
Very roughly speaking, for an abelian locally compact topological group $G$, you can consider the set of group homomorphisms from $Gto T$, where $T$ is the one-dimensional circle group. In the case $G = mathbb{R}^n$, we see that each of the functions $E_xi(x)$ is one such group homomorphism. This set of group homomorphisms can be made into another topological group, known as the dual group of $G$. In the case of Euclidean space, its dual group has the same structure as another copy of the Euclidean space, hence we say it is self-dual.
Now, given an invariant measure $mu$ on $G$, in the sense that group translations in $G$ leaves the measure the same (I am being very rough here and sweeping a lot of stuff under the rug), it turns out that we can define the analogue of the Fourier transform by the same formula
$$ int_G f(x) E_{-xi}(x) dmu(x) $$
where $xi$ is a natural parameter of the dual group of $G$. So in particular, this theory is applicable to the case when we start with a Riemannian manifold $(M,g)$ that is either a Lie group or a symmetric space. This notion is widely applicable in representation theory and analytic number theory, among other things.
See this Wikipedia article, Walter Rudin's "Fourier analysis on groups", S. Helgason's "Differential geometry, Lie groups, and symmetric spaces", and the article by Atle Selberg called "Harmonic analysis and discontinuous groups in weakly symmetric riemannian spaces, with applications to Dirichlet series" for some standard references.
Symmetries on the manifold and partial Fourier transforms
A much more pedestrian way of getting the Fourier transform for functions on manifolds is to just integrate using the usual formula. But as you noted in your question, depending on how you "slice" the manifold, you can get different representations, and whether those representations are meaningful can be questionable.
Fortunately, in one special case we can have a meaningful formula. Let $(M,g)$ be a (pseudo)Riemannian manifold (note that this is the only case I am familiar with that has a natural extension to the case of pseudo-Riemannian manifolds), and assume that it admits a continuous symmetry. That is, there exists a nowhere vanishing vector field $T$ such that the Lie derivative $mathcal{L}_Tg = 0$; in other words $T$ is a Killing vector. Assume further that the integral curves of $T$ are diffeomorphic to $mathbb{R}$ (so in particular $T$ does not have closed orbits; you can also similarly assume all integral curves are closed, so $T$ does not have open orbits, in this latter case you will deal with Fourier series instead of Fourier transform, I'll leave the obvious changes necessary as an exercise).
Then the action of $T$ defines an equivalence relation on $M$, and we can consider the quotient manifold $Q = M / T$. (Here's where we used the condition on the topology of the orbits of $T$. If $T$ has fixed points of orbits of different topologies, $Q$ will in general be a manifold with boundary or an orbifold.) The quotient manifold also inherits a Riemannian structure, but that is not too important right now.
The point is the following, we can write a point $xin M$ as $(t,q)in mathbb{R}times Q$, where $t$ is a natural coordinate on $T$ so that $partial_t$ corresponds to $mathcal{L}_T$ in $M$. Using this splitting, you can take the Fourier transform in $t$ the usual way, writing $f(x) = f(t,q)$
$$ hat{f}(tau,q) = int f(t,q) exp( - ittau) dt $$
That $T$ is a Killing vector is used here so that if you pick a coordinate system adapted to the coordinate $t$, the actual volume form
$$ sqrt{|g|} dt dq $$
will be independent of $t$, so when you try to do analysis with this notion of the Fourier transform, the formula above will not look like it is missing a factor coming from the volume form (since anything independent of $t$ can be factored out, and taken outside of the integral, so the worst-case scenario is the entire expression is off be a fixed factor depending on $q$, which can always be inserted back later).
This formula can also be easily generalized to the case where $(M,g)$ admits several mutually commuting Killing vector fields $T_1, T_2, ldots, T_k$. In the case of $mathbb{R}^n$, the standard coordinate vector fields form a complete set of $n$ mutually commuting Killing vector fields that span the tangent space at every point, and this allows us to take the Fourier transform "in all directions".
This last formulation is useful especially in studying linear partial differential equations on a space-time that is stationary (for example, a stationary black-hole background). See the papers of Dafermos and Rodnianski for example (paper 1, paper 2 ).
answered Dec 11 '10 at 20:10
Willie WongWillie Wong
56k10111212
$endgroup$
1
$begingroup$
I should add that in the case your manifold can be decomposed as a Cartesian product $mathbb{R}^{p,q}times M$ with the product metric $etaoplus g$, where $eta$ is the signature $(p,q)$ flat metric on $mathbb{R}^{p,q}$, you can simply use the "normal" Fourier transform on the $mathbb{R}^{p,q}$ part, and use one of the notions above for the $M$ part. So in particular, if you have a preferred time direction $mathbb{R}$ with some spatial foliation $M$ that is compact Riemannian, the "Fourier basis" will be formed by taking $E_tau(t) cdot F_k(q)$, where $E_tau$ are defined as before ...
$endgroup$
– Willie Wong
Dec 11 '10 at 20:17
1
$begingroup$
... on $mathbb{R}^{p,q}$, and $F_k$ are eigenfunctions of the Laplacian on $M$.
$endgroup$
– Willie Wong
Dec 11 '10 at 20:18
4
$begingroup$
Nice answer, you really put a lot of work into it. I'd give you a +10 if I could. I also learned about the Lie group approach long ago but it was somewhere in a corner of my mind. Thanks for refreshing it.
$endgroup$
– Raskolnikov
Dec 11 '10 at 21:40
1
$begingroup$
Thank you very much for your thoughtful and detailed answer. If I got you correctly, the notion only makes sense for the existence of a timelike killing vector, say $partial_t$. This should imply that a time <> frequency FT only makes sense for stationary solutions in which the quotient manifold $M/psi_t$ ($psi_t$ being the local flux to $partial_t$) exists. Hence, the FT is only feasible for dynamical field theories if the dynamics are independent from the (background) metric.
$endgroup$
– Robert Filter
Dec 11 '10 at 23:35
$begingroup$
The moral of the story is like you said. Of course, nothing is to stop you from cheating by just fixing a preferred 3+1 splitting or something similar (or just fix a global chart and work there when allowed). So the words "only feasible" should be interpreted to mean something with the condition that "with sufficiently nice properties in regards to the geometrical structure etc."
$endgroup$
– Willie Wong
Dec 12 '10 at 1:05
add a comment |
$begingroup$
There are three main ways of interpreting the Fourier transform.
Decomposition relative to eigenfunctions of the Laplacian
On $mathbb{R}^n$, the plane waves $E_xi(x) = exp( i xicdot x)$ can be interpreted as generalized eigenfunctions of the Laplacian. That is, let
$$ triangle = sum_{i=1}^n left(frac{partial}{partial x_i}right)^2 $$
then we have
$$ triangle E_xi(x) = -|xi|^2 E_xi(x) $$
Notice that I say "generalized eigenfunctions". This is because usually it is preferred to do linear algebra/functional analysis on a complete inner product space (a Hilbert space), and in the case of functions on Euclidean space, it is usually preferred to work over the Hilbert space of square integrable functions. The functions $E_xi(x)$, however, do not belong in the Hilbert space.
But roughly speaking, the Fourier representation of a function
$$ f(x) = int_{mathbb{R}^n} hat{f}(xi) E_xi(x) dxi $$
can be thought of as a decomposition of $f(x)$ in terms of a linear combination of eigenfunctions of the Laplacian.
In this form, as Raskolnikov mentioned in the comment, there is a natural generalization to compact Riemannian manifolds. Let $(M,g)$ be a compact Riemannian manifold, and let $triangle_g$ denote the associated Laplace-Beltrami operator. One has that $triangle_g$ is a densely defined, unbounded, self-adjoint operator on $L^2(M)$, the space of square integrable functions on the manifold $M$. As it turns out (using a bit of linear partial differential equations theory and a bit of functional analysis), $triangle_g$ is invertible if we restrict the co-domain to functions of mean 0 on $M$. The operator $triangle_g^{-1}$ furthermore turns out to be a compact operator, and thus has discrete eigenvalues with finite dimensional eigen-spaces in $L^2$ by the spectral theorem for compact operators. It is clear by definition that the eigenfunctions of $triangle_g^{-1}$ will be also eigenfunctions for $triangle_g$ (just change the eigenvalue $lambda to lambda^{-1}$. Using the spectral theorem we can write an arbitrary square integrable function on $M$ as a unique linear combination of the set of eigenfunctions.
This is one interpretation of the Fourier transform.
You can further refine this theory in two directions. For functions (and to a small extent tensors), instead of explicitly decomposing using an eigenbasis of $L^2$, you can study "smooth frequency cut-offs" by considering the heat-flow on the manifold. That is, given a function $f$, consider the solution to the heat equation $u(t,x)$ defined on $mathbb{R}_+ times M$
$$ partial_t u = triangle_g u, quad u(0,x) = f(x) $$
and study, the cut-off of $f$ by a bump-function $zeta$ in frequencies in the following sense: take a non-negative function $zetain C^infty_0(mathbb{R}_+)$ and consider the one-parameter family of functions
$$ f_lambda(x) = int_0^infty zeta(lambda t) u(t,x) dt $$
roughly speaking $f_lambda(x)$ here corresponds to, in the Euclidean space case, the restriction
$$ int_{frac12 lambda <|xi|< 2lambda} hat{f}(xi) E_xi(x) dxi $$
of the function to the spatial frequencies that are close, in absolute value, to $lambda$. This theory is developed more in Eli Stein's book "Topics in Harmonic Analysis related to Littlewood-Paley Theory".
Another generalization of this decomposition is applicable to not just functions, but also differential forms. In this generalization, instead of looking at the Laplace-Beltrami operator, we consider the Hodge-Laplace operator defined for differential forms. As it turns out, essentially the same argument as for the scalar case give rise to a decomposition of square-integrable differential forms into three categories, the harmonic forms, the exact forms, and the co-exact forms. This goes under the name of Hodge theory, and I refer you to Wikipedia, and also S. Agmon's "Lectures on Elliptic Boundary Value Problems", among many other very good books in this subject.
Fourier transform and representation theory
Another way of treating the Fourier transform on Euclidean space is from the point of view of Euclidean space as an abelian Lie group (in particular a locally compact topological group) which is "self-dual".
Very roughly speaking, for an abelian locally compact topological group $G$, you can consider the set of group homomorphisms from $Gto T$, where $T$ is the one-dimensional circle group. In the case $G = mathbb{R}^n$, we see that each of the functions $E_xi(x)$ is one such group homomorphism. This set of group homomorphisms can be made into another topological group, known as the dual group of $G$. In the case of Euclidean space, its dual group has the same structure as another copy of the Euclidean space, hence we say it is self-dual.
Now, given an invariant measure $mu$ on $G$, in the sense that group translations in $G$ leaves the measure the same (I am being very rough here and sweeping a lot of stuff under the rug), it turns out that we can define the analogue of the Fourier transform by the same formula
$$ int_G f(x) E_{-xi}(x) dmu(x) $$
where $xi$ is a natural parameter of the dual group of $G$. So in particular, this theory is applicable to the case when we start with a Riemannian manifold $(M,g)$ that is either a Lie group or a symmetric space. This notion is widely applicable in representation theory and analytic number theory, among other things.
See this Wikipedia article, Walter Rudin's "Fourier analysis on groups", S. Helgason's "Differential geometry, Lie groups, and symmetric spaces", and the article by Atle Selberg called "Harmonic analysis and discontinuous groups in weakly symmetric riemannian spaces, with applications to Dirichlet series" for some standard references.
Symmetries on the manifold and partial Fourier transforms
A much more pedestrian way of getting the Fourier transform for functions on manifolds is to just integrate using the usual formula. But as you noted in your question, depending on how you "slice" the manifold, you can get different representations, and whether those representations are meaningful can be questionable.
Fortunately, in one special case we can have a meaningful formula. Let $(M,g)$ be a (pseudo)Riemannian manifold (note that this is the only case I am familiar with that has a natural extension to the case of pseudo-Riemannian manifolds), and assume that it admits a continuous symmetry. That is, there exists a nowhere vanishing vector field $T$ such that the Lie derivative $mathcal{L}_Tg = 0$; in other words $T$ is a Killing vector. Assume further that the integral curves of $T$ are diffeomorphic to $mathbb{R}$ (so in particular $T$ does not have closed orbits; you can also similarly assume all integral curves are closed, so $T$ does not have open orbits, in this latter case you will deal with Fourier series instead of Fourier transform, I'll leave the obvious changes necessary as an exercise).
Then the action of $T$ defines an equivalence relation on $M$, and we can consider the quotient manifold $Q = M / T$. (Here's where we used the condition on the topology of the orbits of $T$. If $T$ has fixed points of orbits of different topologies, $Q$ will in general be a manifold with boundary or an orbifold.) The quotient manifold also inherits a Riemannian structure, but that is not too important right now.
The point is the following, we can write a point $xin M$ as $(t,q)in mathbb{R}times Q$, where $t$ is a natural coordinate on $T$ so that $partial_t$ corresponds to $mathcal{L}_T$ in $M$. Using this splitting, you can take the Fourier transform in $t$ the usual way, writing $f(x) = f(t,q)$
$$ hat{f}(tau,q) = int f(t,q) exp( - ittau) dt $$
That $T$ is a Killing vector is used here so that if you pick a coordinate system adapted to the coordinate $t$, the actual volume form
$$ sqrt{|g|} dt dq $$
will be independent of $t$, so when you try to do analysis with this notion of the Fourier transform, the formula above will not look like it is missing a factor coming from the volume form (since anything independent of $t$ can be factored out, and taken outside of the integral, so the worst-case scenario is the entire expression is off be a fixed factor depending on $q$, which can always be inserted back later).
This formula can also be easily generalized to the case where $(M,g)$ admits several mutually commuting Killing vector fields $T_1, T_2, ldots, T_k$. In the case of $mathbb{R}^n$, the standard coordinate vector fields form a complete set of $n$ mutually commuting Killing vector fields that span the tangent space at every point, and this allows us to take the Fourier transform "in all directions".
This last formulation is useful especially in studying linear partial differential equations on a space-time that is stationary (for example, a stationary black-hole background). See the papers of Dafermos and Rodnianski for example (paper 1, paper 2 ).
answered Dec 11 '10 at 20:10
Willie WongWillie Wong
56k10111212
$endgroup$
There are three main ways of interpreting the Fourier transform.
Decomposition relative to eigenfunctions of the Laplacian
On $mathbb{R}^n$, the plane waves $E_xi(x) = exp( i xicdot x)$ can be interpreted as generalized eigenfunctions of the Laplacian. That is, let
$$ triangle = sum_{i=1}^n left(frac{partial}{partial x_i}right)^2 $$
then we have
$$ triangle E_xi(x) = -|xi|^2 E_xi(x) $$
Notice that I say "generalized eigenfunctions". This is because usually it is preferred to do linear algebra/functional analysis on a complete inner product space (a Hilbert space), and in the case of functions on Euclidean space, it is usually preferred to work over the Hilbert space of square integrable functions. The functions $E_xi(x)$, however, do not belong in the Hilbert space.
But roughly speaking, the Fourier representation of a function
$$ f(x) = int_{mathbb{R}^n} hat{f}(xi) E_xi(x) dxi $$
can be thought of as a decomposition of $f(x)$ in terms of a linear combination of eigenfunctions of the Laplacian.
In this form, as Raskolnikov mentioned in the comment, there is a natural generalization to compact Riemannian manifolds. Let $(M,g)$ be a compact Riemannian manifold, and let $triangle_g$ denote the associated Laplace-Beltrami operator. One has that $triangle_g$ is a densely defined, unbounded, self-adjoint operator on $L^2(M)$, the space of square integrable functions on the manifold $M$. As it turns out (using a bit of linear partial differential equations theory and a bit of functional analysis), $triangle_g$ is invertible if we restrict the co-domain to functions of mean 0 on $M$. The operator $triangle_g^{-1}$ furthermore turns out to be a compact operator, and thus has discrete eigenvalues with finite dimensional eigen-spaces in $L^2$ by the spectral theorem for compact operators. It is clear by definition that the eigenfunctions of $triangle_g^{-1}$ will be also eigenfunctions for $triangle_g$ (just change the eigenvalue $lambda to lambda^{-1}$. Using the spectral theorem we can write an arbitrary square integrable function on $M$ as a unique linear combination of the set of eigenfunctions.
This is one interpretation of the Fourier transform.
You can further refine this theory in two directions. For functions (and to a small extent tensors), instead of explicitly decomposing using an eigenbasis of $L^2$, you can study "smooth frequency cut-offs" by considering the heat-flow on the manifold. That is, given a function $f$, consider the solution to the heat equation $u(t,x)$ defined on $mathbb{R}_+ times M$
$$ partial_t u = triangle_g u, quad u(0,x) = f(x) $$
and study, the cut-off of $f$ by a bump-function $zeta$ in frequencies in the following sense: take a non-negative function $zetain C^infty_0(mathbb{R}_+)$ and consider the one-parameter family of functions
$$ f_lambda(x) = int_0^infty zeta(lambda t) u(t,x) dt $$
roughly speaking $f_lambda(x)$ here corresponds to, in the Euclidean space case, the restriction
$$ int_{frac12 lambda <|xi|< 2lambda} hat{f}(xi) E_xi(x) dxi $$
of the function to the spatial frequencies that are close, in absolute value, to $lambda$. This theory is developed more in Eli Stein's book "Topics in Harmonic Analysis related to Littlewood-Paley Theory".
Another generalization of this decomposition is applicable to not just functions, but also differential forms. In this generalization, instead of looking at the Laplace-Beltrami operator, we consider the Hodge-Laplace operator defined for differential forms. As it turns out, essentially the same argument as for the scalar case give rise to a decomposition of square-integrable differential forms into three categories, the harmonic forms, the exact forms, and the co-exact forms. This goes under the name of Hodge theory, and I refer you to Wikipedia, and also S. Agmon's "Lectures on Elliptic Boundary Value Problems", among many other very good books in this subject.
Fourier transform and representation theory
Another way of treating the Fourier transform on Euclidean space is from the point of view of Euclidean space as an abelian Lie group (in particular a locally compact topological group) which is "self-dual".
Very roughly speaking, for an abelian locally compact topological group $G$, you can consider the set of group homomorphisms from $Gto T$, where $T$ is the one-dimensional circle group. In the case $G = mathbb{R}^n$, we see that each of the functions $E_xi(x)$ is one such group homomorphism. This set of group homomorphisms can be made into another topological group, known as the dual group of $G$. In the case of Euclidean space, its dual group has the same structure as another copy of the Euclidean space, hence we say it is self-dual.
Now, given an invariant measure $mu$ on $G$, in the sense that group translations in $G$ leaves the measure the same (I am being very rough here and sweeping a lot of stuff under the rug), it turns out that we can define the analogue of the Fourier transform by the same formula
$$ int_G f(x) E_{-xi}(x) dmu(x) $$
where $xi$ is a natural parameter of the dual group of $G$. So in particular, this theory is applicable to the case when we start with a Riemannian manifold $(M,g)$ that is either a Lie group or a symmetric space. This notion is widely applicable in representation theory and analytic number theory, among other things.
See this Wikipedia article, Walter Rudin's "Fourier analysis on groups", S. Helgason's "Differential geometry, Lie groups, and symmetric spaces", and the article by Atle Selberg called "Harmonic analysis and discontinuous groups in weakly symmetric riemannian spaces, with applications to Dirichlet series" for some standard references.
Symmetries on the manifold and partial Fourier transforms
A much more pedestrian way of getting the Fourier transform for functions on manifolds is to just integrate using the usual formula. But as you noted in your question, depending on how you "slice" the manifold, you can get different representations, and whether those representations are meaningful can be questionable.
Fortunately, in one special case we can have a meaningful formula. Let $(M,g)$ be a (pseudo)Riemannian manifold (note that this is the only case I am familiar with that has a natural extension to the case of pseudo-Riemannian manifolds), and assume that it admits a continuous symmetry. That is, there exists a nowhere vanishing vector field $T$ such that the Lie derivative $mathcal{L}_Tg = 0$; in other words $T$ is a Killing vector. Assume further that the integral curves of $T$ are diffeomorphic to $mathbb{R}$ (so in particular $T$ does not have closed orbits; you can also similarly assume all integral curves are closed, so $T$ does not have open orbits, in this latter case you will deal with Fourier series instead of Fourier transform, I'll leave the obvious changes necessary as an exercise).
Then the action of $T$ defines an equivalence relation on $M$, and we can consider the quotient manifold $Q = M / T$. (Here's where we used the condition on the topology of the orbits of $T$. If $T$ has fixed points of orbits of different topologies, $Q$ will in general be a manifold with boundary or an orbifold.) The quotient manifold also inherits a Riemannian structure, but that is not too important right now.
The point is the following, we can write a point $xin M$ as $(t,q)in mathbb{R}times Q$, where $t$ is a natural coordinate on $T$ so that $partial_t$ corresponds to $mathcal{L}_T$ in $M$. Using this splitting, you can take the Fourier transform in $t$ the usual way, writing $f(x) = f(t,q)$
$$ hat{f}(tau,q) = int f(t,q) exp( - ittau) dt $$
That $T$ is a Killing vector is used here so that if you pick a coordinate system adapted to the coordinate $t$, the actual volume form
$$ sqrt{|g|} dt dq $$
will be independent of $t$, so when you try to do analysis with this notion of the Fourier transform, the formula above will not look like it is missing a factor coming from the volume form (since anything independent of $t$ can be factored out, and taken outside of the integral, so the worst-case scenario is the entire expression is off be a fixed factor depending on $q$, which can always be inserted back later).
This formula can also be easily generalized to the case where $(M,g)$ admits several mutually commuting Killing vector fields $T_1, T_2, ldots, T_k$. In the case of $mathbb{R}^n$, the standard coordinate vector fields form a complete set of $n$ mutually commuting Killing vector fields that span the tangent space at every point, and this allows us to take the Fourier transform "in all directions".
This last formulation is useful especially in studying linear partial differential equations on a space-time that is stationary (for example, a stationary black-hole background). See the papers of Dafermos and Rodnianski for example (paper 1, paper 2 ).
answered Dec 11 '10 at 20:10
Willie WongWillie Wong
56k10111212
edited Feb 1 at 21:23
answered Dec 11 '10 at 20:10
Willie WongWillie Wong
56k10111212
answered Dec 11 '10 at 20:10
Willie WongWillie Wong
56k10111212
answered Dec 11 '10 at 20:10
Willie WongWillie Wong
56k10111212
56k10111212
1
$begingroup$
I should add that in the case your manifold can be decomposed as a Cartesian product $mathbb{R}^{p,q}times M$ with the product metric $etaoplus g$, where $eta$ is the signature $(p,q)$ flat metric on $mathbb{R}^{p,q}$, you can simply use the "normal" Fourier transform on the $mathbb{R}^{p,q}$ part, and use one of the notions above for the $M$ part. So in particular, if you have a preferred time direction $mathbb{R}$ with some spatial foliation $M$ that is compact Riemannian, the "Fourier basis" will be formed by taking $E_tau(t) cdot F_k(q)$, where $E_tau$ are defined as before ...
$endgroup$
– Willie Wong
Dec 11 '10 at 20:17
1
$begingroup$
... on $mathbb{R}^{p,q}$, and $F_k$ are eigenfunctions of the Laplacian on $M$.
$endgroup$
– Willie Wong
Dec 11 '10 at 20:18
4
$begingroup$
Nice answer, you really put a lot of work into it. I'd give you a +10 if I could. I also learned about the Lie group approach long ago but it was somewhere in a corner of my mind. Thanks for refreshing it.
$endgroup$
– Raskolnikov
Dec 11 '10 at 21:40
1
$begingroup$
Thank you very much for your thoughtful and detailed answer. If I got you correctly, the notion only makes sense for the existence of a timelike killing vector, say $partial_t$. This should imply that a time <> frequency FT only makes sense for stationary solutions in which the quotient manifold $M/psi_t$ ($psi_t$ being the local flux to $partial_t$) exists. Hence, the FT is only feasible for dynamical field theories if the dynamics are independent from the (background) metric.
$endgroup$
– Robert Filter
Dec 11 '10 at 23:35
$begingroup$
The moral of the story is like you said. Of course, nothing is to stop you from cheating by just fixing a preferred 3+1 splitting or something similar (or just fix a global chart and work there when allowed). So the words "only feasible" should be interpreted to mean something with the condition that "with sufficiently nice properties in regards to the geometrical structure etc."
$endgroup$
– Willie Wong
Dec 12 '10 at 1:05
add a comment |
1
$begingroup$
I should add that in the case your manifold can be decomposed as a Cartesian product $mathbb{R}^{p,q}times M$ with the product metric $etaoplus g$, where $eta$ is the signature $(p,q)$ flat metric on $mathbb{R}^{p,q}$, you can simply use the "normal" Fourier transform on the $mathbb{R}^{p,q}$ part, and use one of the notions above for the $M$ part. So in particular, if you have a preferred time direction $mathbb{R}$ with some spatial foliation $M$ that is compact Riemannian, the "Fourier basis" will be formed by taking $E_tau(t) cdot F_k(q)$, where $E_tau$ are defined as before ...
$endgroup$
– Willie Wong
Dec 11 '10 at 20:17
1
$begingroup$
... on $mathbb{R}^{p,q}$, and $F_k$ are eigenfunctions of the Laplacian on $M$.
$endgroup$
– Willie Wong
Dec 11 '10 at 20:18
4
$begingroup$
Nice answer, you really put a lot of work into it. I'd give you a +10 if I could. I also learned about the Lie group approach long ago but it was somewhere in a corner of my mind. Thanks for refreshing it.
$endgroup$
– Raskolnikov
Dec 11 '10 at 21:40
1
$begingroup$
Thank you very much for your thoughtful and detailed answer. If I got you correctly, the notion only makes sense for the existence of a timelike killing vector, say $partial_t$. This should imply that a time <> frequency FT only makes sense for stationary solutions in which the quotient manifold $M/psi_t$ ($psi_t$ being the local flux to $partial_t$) exists. Hence, the FT is only feasible for dynamical field theories if the dynamics are independent from the (background) metric.
$endgroup$
– Robert Filter
Dec 11 '10 at 23:35
$begingroup$
The moral of the story is like you said. Of course, nothing is to stop you from cheating by just fixing a preferred 3+1 splitting or something similar (or just fix a global chart and work there when allowed). So the words "only feasible" should be interpreted to mean something with the condition that "with sufficiently nice properties in regards to the geometrical structure etc."
$endgroup$
– Willie Wong
Dec 12 '10 at 1:05
1
1
$begingroup$
I should add that in the case your manifold can be decomposed as a Cartesian product $mathbb{R}^{p,q}times M$ with the product metric $etaoplus g$, where $eta$ is the signature $(p,q)$ flat metric on $mathbb{R}^{p,q}$, you can simply use the "normal" Fourier transform on the $mathbb{R}^{p,q}$ part, and use one of the notions above for the $M$ part. So in particular, if you have a preferred time direction $mathbb{R}$ with some spatial foliation $M$ that is compact Riemannian, the "Fourier basis" will be formed by taking $E_tau(t) cdot F_k(q)$, where $E_tau$ are defined as before ...
$endgroup$
– Willie Wong
Dec 11 '10 at 20:17
$begingroup$
I should add that in the case your manifold can be decomposed as a Cartesian product $mathbb{R}^{p,q}times M$ with the product metric $etaoplus g$, where $eta$ is the signature $(p,q)$ flat metric on $mathbb{R}^{p,q}$, you can simply use the "normal" Fourier transform on the $mathbb{R}^{p,q}$ part, and use one of the notions above for the $M$ part. So in particular, if you have a preferred time direction $mathbb{R}$ with some spatial foliation $M$ that is compact Riemannian, the "Fourier basis" will be formed by taking $E_tau(t) cdot F_k(q)$, where $E_tau$ are defined as before ...
$endgroup$
– Willie Wong
Dec 11 '10 at 20:17
1
1
$begingroup$
... on $mathbb{R}^{p,q}$, and $F_k$ are eigenfunctions of the Laplacian on $M$.
$endgroup$
– Willie Wong
Dec 11 '10 at 20:18
$begingroup$
... on $mathbb{R}^{p,q}$, and $F_k$ are eigenfunctions of the Laplacian on $M$.
$endgroup$
– Willie Wong
Dec 11 '10 at 20:18
4
4
$begingroup$
Nice answer, you really put a lot of work into it. I'd give you a +10 if I could. I also learned about the Lie group approach long ago but it was somewhere in a corner of my mind. Thanks for refreshing it.
$endgroup$
– Raskolnikov
Dec 11 '10 at 21:40
$begingroup$
Nice answer, you really put a lot of work into it. I'd give you a +10 if I could. I also learned about the Lie group approach long ago but it was somewhere in a corner of my mind. Thanks for refreshing it.
$endgroup$
– Raskolnikov
Dec 11 '10 at 21:40
1
1
$begingroup$
Thank you very much for your thoughtful and detailed answer. If I got you correctly, the notion only makes sense for the existence of a timelike killing vector, say $partial_t$. This should imply that a time <> frequency FT only makes sense for stationary solutions in which the quotient manifold $M/psi_t$ ($psi_t$ being the local flux to $partial_t$) exists. Hence, the FT is only feasible for dynamical field theories if the dynamics are independent from the (background) metric.
$endgroup$
– Robert Filter
Dec 11 '10 at 23:35
$begingroup$
Thank you very much for your thoughtful and detailed answer. If I got you correctly, the notion only makes sense for the existence of a timelike killing vector, say $partial_t$. This should imply that a time <> frequency FT only makes sense for stationary solutions in which the quotient manifold $M/psi_t$ ($psi_t$ being the local flux to $partial_t$) exists. Hence, the FT is only feasible for dynamical field theories if the dynamics are independent from the (background) metric.
$endgroup$
– Robert Filter
Dec 11 '10 at 23:35
$begingroup$
The moral of the story is like you said. Of course, nothing is to stop you from cheating by just fixing a preferred 3+1 splitting or something similar (or just fix a global chart and work there when allowed). So the words "only feasible" should be interpreted to mean something with the condition that "with sufficiently nice properties in regards to the geometrical structure etc."
$endgroup$
– Willie Wong
Dec 12 '10 at 1:05
$begingroup$
The moral of the story is like you said. Of course, nothing is to stop you from cheating by just fixing a preferred 3+1 splitting or something similar (or just fix a global chart and work there when allowed). So the words "only feasible" should be interpreted to mean something with the condition that "with sufficiently nice properties in regards to the geometrical structure etc."
$endgroup$
– Willie Wong
Dec 12 '10 at 1:05
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%2f13902%2fdoes-a-fourier-transformation-on-a-pseudo-riemannian-manifold-make-sense%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
5
$begingroup$
What you need to do is analyze the spectrum of the Laplace-Beltrami operator on that space, that is what gives you the functions which allow you to define the Fourier transform. The $e^{(vec{k}cdotvec{x}-omega t)}$ are basically solutions of the Laplace equation in Euclidean space and expressed in ordinary cartesian coordinates.
$endgroup$
– Raskolnikov
Dec 11 '10 at 14:06
$begingroup$
@Raskolnikov: Thank you for the comment which pointed directly in the right direction. Nevertheless my experience in functional analysis on manifolds is very limited so I could not really grasp the idea. I think Willie Wong pointed out these lines of thought in a very explicit and decent way.
$endgroup$
– Robert Filter
Dec 12 '10 at 8:08