-
Notifications
You must be signed in to change notification settings - Fork 234
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. Weβll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Merged by Bors] - feat: Fourier inversion formula #10810
Conversation
@@ -532,8 +532,10 @@ Measures and integral calculus: | |||
Dirichlet theorem: '' | |||
Fejer theorem: '' | |||
Parseval theorem: 'tsum_sq_fourierCoeff' | |||
Fourier transforms on $\mathrm{L}^1(\R^d)$ and $\mathrm{L}^2(\R^d)$: '' | |||
Fourier transform on $\mathrm{L}^1(\R^d)$: 'Real.fourierIntegral' |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm not sure we're supposed to add entries to this file... because it's meant to correspond 1-to-1 to the aggregation list.
cc @PatrickMassot
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Splitting an entry is definitely fine.
Plancherelβs theorem: '' | ||
Fourier inversion formula: 'Continuous.fourier_inversion' |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
And this is also fine.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks π
bors merge
We show the Fourier inversion formula on finite-dimensional real inner product spaces: if `f` and its Fourier transform are both integrable, then `πβ» (π f) = f` at continuity points of `f`.
Build failed (retrying...): |
We show the Fourier inversion formula on finite-dimensional real inner product spaces: if `f` and its Fourier transform are both integrable, then `πβ» (π f) = f` at continuity points of `f`.
Pull request successfully merged into master. Build succeeded: |
We show the Fourier inversion formula on finite-dimensional real inner product spaces: if `f` and its Fourier transform are both integrable, then `πβ» (π f) = f` at continuity points of `f`.
We show the Fourier inversion formula on finite-dimensional real inner product spaces: if `f` and its Fourier transform are both integrable, then `πβ» (π f) = f` at continuity points of `f`.
We show the Fourier inversion formula on finite-dimensional real inner product spaces: if `f` and its Fourier transform are both integrable, then `πβ» (π f) = f` at continuity points of `f`.
We show the Fourier inversion formula on finite-dimensional real inner product spaces: if `f` and its Fourier transform are both integrable, then `πβ» (π f) = f` at continuity points of `f`.
We show the Fourier inversion formula on finite-dimensional real inner product spaces: if `f` and its Fourier transform are both integrable, then `πβ» (π f) = f` at continuity points of `f`.
We show the Fourier inversion formula on finite-dimensional real inner product spaces: if
f
and its Fourier transform are both integrable, thenπβ» (π f) = f
at continuity points off
.