In mathematics, the Dirichlet eigenvalues are the fundamental modes of vibration of an idealized drum with a given shape. The problem of whether one can hear the shape of a drum is: given the Dirichlet eigenvalues, what features of the shape of the drum can one deduce. Here a "drum" is thought of as an elastic membrane Ω, which is represented as a planar domain whose boundary is fixed. The Dirichlet eigenvalues are found by solving the following problem for an unknown function u ≠ 0 and eigenvalue λ Here Δ is the Laplacian, which is given in xy-coordinates by
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Dirichlet eigenvalue (en)
- ディリクレ固有値 (ja)
|
| rdfs:comment
| - In mathematics, the Dirichlet eigenvalues are the fundamental modes of vibration of an idealized drum with a given shape. The problem of whether one can hear the shape of a drum is: given the Dirichlet eigenvalues, what features of the shape of the drum can one deduce. Here a "drum" is thought of as an elastic membrane Ω, which is represented as a planar domain whose boundary is fixed. The Dirichlet eigenvalues are found by solving the following problem for an unknown function u ≠ 0 and eigenvalue λ Here Δ is the Laplacian, which is given in xy-coordinates by (en)
- 数学において、ディリクレ固有値（ディリクレこゆうち、英: Dirichlet eigenvalue）は、ある与えられた形の理想的な太鼓の基本固有振動である。ここでの問題は、、である。すなわち、ディリクレ固有値が与えられたとき、その太鼓の形のどのような特徴を推測することが出来るか、ということである。ここでの「太鼓」とは、境界が固定された平面領域として表される、伸縮自在の膜 Ω のことをいう。ディリクレ固有値は、未知函数 u ≠ 0 と固有値 λ に対して次の問題を解くことで得られる。 (1) ここで Δ は、xy-座標において次で与えられるラプラシアンである。 境界値問題 は、もちろんヘルムホルツ方程式に対するディリクレ問題であり、したがって λ は Ω に対するディリクレ固有値として知られる。ディリクレ固有値は、対応するノイマン問題に対する固有値であるノイマン固有値とは比較される。 に現れるラプラス作用素 Δ は、ディリクレ境界条件を満たす函数 u に対してのみ考えられるとき、しばしばディリクレラプラシアンと呼ばれる。より一般に、スペクトル幾何学においては、 は境界を持つ多様体 Ω 上で考えられる。このとき Δ は、ディリクレ境界条件に対して、となる。 (ja)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has abstract
| - In mathematics, the Dirichlet eigenvalues are the fundamental modes of vibration of an idealized drum with a given shape. The problem of whether one can hear the shape of a drum is: given the Dirichlet eigenvalues, what features of the shape of the drum can one deduce. Here a "drum" is thought of as an elastic membrane Ω, which is represented as a planar domain whose boundary is fixed. The Dirichlet eigenvalues are found by solving the following problem for an unknown function u ≠ 0 and eigenvalue λ Here Δ is the Laplacian, which is given in xy-coordinates by The boundary value problem is the Dirichlet problem for the Helmholtz equation, and so λ is known as a Dirichlet eigenvalue for Ω. Dirichlet eigenvalues are contrasted with : eigenvalues for the corresponding Neumann problem. The Laplace operator Δ appearing in is often known as the Dirichlet Laplacian when it is considered as accepting only functions u satisfying the Dirichlet boundary condition. More generally, in spectral geometry one considers on a manifold with boundary Ω. Then Δ is taken to be the Laplace–Beltrami operator, also with Dirichlet boundary conditions. It can be shown, using the spectral theorem for compact self-adjoint operators that the eigenspaces are finite-dimensional and that the Dirichlet eigenvalues λ are real, positive, and have no limit point. Thus they can be arranged in increasing order: where each eigenvalue is counted according to its geometric multiplicity. The eigenspaces are orthogonal in the space of square-integrable functions, and consist of smooth functions. In fact, the Dirichlet Laplacian has a continuous extension to an operator from the Sobolev space into . This operator is invertible, and its inverse is compact and self-adjoint so that the usual spectral theorem can be applied to obtain the eigenspaces of Δ and the reciprocals 1/λ of its eigenvalues. One of the primary tools in the study of the Dirichlet eigenvalues is the max-min principle: the first eigenvalue λ1 minimizes the Dirichlet energy. To wit, the infimum is taken over all u of compact support that do not vanish identically in Ω. By a density argument, this infimum agrees with that taken over nonzero . Moreover, using results from the calculus of variations analogous to the Lax–Milgram theorem, one can show that a minimizer exists in . More generally, one has where the supremum is taken over all (k−1)-tuples and the infimum over all u orthogonal to the . (en)
- 数学において、ディリクレ固有値（ディリクレこゆうち、英: Dirichlet eigenvalue）は、ある与えられた形の理想的な太鼓の基本固有振動である。ここでの問題は、、である。すなわち、ディリクレ固有値が与えられたとき、その太鼓の形のどのような特徴を推測することが出来るか、ということである。ここでの「太鼓」とは、境界が固定された平面領域として表される、伸縮自在の膜 Ω のことをいう。ディリクレ固有値は、未知函数 u ≠ 0 と固有値 λ に対して次の問題を解くことで得られる。 (1) ここで Δ は、xy-座標において次で与えられるラプラシアンである。 境界値問題 は、もちろんヘルムホルツ方程式に対するディリクレ問題であり、したがって λ は Ω に対するディリクレ固有値として知られる。ディリクレ固有値は、対応するノイマン問題に対する固有値であるノイマン固有値とは比較される。 に現れるラプラス作用素 Δ は、ディリクレ境界条件を満たす函数 u に対してのみ考えられるとき、しばしばディリクレラプラシアンと呼ばれる。より一般に、スペクトル幾何学においては、 は境界を持つ多様体 Ω 上で考えられる。このとき Δ は、ディリクレ境界条件に対して、となる。 コンパクト自己共役作用素に対するスペクトル定理を用いることで、固有空間が有限次元であり、ディリクレ固有値 λ が実かつ正であり、集積点を持たないことが示される。したがって、それらを大きさの順番に並べることが出来る： ここで各固有値は、その幾何学的重複度にしたがって数えられる。その固有空間は、自乗可積分函数の空間において直交し、滑らかな函数からなる。実際、ディリクレラプラシアンは、ソボレフ空間 から への作用素への連続的な拡張を持つ。この作用素は可逆であり、その逆はコンパクトかつ自己共役であるため、通常のスペクトル定理は Δ の固有空間とその固有値の逆数 1/λ を得るために利用することができる。 ディリクレ固有値の研究における基本的な道具の一つに、次の最大値最小値原理がある：第一固有値 λ1 はディリクレエネルギーを最小化する。すなわち は、Ω において恒等的にゼロとはならないを持つすべての u に関する下限である。この下限はゼロでない に関する下限となる。さらにラックス＝ミルグラムの定理と同様の変分法の結果を使うことで、 内に最小点が存在することを証明できる。より一般に が成り立つ。ここで上限はすべての (k−1)-タプル について取られ、下限は φi に直交するすべての u について取られる。 (ja)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
