Math 2.0

Partial differential equations Definition

Fourier series method

Builds on Fourier seriesSeparation of variablesHeat equationOrthonormal basis

Definition

Let L>0L > 0 and let AA be a linear differential operator in xx, with boundary conditions at 00 and LL. Consider the linear evolution equation ut=Auu_t = A u for u ⁣:[0,L]×[0,∞)→ℝu \colon [0, L] \times [0, \infty) \to \R. Assume that L2(0,L)L^2(0, L) has an orthonormal basis (φk)k≥1(\varphi_k)_{k \ge 1} of functions that satisfy the boundary conditions and Aφk=−μkφkA \varphi_k = -\mu_k \varphi_k with μk∈ℝ\mu_k \in \R. Typically the φk\varphi_k are sines or cosines, so that expansions in them are Fourier series. The Fourier series method for the initial value u(⋅,0)=fu(\cdot, 0) = f consists of three steps.

  1. Expand f=∑kbkφkf = \sum_k b_k \varphi_k with bk=∫0Lfφk dxb_k = \int_0^L f \varphi_k \, dx.
  2. Seek u(x,t)=∑kck(t)φk(x)u(x, t) = \sum_k c_k(t) \varphi_k(x), which turns the equation into the ordinary differential equations ck′=−μkckc_k' = -\mu_k c_k with ck(0)=bkc_k(0) = b_k.
  3. Solve them, which gives u(x,t)=∑kbke−μktφk(x)u(x, t) = \sum_k b_k e^{-\mu_k t} \varphi_k(x).

The same steps apply to second-order equations in time, such as the wave equation utt=Auu_{tt} = A u, with two initial values.

Remarks

Example: the heat equation ut=uxxu_t = u_{xx} on (0,π)(0, \pi) with u(0,t)=u(π,t)=0u(0, t) = u(\pi, t) = 0. Here φk(x)=2/π sin⁡(kx)\varphi_k(x) = \sqrt{2/\pi}\, \sin(kx) and μk=k2\mu_k = k^2, since (sin⁡kx)′′=−k2sin⁡kx(\sin kx)'' = -k^2 \sin kx. For f(x)=sin⁡x+sin⁡3xf(x) = \sin x + \sin 3x, the method gives u(x,t)=e−tsin⁡x+e−9tsin⁡3xu(x, t) = e^{-t} \sin x + e^{-9t} \sin 3x. Check: ut=−e−tsin⁡x−9e−9tsin⁡3x=uxxu_t = -e^{-t} \sin x - 9 e^{-9t} \sin 3x = u_{xx}, and uu vanishes at 00 and π\pi.

Non-example: the nonlinear equation ut=uxx+u2u_t = u_{xx} + u^2 with the same boundary conditions does not decouple. The product of two sine modes contains other modes, so the coefficient equations form an infinite coupled system.

Each term ck(t)φk(x)c_k(t) \varphi_k(x) is a product solution, so the method is separation of variables followed by superposition. For f∈L2(0,L)f \in L^2(0, L) and μk≥0\mu_k \ge 0, the series for uu converges in L2L^2 for each t≥0t \ge 0.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Fourier series concept
  2. Heat equation concept
  3. Orthonormal basis concept
  4. Separation of variables concept
  5. Fourier series method definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Fourier_series
About this page
TagJ0MHS4ZCKR
URIm2://J0MHS4ZCKR
Kinddefinition
WritingW0 stub
MSC35C10, 35K05, 42A16
DefinesFourier series method
UsesFourier series, Separation of variables, Heat equation, Orthonormal basis

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.