Math 2.0

Partial differential equations Definition

Dirichlet eigenvalue

Builds on LaplacianSobolev spaceWeak solutionEigenvalue

Definition

Let Ω⊆ℝn\Omega \subseteq \R^n be a nonempty bounded open set and let H01(Ω)H^1_0(\Omega) be the Sobolev space of functions with zero boundary values. Let Δ\Delta be the Laplacian. A real number λ\lambda is a Dirichlet eigenvalue of Ω\Omega if some u∈H01(Ω)u \in H^1_0(\Omega) with u≠0u \ne 0 is a weak solution of −Δu=λuin Ω.-\Delta u = \lambda u \quad \text{in } \Omega. That is, ∫Ω∇u⋅∇v dx=λ∫Ωuv dx\int_\Omega \nabla u \cdot \nabla v \, dx = \lambda \int_\Omega u v \, dx for every v∈H01(Ω)v \in H^1_0(\Omega). Such a uu is a Dirichlet eigenfunction for λ\lambda.

Remarks

The Dirichlet eigenvalues form a sequence 0<λ1(Ω)<λ2(Ω)≤λ3(Ω)≤⋯→∞0 < \lambda_1(\Omega) < \lambda_2(\Omega) \le \lambda_3(\Omega) \le \dots \to \infty, listed with multiplicity, when Ω\Omega is connected. They are the eigenvalues of the Dirichlet Laplacian, a self-adjoint operator with compact inverse. The first one is the minimum of the Rayleigh quotient: λ1(Ω)=min⁡{∫Ω∣∇u∣2 dx/∫Ωu2 dx:u∈H01(Ω),u≠0}\lambda_1(\Omega) = \min \set{ \int_\Omega \abs{\nabla u}^2 \, dx / \int_\Omega u^2 \, dx : u \in H^1_0(\Omega), u \ne 0 }.

Example: for Ω=(0,π)\Omega = (0, \pi), the function u(x)=sin⁡(kx)u(x) = \sin(kx) with k≥1k \ge 1 an integer vanishes at 00 and π\pi and satisfies −u′′=k2u-u'' = k^2 u. So k2k^2 is a Dirichlet eigenvalue, and these are all of them.

Non-example: on (0,π)(0, \pi), the number 00 is not a Dirichlet eigenvalue. The solutions of −u′′=0-u'' = 0 are u=a+bxu = a + bx, and the boundary conditions force a=b=0a = b = 0. With the Neumann condition u′=0u' = 0 instead, the constant function shows that 00 is a Neumann eigenvalue.

Reading path

To understand this page from the ground up, read these 15 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. Eigenvalue concept
  2. Euclidean space object
  3. Function concept
  4. Sobolev space concept
  5. Weak solution concept
  6. Total derivative concept
  7. Function of several variables concept
  8. Vector-valued function concept
  9. Differentiable function of several variables concept
  10. Partial derivative concept
  11. Vector field concept
  12. Gradient concept
  13. Divergence concept
  14. Laplacian concept
  15. Dirichlet eigenvalue definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Dirichlet_eigenvalue
About this page
TagYATEFAKZYB
URIm2://YATEFAKZYB
Kinddefinition
WritingW0 stub
MSC35P15, 35P05, 35J05
DefinesDirichlet eigenvalue
UsesLaplacian, Sobolev space, Weak solution, Eigenvalue
Changed2 November 2026

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.