Cone (category theory): Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Ricardohz
Undid revision 586372658 by Ricardohz (talk): I undoing my own change, I misundertood the original
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
{{Refimprove|date=October 2012}}
Friends call him Royal. Delaware is the location I love most but I require to move for my family members. She is presently a cashier but quickly she'll be on her personal. The thing I adore most flower arranging and now I have time to take on new issues.<br><br>Look into my web-site; extended car warranty ([http://www.frag5.com/index.php?mod=users&action=view&id=13770 simply click the following post])
 
In [[physics]], the '''Green's function (or [[fundamental solution]]) for Laplace's equation in three variables''' is used to describe the response of a particular type of physical system to a [[point source]]. In particular, this [[Green's function]] arises in systems that can be described by [[Poisson's equation]], a [[partial differential equation]] (PDE) of the form
 
:<math> \nabla^2u(\mathbf{x}) = f(\mathbf{x}) </math>
 
where <math>\nabla^2</math> is the [[Laplace operator]] in <math>\mathbb{R}^3</math>, <math>f(\mathbf{x})</math> is the source term of the system, and <math>u(\mathbf{x})</math> is the solution to the equation. Because <math>\nabla^2</math> is a linear [[differential operator]], the solution <math>u(\mathbf{x})</math> to a general system of this type can be written as an integral over a distribution of source given by <math>f(\mathbf{x})</math>:
 
