Math 2.0

Partial differential equations Definition

Heat potential

Builds on Heat equationHeat kernelRadon measure

Definition

Let n≥1n \ge 1, and let Φ ⁣:ℝn×ℝ→[0,∞)\Phi \colon \R^n \times \R \to [0, \infty) be the fundamental solution of the heat equation ∂tu=Δu\partial_t u = \Delta u: Φ(x,t)=(4πt)−n/2exp⁡ ⁣(−∣x∣24t) for t>0,Φ(x,t)=0 for t≤0.\Phi(x, t) = (4\pi t)^{-n/2} \exp\!\left(-\frac{\abs{x}^2}{4t}\right) \text{ for } t > 0, \qquad \Phi(x, t) = 0 \text{ for } t \le 0. Let μ\mu be a positive Radon measure on ℝn×ℝ\R^n \times \R. The heat potential of μ\mu is the function Φμ ⁣:ℝn×ℝ→[0,∞]\Phi\mu \colon \R^n \times \R \to [0, \infty] given by Φμ(x,t)=∫ℝn×ℝΦ(x−y,t−s) dμ(y,s).\Phi\mu(x, t) = \int_{\R^n \times \R} \Phi(x - y, t - s) \, d\mu(y, s). When dμ=f dy dsd\mu = f \, dy \, ds for a function f≥0f \ge 0, the heat potential Φμ\Phi\mu is also called the volume potential of ff.

Remarks

Only the part of μ\mu with s<ts < t contributes to Φμ(x,t)\Phi\mu(x, t), since Φ\Phi vanishes for nonpositive times. Example: for the unit point mass μ=δ(0,0)\mu = \delta_{(0, 0)}, the heat potential is Φ\Phi itself, the heat kernel started at time 00; it solves the heat equation away from (0,0)(0, 0). Degenerate case: for Lebesgue measure on ℝn×ℝ\R^n \times \R, Φμ(x,t)=∫−∞t∫ℝnΦ(x−y,t−s) dy ds=∫−∞t1 ds=∞\Phi\mu(x, t) = \int_{-\infty}^{t} \int_{\R^n} \Phi(x - y, t - s) \, dy \, ds = \int_{-\infty}^t 1 \, ds = \infty at every point, so finiteness of a heat potential needs growth conditions on μ\mu. For a bounded function ff on ℝn×(0,T)\R^n \times (0, T) that is locally Hölder continuous, the function u(x,t)=∫0t∫ℝnΦ(x−y,t−s)f(y,s) dy dsu(x, t) = \int_0^t \int_{\R^n} \Phi(x - y, t - s) f(y, s) \, dy \, ds solves ∂tu−Δu=f\partial_t u - \Delta u = f with u(⋅,0)=0u(\cdot, 0) = 0. A measure carried by the lateral boundary of a space-time cylinder gives a single layer heat potential. Using a normal derivative of Φ\Phi instead gives a double layer heat potential. Both are used to solve boundary value problems for the heat equation.

Reading path

To understand this page from the ground up, read these 4 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. Heat equation concept
  2. Heat kernel concept
  3. Radon measure concept
  4. Heat potential definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Heat_equation
About this page
TagE16HJZ3W4R
URIm2://E16HJZ3W4R
Kinddefinition
WritingW0 stub
MSC35K08, 35K05, 31C99
DefinesHeat potential
UsesHeat equation, Heat kernel, Radon measure

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.