Schur-convex function - Revision history

en>Ncsinger: /* Examples */

2014-03-04T21:54:04Z

Examples

← Older revision		Revision as of 23:54, 4 March 2014
Line 1:		Line 1:
	~~In the [[mathematics\|mathematical]] study of [[heat conduction]] and [[diffusion]], a '''heat kernel'''~~ is ~~the [[fundamental solution]]~~ to ~~the [[heat equation]] on a specified domain with appropriate [[boundary conditions]]~~. ~~It is also one of the main tools in the study of the [[spectral theory\|spectrum]] of the [[Laplace operator]], and~~ is ~~thus of~~ some ~~auxiliary importance throughout [[mathematical physics]]~~. ~~The heat kernel represents the evolution of [[temperature]] in a region whose boundary~~ is ~~held fixed at a particular temperature (typically zero), such that~~ an ~~initial unit of heat energy is placed at a point at time ''t'' = 0.~~		Andrew Berryhill is what his spouse enjoys to contact him and he completely digs that name. To climb is some thing I really appreciate performing. He is an order clerk and it's something he really enjoy. For years he's been living in Mississippi and he doesn't strategy on changing it.<br><br>Also visit my blog post: love psychics - [http://165.132.39.93/xe/visitors/372912 http://165.132.39.93/xe/visitors/372912] -

	~~The most well-known heat kernel is the heat kernel of ''d''-dimensional [[Euclidean space]] '''R'''<sup>''d''</sup>, which has the form~~
	~~:<math>K(t,x,y) = \frac{1}{(4\pi t)^{d/2}} e^{-\|x-y\|^2/4t}\,</math>~~
	~~This solves the heat equation~~
	~~:<math>\frac{\partial K}{\partial t}(t,x,y) = \Delta_x K(t,x,y)\,</math>~~
	~~for all ''t'' > 0~~ and '~~'x'',''y'' ∈ '''R'''<sup>''d''</sup>, with the initial condition~~
	~~:<math>\lim_{t \to 0} K(t,x,y) = \delta(x-y)=\delta_x(y)</math>~~
	~~where δ is a [[Dirac delta distribution]] and the limit is taken in the sense of [[distribution (mathematics)\|distributions]]. To wit, for every smooth function φ of [[compact support]],~~
	~~:<math>\lim_{t \to 0}\int_{\mathbf{R}^d} K(t,x,y)\phi(y)\,dy = \phi(x)~~.~~</math>~~

	~~On a more general domain Ω in '''R'''<sup>'~~'~~d''</sup>, such an explicit formula is not generally possible. The next simplest cases of a disc or square involve, respectively, [[Bessel functions]] and [[Jacobi theta function]]~~s~~. Nevertheless, the heat kernel (for, say, the [[Dirichlet problem]]) still exists~~ and ~~is [[smooth function\|smooth]] for '~~'t~~'' > 0 on arbitrary domains and indeed~~ on ~~any [[Riemannian manifold]] [[manifold with boundary\|with boundary]], provided the boundary is sufficiently regular~~. ~~More precisely, in these more general domains, the heat kernel for the Dirichlet problem is the solution of the initial boundary value problem~~

	:<~~math~~>~~\frac{\partial K}{\partial t}(t,x,y) = \Delta K(t,x,y) \rm{\ \ for\ all\ } t>0 \rm{\ and\ } x,y\in\Omega~~<~~/math~~>
	:~~<math>\lim_{t \to 0} K(t,x,y) = \delta_x(y)\rm{\ \ for\ all\ } x,y\in\Omega</math>~~
	~~:<math>K(t,x,y) = 0, \quad x\in\partial\Omega \rm{\ or\ } y\in\partial\Omega.</math>~~

	It is not difficult to derive a formal expression for the heat kernel on an arbitrary domain. Consider the Dirichlet problem in a connected domain (or manifold with boundary) ''U''. Let λ<sub>''n''</sub> be the [~~[eigenvalue]]s for the Dirichlet problem of the Laplacian~~
	:~~<math>\left\{~~
	~~\begin{array}{ll}~~
	~~\Delta \phi + \lambda \phi = 0 & \mathrm{in\ }\ U\\~~
	~~\phi=0 & \mathrm{on\ }\ \partial U.~~
	~~\end{array}\right.~~
	~~</math>~~
	~~Let φ<sub>''n''<~~/~~sub> denote the associated [[eigenfunction]]s, normalized to be orthonormal in [[Lp space\|L<sup>2<~~/~~sup>(''U'')]]~~. ~~The inverse Dirichlet Laplacian Δ<sup>−1</sup> is a [[compact operator\|compact]] and [[selfadjoint operator]], and so the [[spectral theorem]] implies that the eigenvalues satisfy~~
	~~:<math>0 < \lambda_1 < \lambda_2\le \lambda_3\le\cdots,\quad \lambda_n\to\infty~~.~~</math>~~
	~~The heat kernel has the following expression:~~
	~~{{NumBlk\|:\|<math>K(t,x,y) = \sum_{n=0}^\infty e^{-\lambda_n t}\phi_n(x)\phi_n(y)~~.</~~math>\|{{EquationRef\|1}}}}~~
	~~Formally differentiating the series under the sign of the summation shows that this should satisfy the heat equation. However, convergence and regularity of the series are quite delicate.~~

	~~The heat kernel is also sometimes identified with the associated [[integral transform]], defined for compactly supported smooth φ by~~
	~~:<math>T\phi = \int_\Omega K(t,x,y)\phi(y)\,dy.<~~/~~math>~~
	~~The [[spectral mapping theorem]] gives a representation of ''T'' in the form~~
	~~:<math>T = e^{t\Delta}.<~~/~~math>~~

	~~==See also==~~

	*[[Heat kernel signature]]
	*[[Minakshisundaram–Pleijel zeta function]]
	*[[Mehler kernel]]

	~~==References==~~

	* {{Citation \| last1=Berline \| first1=Nicole \| last2=Getzler \| first2=E. \| last3=Vergne \| first3=Michèle \| title=Heat Kernels and Dirac Operators \| publisher=[[Springer-Verlag]] \| location=Berlin, New York \| year=2004}}
	* {{Citation \| last1=Chavel \| first1=Isaac \| title=Eigenvalues in Riemannian geometry \| publisher=[[Academic Press]] \| location=Boston, MA \| series=Pure and Applied Mathematics \| isbn=978-0-12-170640-1 \| mr=768584 \| year=1984 \| volume=115}}.
	* {{Citation \| last1=Evans \| first1=Lawrence C. \| title=Partial differential equations \| publisher=[[American Mathematical Society]] \| location=Providence, R.I. \| isbn=978-0-8218-0772-9 \| year=1998}}
	* {{Citation \| last1=Gilkey \| first1=Peter B. \| title=Invariance Theory, the Heat Equation, and the Atiyah–Singer Theorem \| url=http://~~www~~.~~emis~~.de/~~monographs~~/~~gilkey~~/ ~~\| isbn=978-0-8493-7874-4 \| year=1994}}~~
	*{{Citation \| last1=Grigor'yan \| first1=Alexander \| title=Heat kernel and analysis on manifolds \| url=http://books.google.com/books?id=X7QQcVa2EWsC \| publisher=[[American Mathematical Society]] ~~\| location=Providence, R.I. \| series=AMS/IP Studies in Advanced Mathematics \| isbn=978-0~~-~~8218-4935-4 \| mr=2569498 \| year=2009 \| volume=47}}~~

	~~{{DEFAULTSORT:Heat Kernel}}~~
	~~[[Category:Heat conduction]]~~
	~~[[Category:Spectral theory]]~~
	~~[[Category:Parabolic partial differential equations]]~~

108.170.150.14: Undid revision 584015026 by 108.170.150.14 (talk)

2013-12-01T05:42:20Z

Undid revision 584015026 by 108.170.150.14 (talk)

← Older revision		Revision as of 07:42, 1 December 2013
Line 1:		Line 1:
	~~Andrew Simcox~~ is the ~~name his parents gave him~~ and ~~he completely enjoys this name~~. ~~My working day job~~ is an ~~invoicing officer but I~~'~~ve currently utilized~~ for an ~~additional 1~~. ~~To perform lacross~~ is ~~some thing I really appreciate performing~~. ~~Her family life~~ in ~~Ohio but her husband desires them~~ to ~~move~~.<br><br>~~Here~~ is ~~my web site~~ - are ~~psychics real~~ ([http://~~black7~~.~~mireene~~.~~com~~/~~aqw~~/~~5741~~ http://~~black7~~.~~mireene~~.com])		In the [[mathematics\|mathematical]] study of [[heat conduction]] and [[diffusion]], a '''heat kernel''' is the [[fundamental solution]] to the [[heat equation]] on a specified domain with appropriate [[boundary conditions]]. It is also one of the main tools in the study of the [[spectral theory\|spectrum]] of the [[Laplace operator]], and is thus of some auxiliary importance throughout [[mathematical physics]]. The heat kernel represents the evolution of [[temperature]] in a region whose boundary is held fixed at a particular temperature (typically zero), such that an initial unit of heat energy is placed at a point at time ''t'' = 0.

			The most well-known heat kernel is the heat kernel of ''d''-dimensional [[Euclidean space]] '''R'''<sup>''d''</sup>, which has the form
			:<math>K(t,x,y) = \frac{1}{(4\pi t)^{d/2}} e^{-\|x-y\|^2/4t}\,</math>
			This solves the heat equation
			:<math>\frac{\partial K}{\partial t}(t,x,y) = \Delta_x K(t,x,y)\,</math>
			for all ''t'' > 0 and ''x'',''y'' ∈ '''R'''<sup>''d''</sup>, with the initial condition
			:<math>\lim_{t \to 0} K(t,x,y) = \delta(x-y)=\delta_x(y)</math>
			where δ is a [[Dirac delta distribution]] and the limit is taken in the sense of [[distribution (mathematics)\|distributions]]. To wit, for every smooth function φ of [[compact support]],
			:<math>\lim_{t \to 0}\int_{\mathbf{R}^d} K(t,x,y)\phi(y)\,dy = \phi(x).</math>

			On a more general domain Ω in '''R'''<sup>''d''</sup>, such an explicit formula is not generally possible. The next simplest cases of a disc or square involve, respectively, [[Bessel functions]] and [[Jacobi theta function]]s. Nevertheless, the heat kernel (for, say, the [[Dirichlet problem]]) still exists and is [[smooth function\|smooth]] for ''t'' > 0 on arbitrary domains and indeed on any [[Riemannian manifold]] [[manifold with boundary\|with boundary]], provided the boundary is sufficiently regular. More precisely, in these more general domains, the heat kernel for the Dirichlet problem is the solution of the initial boundary value problem

			:<math>\frac{\partial K}{\partial t}(t,x,y) = \Delta K(t,x,y) \rm{\ \ for\ all\ } t>0 \rm{\ and\ } x,y\in\Omega</math>
			:<math>\lim_{t \to 0} K(t,x,y) = \delta_x(y)\rm{\ \ for\ all\ } x,y\in\Omega</math>
			:<math>K(t,x,y) = 0, \quad x\in\partial\Omega \rm{\ or\ } y\in\partial\Omega.</math>

			It is not difficult to derive a formal expression for the heat kernel on an arbitrary domain. Consider the Dirichlet problem in a connected domain (or manifold with boundary) ''U''. Let λ<sub>''n''</sub> be the [[eigenvalue]]s for the Dirichlet problem of the Laplacian
			:<math>\left\{
			\begin{array}{ll}
			\Delta \phi + \lambda \phi = 0 & \mathrm{in\ }\ U\\
			\phi=0 & \mathrm{on\ }\ \partial U.
			\end{array}\right.
			</math>
			Let φ<sub>''n''</sub> denote the associated [[eigenfunction]]s, normalized to be orthonormal in [[Lp space\|L<sup>2</sup>(''U'')]]. The inverse Dirichlet Laplacian Δ<sup>−1</sup> is a [[compact operator\|compact]] and [[selfadjoint operator]], and so the [[spectral theorem]] implies that the eigenvalues satisfy
			:<math>0 < \lambda_1 < \lambda_2\le \lambda_3\le\cdots,\quad \lambda_n\to\infty.</math>
			The heat kernel has the following expression:
			{{NumBlk\|:\|<math>K(t,x,y) = \sum_{n=0}^\infty e^{-\lambda_n t}\phi_n(x)\phi_n(y).</math>\|{{EquationRef\|1}}}}
			Formally differentiating the series under the sign of the summation shows that this should satisfy the heat equation. However, convergence and regularity of the series are quite delicate.

			The heat kernel is also sometimes identified with the associated [[integral transform]], defined for compactly supported smooth φ by
			:<math>T\phi = \int_\Omega K(t,x,y)\phi(y)\,dy.</math>
			The [[spectral mapping theorem]] gives a representation of ''T'' in the form
			:<math>T = e^{t\Delta}.</math>

			==See also==

			*[[Heat kernel signature]]
			*[[Minakshisundaram–Pleijel zeta function]]
			*[[Mehler kernel]]

			==References==

			* {{Citation \| last1=Berline \| first1=Nicole \| last2=Getzler \| first2=E. \| last3=Vergne \| first3=Michèle \| title=Heat Kernels and Dirac Operators \| publisher=[[Springer-Verlag]] \| location=Berlin, New York \| year=2004}}
			* {{Citation \| last1=Chavel \| first1=Isaac \| title=Eigenvalues in Riemannian geometry \| publisher=[[Academic Press]] \| location=Boston, MA \| series=Pure and Applied Mathematics \| isbn=978-0-12-170640-1 \| mr=768584 \| year=1984 \| volume=115}}.
			* {{Citation \| last1=Evans \| first1=Lawrence C. \| title=Partial differential equations \| publisher=[[American Mathematical Society]] \| location=Providence, R.I. \| isbn=978-0-8218-0772-9 \| year=1998}}
			* {{Citation \| last1=Gilkey \| first1=Peter B. \| title=Invariance Theory, the Heat Equation, and the Atiyah–Singer Theorem \| url=http://www.emis.de/monographs/gilkey/ \| isbn=978-0-8493-7874-4 \| year=1994}}
			*{{Citation \| last1=Grigor'yan \| first1=Alexander \| title=Heat kernel and analysis on manifolds \| url=http://books.google.com/books?id=X7QQcVa2EWsC \| publisher=[[American Mathematical Society]] \| location=Providence, R.I. \| series=AMS/IP Studies in Advanced Mathematics \| isbn=978-0-8218-4935-4 \| mr=2569498 \| year=2009 \| volume=47}}

			{{DEFAULTSORT:Heat Kernel}}
			[[Category:Heat conduction]]
			[[Category:Spectral theory]]
			[[Category:Parabolic partial differential equations]]

en>Saibod: /* Examples */

2012-02-08T21:31:11Z

Examples

New page

Andrew Simcox is the name his parents gave him and he completely enjoys this name. My working day job is an invoicing officer but I've currently utilized for an additional 1. To perform lacross is some thing I really appreciate performing. Her family life in Ohio but her husband desires them to move.<br><br>Here is my web site - are psychics real ([http://black7.mireene.com/aqw/5741 http://black7.mireene.com])