:<math> u(\mathbf{x}) = \int_{\mathbf{x}'} d\mathbf{x}'G(\mathbf{x},\mathbf{x'})f(\mathbf{x'})</math>
 
where the [[Green's function]] for Laplace's equation in three variables <math>G(\mathbf{x},\mathbf{x'})</math> describes the response of the system at the point <math>\mathbf{x}</math> to a point source located at <math>\mathbf{x'}</math>:
 
:<math>\nabla^2 G(\mathbf{x},\mathbf{x'}) = \delta(\mathbf{x}-\mathbf{x'})</math>
 
and the point source is given by <math>\delta(\mathbf{x}-\mathbf{x'})</math>, the [[Dirac delta function]].
 
==Motivation==
One physical system of this type is a charge distribution in [[electrostatics]]. In such a system, the electric field is expressed as the negative gradient of the [[electric potential]], and [[Gauss's law]] in differential form applies:
 
:<math>\mathbf{E} = - \mathbf{\nabla} \phi(\mathbf{x}) </math>
 
:<math>\mathbf{\nabla} \cdot \mathbf{E} = \frac{\rho(\mathbf{x})}{\varepsilon_0} </math>
 
Combining these expressions gives
 
:<math>-\mathbf{\nabla}^2 \phi(\mathbf{x}) = \frac{\rho(\mathbf{x})}{\varepsilon_0} </math>  ([[Poisson's equation]].)
 
We can find the solution <math>\phi(\mathbf{x})</math> to this equation for an arbitrary charge distribution by temporarily considering the distribution created by a point charge <math>q</math> located at <math>\mathbf{x'}</math>:
 
:<math>\rho(\mathbf{x}) = q\delta(\mathbf{x}-\mathbf{x'})</math>
 
In this case,
 
:<math>-\frac{\varepsilon_0}{q}\mathbf{\nabla}^2\phi(\mathbf{x}) = \delta(\mathbf{x}-\mathbf{x'}) </math>
 
which shows that <math>G(\mathbf{x}, \mathbf{x'})</math> for <math>-\frac{\varepsilon_0}{q}\nabla^2</math> will give the response of the system to the point charge <math>q</math>. Therefore, from the discussion above, if we can find the Green's function of this operator, we can find <math>\phi(\mathbf{x})</math> to be
 
:<math> \phi(\mathbf{x}) = \int_{\mathbf{x}'} d\mathbf{x}'G(\mathbf{x},\mathbf{x'})\rho(\mathbf{x'})</math>
 
for a general charge distribution.
 
==Mathematical exposition==
The free-space [[Green's function]] for [[Laplace's equation]] in three variables is given in terms of the reciprocal distance between two points and is known as the "[[Newton kernel]]" or "[[Newtonian potential]]".  That is to say, the solution of the equation
 
:<math> \nabla^2 G(\mathbf{x},\mathbf{x'}) = \delta(\mathbf{x}-\mathbf{x'})</math>
 
is
 
:<math> G(\mathbf{x},\mathbf{x'})=-\frac{1}{4\pi}\cdot\frac{1}{|\mathbf{x} - \mathbf{x'}|},</math>
 
where <math>\mathbf{x}=(x,y,z)</math> are the standard Cartesian coordinates in a three-dimensional space, and <math>\,\!\delta</math> is the [[Dirac delta function]].
 
The ''algebraic expression'' of the Green's function for the three-variable Laplace equation, apart from the constant term <math>\,\!-1/(4\pi)</math> expressed in [[Cartesian coordinates]] shall be referred to as
 
:<math>\frac{1}{|\mathbf{x} - \mathbf{x'}|}=[(x-x^\prime)^2+(y-y^\prime)^2+(z-z^\prime)^2]^{-\frac12}.
</math>
 
Many expansion formulas are possible, given the algebraic expression for the Green's function. One of the most well-known of these, the [[Laplace expansion (potential)|Laplace expansion]] for the three-variable Laplace equation, is given in terms of the [[Legendre_polynomials#Applications_of_Legendre_polynomials_in_physics|generating function]] for Legendre polynomials,
 
:<math>  \frac{1}{|\mathbf{x} - \mathbf{x'}|} =
\sum_{l=0}^\infty \frac{r_<^l}{r_>^{l+1}} P_l(\cos\gamma),</math>
 
which has been written in terms of spherical coordinates <math>\,\!(r,\theta,\varphi)</math>. The less than (greater than) notation means, take the primed or unprimed spherical radius depending on which is less than (greater than) the other. The <math>\,\!\gamma</math> represents the angle between the two arbitrary vectors <math>(\mathbf{x},\mathbf{x'})</math> given by
 
:<math>\cos\gamma=\cos\theta\cos\theta^\prime + \sin\theta\sin\theta^\prime\cos(\varphi-\varphi^\prime).</math>
 
The free-space circular cylindrical Green's function (see below) is given in terms of the reciprocal distance between two points. The expression is derived in Jackson's ''Classical Electrodynamics''.<ref>Jackson's ''Classical Electrodynamics'' text 3rd ed. pages 125–127</ref> Using the Green's function for the three-variable Laplace equation, one can integrate the [[Poisson equation]] in order to determine the potential function.  Green's functions can be expanded in terms of the basis elements (harmonic functions) which are determined using the separable [[coordinate systems]] for the [[linear partial differential equation]].  There are many expansions in terms of special functions for the Green's function.  In the case of a boundary put at infinity with the boundary condition setting the solution to zero at infinity, then one has an infinite-extent Green's function.  For the three-variable Laplace equation, one can for instance expand it in the rotationally invariant coordinate systems which allow [[separation of variables]].  For instance:
 
:<math>  \frac{1}{|\mathbf{x} - \mathbf{x'}|} =
\frac{1}{\pi\sqrt{RR^\prime}}
\sum_{m=-\infty}^\infty e^{im(\varphi-\varphi^\prime)} Q_{m-\frac{1}{2}}(\chi)</math>
 
where
 
:<math> \chi = \frac{R^2+{R^\prime}^2+(z-z^\prime)^2}{2RR^\prime}</math>
 
and <math>\,\!Q_{m-\frac{1}{2}}(\chi)</math> is the odd-half-integer degree [[Legendre function]] of the second kind, which is a toroidal harmonic.  Here the expansion has been written in terms of cylindrical coordinates <math>\,\!(R,\varphi,z)</math>.  See for instance [[Toroidal coordinates]]. 
 
Using one of the [[Whipple formulae]] for toroidal harmonics we can obtain an alternative form of the Green's function
 
:<math>  \frac{1}{|\mathbf{x} - \mathbf{x'}|} =
\sqrt{\frac{\pi}{2RR^\prime(\chi^2-1)^{1/2}}}
\sum_{m=-\infty}^\infty \frac{(-1)^m}{\Gamma(m+1/2)}  P_{-\frac{1}{2}}^m
\biggl(\frac{\chi}{\sqrt{\chi^2-1}}\biggr) e^{im(\varphi-\varphi^\prime)}
</math>
 
in terms for a toroidal harmonic of the first kind.
 
This formula was used in 1999 for astrophysical applications in a paper published in ''The Astrophysical Journal'', published by Howard Cohl and Joel Tohline.<ref>''The Astrophysical Journal'', 527, 86–101, published by Howard Cohl and Joel Tohline</ref>  The above-mentioned formula is also known in the engineering community.  For instance, a paper written in the ''Journal of Applied Physics'' in volume 18, 1947 pages 562-577 shows N.G. De Bruijn and C.J. Boukamp knew of the above relationship. In fact, virtually all the mathematics found in recent papers was already done by Chester Snow. This is found in his book titled ''Hypergeometric and Legendre Functions with Applications to Integral Equations of Potential Theory'', National Bureau of Standards Applied Mathematics Series 19, 1952. Look specifically on pages 228-263.  The article by Chester Snow, "Magnetic Fields of Cylindrical Coils and Annular Coils" (National Bureau of Standards, Applied Mathematical Series 38, December 30, 1953), clearly shows the relationship between the free-space Green's function in cylindrical coordinates and the Q-function expression. Likewise, see another one of Snow's pieces of work, titled "Formulas for Computing Capacitance and Inductance", National Bureau of Standards Circular 544, September 10, 1954, pp 13–41. Indeed, not much has been published recently on the subject of toroidal functions and their applications in engineering or physics. However, a number of engineering applications do exist. One application was published; the article was written by J.P. Selvaggi, S. Salon, O. Kwon, and M.V.K. Chari, "Calculating the External Magnetic Field From Permanent Magnets in Permanent-Magnet Motors-An Alternative Method," IEEE Transactions on Magnetics, Vol. 40, No. 5, September 2004. These authors have done extensive work with Legendre functions of the second kind and half-integral degree or toroidal functions of zeroth order. They have solved numerous problems which exhibit circular cylindrical symmetry employing the toroidal functions.
 
The above expressions for the Green's function for the three-variable Laplace equation are examples of single summation expressions for this Green's function. There are also single-integral expressions for this Green's function. Examples of these can be seen to exist in rotational cylindrical coordinates as an integral [[Laplace transform]] in the difference of vertical heights whose kernel is given in terms of the order-zero Bessel function of the first kind as
 
:<math>  \frac{1}{|\mathbf{x} - \mathbf{x'}|} =
\int_0^\infty J_0 \biggl( k\sqrt{R^2+{R^\prime}^2-2RR^\prime\cos(\varphi-\varphi^\prime)}\biggr)
e^{-k(z_>-z_<)}\,dk,</math>
 
where <math>\,\!z_> (z_<)</math> are the greater (lesser) variables <math>\,\!z</math> and <math>\,\!z^\prime</math>.
Similarly, the Green's function for the three-variable Laplace equation can be given as a Fourier integral [[cosine transform]] of the difference of vertical heights whose kernel is given in terms of the order-zero modified Bessel function of the second kind as
 
:<math>  \frac{1}{|\mathbf{x} - \mathbf{x'}|} =
\frac{2}{\pi} \int_0^\infty K_0 \biggl( k\sqrt{R^2+{R^\prime}^2-2RR^\prime\cos(\varphi-\varphi^\prime)}\biggr)
\cos{k(z-z^\prime)}\,dk. </math>
 
==Rotationally invariant Green's functions for the three-variable Laplace equation==
Green's function expansions exist in all of the rotationally invariant coordinate systems which are known to yield solutions to the three-variable Laplace equation through the separation of variables technique.
 
<div style="-moz-column-count:2; column-count:2;">
* [[cylindrical coordinates]]
* [[spherical coordinates]]
* [[Prolate spheroidal coordinates]]
* [[Oblate spheroidal coordinates]]
* [[Parabolic coordinates]]
* [[Toroidal coordinates]]
* [[Bispherical coordinates]]
* [[Flat-ring cyclide coordinates]]
* [[Flat-disk cyclide coordinates]]
* [[Bi-cyclide coordinates]]
* [[Cap-cyclide coordinates]]
</div>
 
== See also ==
* [[Newtonian potential]]
* [[Laplace expansion (potential)|Laplace expansion]]
 
==References==
<references/>
 
{{DEFAULTSORT:Green's Function For The Three-Variable Laplace Equation}}
[[Category:Partial differential equations]]

Latest revision as of 00:28, 13 January 2015

Friends call him Royal. Delaware is the location I love most but I require to move for my family members. She is presently a cashier but quickly she'll be on her personal. The thing I adore most flower arranging and now I have time to take on new issues.

Look into my web-site; extended car warranty (simply click the following post)