Fourier Transform Methods for PDEs

Graduate Depth 79 in the knowledge graph I know this Set as goal
Unlocks 1 downstream topic
pde fourier-transform spectral-methods frequency-domain

Core Idea

The Fourier transform converts a PDE with constant coefficients into an algebraic equation (or ODE) by transforming spatial derivatives into multiplication by frequency variables. Applying the transform û(ξ,t) = ∫u(x,t)e^(-iξ·x)dx to a PDE like u_t = ku_xx yields û_t = -kξ²û, a simple ODE in t for each frequency ξ. Solving in frequency space and inverting the transform produces the solution. This method is particularly effective for problems on the whole real line or in ℝⁿ where Fourier series are not applicable.

Explainer

The Fourier transform is one of the most powerful techniques for solving PDEs with constant coefficients on unbounded domains. The fundamental idea is that the Fourier transform diagonalizes constant-coefficient differential operators: it converts ∂/∂x into multiplication by iξ. This transforms a PDE—an equation relating partial derivatives—into an algebraic equation or a simpler ODE in the transform variable. Once solved in the frequency domain, the inverse Fourier transform recovers the solution in physical space.

Consider the heat equation u_t = ku_xx on the real line. Taking the Fourier transform in x gives û_t(ξ,t) = -kξ²û(ξ,t), an ODE whose solution is û(ξ,t) = f̂(ξ)e^(-kξ²t). The factor e^(-kξ²t) is a Gaussian in ξ that decays faster for high frequencies, reflecting the smoothing effect of diffusion. Inverting the transform and using the convolution theorem gives u = f * K_t, where K_t is the heat kernel. This derivation reveals why diffusion smooths out rough initial data: high-frequency components are exponentially damped.

For the wave equation u_tt = c²Δu, the Fourier transform gives û_tt = -c²|ξ|²û, a harmonic oscillator in t. Each Fourier mode oscillates at frequency c|ξ| without growing or decaying—energy is conserved at each frequency. The inverse transform recovers D'Alembert's formula in one dimension and Kirchhoff's formula in three dimensions. The dispersion relation ω = c|ξ| being linear (nondispersive) explains why waves in this equation maintain their shape.

The method extends naturally to higher dimensions and to other equations. For Schrödinger's equation iu_t = -Δu, the transform gives û_t = i|ξ|²û with solution û = f̂·e^(i|ξ|²t). The quadratic dispersion relation ω = |ξ|² means different frequencies travel at different speeds, causing wave packets to spread (dispersion). For Helmholtz's equation Δu + k²u = f, the transform yields (-|ξ|² + k²)û = f̂, which is algebraic but has singularities on the sphere |ξ| = k, corresponding to resonant frequencies and requiring careful treatment.

The Fourier transform approach connects directly to spectral theory and distribution theory. The solution operator e^(-kξ²t) for the heat equation is an example of a Fourier multiplier, and the general theory of pseudodifferential operators extends these ideas to variable-coefficient and nonlinear settings. Computationally, the Fast Fourier Transform (FFT) makes these methods practical for numerical PDE solving, underlying spectral methods that achieve exponential convergence for smooth problems.

Practice Questions 4 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsCombining Like TermsOne-Step EquationsTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIndefinite IntegralsBasic Integration RulesRiemann SumsDefinite Integral DefinitionFundamental Theorem of Calculus Part 1Fundamental Theorem of Calculus Part 2U-SubstitutionIntegration by PartsFourier Series: Definition and CoefficientsConvergence of Fourier SeriesEven and Odd Extensions in Fourier SeriesThe Heat Equation and Diffusion ProblemsSeparation of Variables for Partial Differential EquationsFourier Transform Methods for PDEs

Longest path: 80 steps · 333 total prerequisite topics

Prerequisites (3)

Leads To (1)