Fourier–Bros–Iagolnitzer Transform

A Gaussian-windowed complex Fourier integral transform that embeds a function or distribution into phase space and detects local analytic regularity through exponential decay, providing a characterization of the analytic wave-front set.

Version

v1 · 2026-09-28 · History

Domain-specific #

9551

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Analytic Microlocal Analysis → Mathematics

Aliases

FBI Transform, Fourier-Bros-Iagolnitzer Transform, Fourier–Bros–Iagolnitzer Transformation

Core Idea

The FBI transform turns local analytic singularities into phase-space growth or decay. It refines global Fourier analysis by asking where and in which covector directions exponential analytic estimates hold.

The useful object is not one canonical formula but a class of admissible complex-phase transforms with positivity, normalization, inversion, and uniform estimates adequate for microlocal theorems.

Structural Signature

Sig role-phrases:

• Distribution or function — Supplies the object whose microlocal regularity is tested. It is input. Counterfactual: Growth and support determine the valid transform setting.
• Spatial center — Localizes the analysis near a point. It is position coordinate. Counterfactual: Global Fourier decay alone lacks this localization.
• Frequency/covector — Selects direction in phase space. It is direction coordinate. Counterfactual: Wave-front exclusion is directional.
• Complex Gaussian phase — Combines oscillation with strong localization and positivity. It is kernel. Counterfactual: Admissibility and sign convention are essential.
• Large or semiclassical parameter — Controls concentration and exponential estimates. It is scale. Counterfactual: Polynomial and exponential decay distinguish smooth and analytic regimes.
• Decay criterion/inversion — Relates transform bounds back to singularities and solutions. It is interpretation. Counterfactual: A numerical small value is not a theorem without uniform estimates.

What It Is Not

• It is not the ordinary Fourier transform.
• It is not a law-enforcement acronym in this context.
• Gaussian smoothing alone is not enough.
• Small finite-parameter coefficients do not prove analytic regularity.
• Closest near-miss. The short-time Fourier transform also localizes position and frequency; FBI transforms are formulated for microlocal analytic estimates and complex phase, with overlapping special cases but different theorem context.

Scope of Application

• Microlocal analysis. Characterizes analytic wave-front sets.
• Partial differential equations. Proves analytic elliptic regularity and uniqueness.
• Semiclassical analysis. Expresses localized phase-space estimates.
• Several complex variables. Uses holomorphic extensions and weighted transform spaces.

Clarity

State domain and distribution space, transform convention, phase and amplitude, positivity/admissibility, normalization, large or semiclassical parameter, coordinate and covector conventions, conic neighborhood, weight, decay estimate and uniformity, inversion or equivalence theorem, target wave-front set, and PDE hypotheses.

Manages Complexity

Complex phase, several scales, distributions, cones, and exponential estimates interact. Formulas that differ only by normalization can be equivalent, while a sign error can reverse damping into growth.

Abstract Reasoning

1. Choose a transform convention compatible with the space and theorem.
2. Verify phase nondegeneracy, positivity, and normalization.
3. Localize the relevant spatial point and covector cone.
4. Derive uniform large-parameter bounds from the function or PDE.
5. Use the correct characterization or inversion theorem to infer analytic microlocal regularity.

Knowledge Transfer

Phase-space localization transfers to Gabor, wavelet, and semiclassical transforms, but analytic wave-front conclusions require FBI-specific exponential estimates and admissible complex phases.

Examples

Canonical

For a distribution near x0, an admissible Gaussian-phase FBI transform is estimated uniformly in a conic covector neighborhood; exponential decay as the large parameter grows excludes that phase-space point from the analytic wave-front set.

Mapped back: input → distribution; position → near x0; direction → conic covectors; kernel → Gaussian complex phase; criterion → uniform exponential decay.

Applied / In Practice

Computing a global Fourier transform and observing high-frequency decay can show regularity but does not localize which spatial point and direction form the analytic wave-front set.

Mapped back: transform → global Fourier; space localization → absent; phase-space claim → unsupported; verdict → not FBI test.

Structural Tensions

T1 — Strong Localization versus Uncertainty And Complex Phase. Concentration near a point broadens frequency while analytic estimates demand carefully balanced phase-space scaling.

Diagnostic: Which parameter regime supports the desired decay theorem?

T2 — Formula Variability versus Invariant Microlocal Content. Several normalizations and phases represent equivalent transforms while careless comparison changes constants and contours.

Diagnostic: What equivalence theorem justifies moving between conventions?

Structural–Framed Character

Fourier–Bros–Iagolnitzer Transform is structural as complex-phase Gaussian localization in phase space and framed by analytic microlocal decay.

Structural Core vs. Domain Accent

The broad pattern is transforming a signal to reveal localized structure. Microlocal analysis adds distributions, covector cones, complex phases, exponential decay, and analytic regularity.

Instantiates / Related Primes

This entry presupposes Fourier Transform.

• Approved microlocal-transform root. No frozen parent entails the FBI analytic phase-space transform.

• Related — Fourier transform, short-time Fourier transform, Bargmann transform, analytic wave-front set, pseudodifferential operator, and Holmgren theorem. They are ancestor, neighbors, target, tool, and application.

Relationships to Other Abstractions

Current abstraction Fourier–Bros–Iagolnitzer Transform Domain-specific

Parents (1) — more general patterns this builds on

• Fourier–Bros–Iagolnitzer Transform presupposes Fourier Transform Domain-specific

  Fourier–Bros–Iagolnitzer Transform presupposes Fourier Transform: the parent's defining role is necessary to the child's frozen mechanism or criterion.

Hierarchy paths (9) — routes to 8 parentless roots

• Fourier–Bros–Iagolnitzer Transform → Fourier Transform → Decomposition

Show alternative paths (8)

Neighborhood in Abstraction Space

Fourier–Bros–Iagolnitzer Transform sits in a crowded region of the domain-specific corpus (33^rd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Physical & Geometric Dynamical Quantities (29 abstractions)

Nearest neighbors

• Microrheology — 0.89
• P-Laplacian — 0.88
• Probability Density Function — 0.88
• Heat Kernel Signature — 0.88
• Dini continuity — 0.88

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

• Fourier transform. Tell: Is global in position.
• Short-time Fourier transform. Tell: Uses a window but usually targets time-frequency analysis rather than analytic microlocality.
• Bargmann transform. Tell: Is closely related under conventions but lives in a holomorphic representation.
• Wavelet transform. Tell: Uses scaled wavelets and different regularity criteria.

References

• Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Fourier%E2%80%93Bros%E2%80%93Iagolnitzer_transform (revision 1351136164).
• Preserved source candidate: https://archive.org/details/mathematicsmathe0013gard

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.