Diferencia entre revisiones de «Green's vector identity»

De luz-wiki
Sin resumen de edición
Sin resumen de edición
Línea 10: Línea 10:


Although the second Green’s identity is always presented in vector analysis, only a scalar version is found on textbooks. Even in the specialized literature, a vector version is not easily found. In vector diffraction theory, two versions of Green’s second identity are introduced. One variant invokes the divergence of a cross product  
Although the second Green’s identity is always presented in vector analysis, only a scalar version is found on textbooks. Even in the specialized literature, a vector version is not easily found. In vector diffraction theory, two versions of Green’s second identity are introduced. One variant invokes the divergence of a cross product  
<ref>love1901 A. E. H. Love. The Integration of the Equations of Propagation of Electric Waves. ''Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character'', 197:pp. 1–45, 1901.</ref> <ref>stratton1939 J. A. Stratton and L. J. Chu. Diffraction Theory of Electromagnetic Waves. ''Phys. Rev.'', 56(1):99–107, Jul 1939.</ref> <ref>bruce2010 N. C. Bruce. Double scatter vector-wave Kirchhoff scattering from perfectly conducting surfaces with infinite slopes. ''Journal of Optics'', 12(8):085701, 2010.</ref>
<ref>love1901 A. E. H. Love. The Integration of the Equations of Propagation of Electric Waves. ''Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character'', 197:pp. 1–45, 1901.</ref><ref>stratton1939 J. A. Stratton and L. J. Chu. Diffraction Theory of Electromagnetic Waves. ''Phys. Rev.'', 56(1):99–107, Jul 1939.</ref><ref>bruce2010 N. C. Bruce. Double scatter vector-wave Kirchhoff scattering from perfectly conducting surfaces with infinite slopes. ''Journal of Optics'', 12(8):085701, 2010.</ref>
and states a relationship in terms of the curl-curl of the field <math>\mathbf{P}\cdot\left(\nabla\times\nabla\times\mathbf{Q}\right)-\mathbf{Q}\cdot\left(\nabla\times\nabla\times\mathbf{P}\right)=\nabla\cdot\left(\mathbf{Q}\times\nabla\times\mathbf{P}-\mathbf{P}\times\nabla\times\mathbf{Q}\right)</math>. This equation can be written in terms of the Laplacians using the well known identity <math>\nabla\times\nabla\times\mathbf{Q}=\nabla\left(\nabla\cdot\mathbf{Q}\right)-\nabla^{2}\mathbf{Q}</math>,
and states a relationship in terms of the curl-curl of the field <math>\mathbf{P}\cdot\left(\nabla\times\nabla\times\mathbf{Q}\right)-\mathbf{Q}\cdot\left(\nabla\times\nabla\times\mathbf{P}\right)=\nabla\cdot\left(\mathbf{Q}\times\nabla\times\mathbf{P}-\mathbf{P}\times\nabla\times\mathbf{Q}\right)</math>. This equation can be written in terms of the Laplacians using the well known identity <math>\nabla\times\nabla\times\mathbf{Q}=\nabla\left(\nabla\cdot\mathbf{Q}\right)-\nabla^{2}\mathbf{Q}</math>,


Línea 16: Línea 16:


However, the terms <math>\mathbf{Q}\cdot\left[\nabla\left(\nabla\cdot\mathbf{P}\right)\right]-\mathbf{P}\cdot\left[\nabla\left(\nabla\cdot\mathbf{Q}\right)\right]</math>, could not be readily written in terms of a divergence. The other approach introduces bi-vectors, this formulation requires a dyadic Green function <ref>franz1950 W Franz. On the Theory of Diffraction. ''Proceedings of the Physical Society. Section A'', 63(9):925, 1950.</ref><ref>tai1972 Chen-To Tai. Kirchhoff theory: Scalar, vector, or dyadic? ''Antennas and Propagation, IEEE Transactions on'', 20(1):114–115, jan 1972.</ref>
However, the terms <math>\mathbf{Q}\cdot\left[\nabla\left(\nabla\cdot\mathbf{P}\right)\right]-\mathbf{P}\cdot\left[\nabla\left(\nabla\cdot\mathbf{Q}\right)\right]</math>, could not be readily written in terms of a divergence. The other approach introduces bi-vectors, this formulation requires a dyadic Green function <ref>franz1950 W Franz. On the Theory of Diffraction. ''Proceedings of the Physical Society. Section A'', 63(9):925, 1950.</ref><ref>tai1972 Chen-To Tai. Kirchhoff theory: Scalar, vector, or dyadic? ''Antennas and Propagation, IEEE Transactions on'', 20(1):114–115, jan 1972.</ref>
. It is the purpose of this communication to establish an equivalent Green’s identity for vector fields involving the Lapacians of vector functions written out in terms of the divergence operator.
.


= Divergence of two vector fields =
= Divergence of two vector fields =

Revisión del 16:30 19 ago 2012

The second derivative of two vector functions is related to the divergence of the vector functions with first order operators. Namely, .

Introduction

Green’s second identity establishes a relationship between second and (the divergence of) first order derivatives of two scalar functions

where and are two arbitrary scalar fields. This identity is of great importance in physics because continuity equations can thus be established for scalar fields such as mass or energy [1].

Although the second Green’s identity is always presented in vector analysis, only a scalar version is found on textbooks. Even in the specialized literature, a vector version is not easily found. In vector diffraction theory, two versions of Green’s second identity are introduced. One variant invokes the divergence of a cross product [2][3][4] and states a relationship in terms of the curl-curl of the field . This equation can be written in terms of the Laplacians using the well known identity ,

However, the terms , could not be readily written in terms of a divergence. The other approach introduces bi-vectors, this formulation requires a dyadic Green function [5][6] .

Divergence of two vector fields

Consider that the scalar fields in ([eq:green]) are the Cartesian components of vector fields, i.e. and . Each component obeys an equation of the form of ([eq:green]); Summing up these equations, we obtain

The LHS according to the definition of the dot product may be written in vector form as

The RHS is a bit more awkward to express in terms of vector operators. Due to the distributivity of the divergence operator over addition, the sum of the divergence is equal to the divergence of the sum, i.e. . Recall the vector identity for the gradient of a dot product

which, written out in vector components is given by This result is similar to what we wish to evince in vector terms ’except’ for the minus sign. Since the differential operators in each term act either over one vector (say ’s) or the other (’s) , the contribution to each term must be

These results are rigorously proven to be correct in appendix [sec:Derivation-by-components] through evaluation of the vector components. Therefore, the RHS of eq. ([eq:comp vec green]) can be written in vector form as

Putting together these two results, a theorem for vector fields analogous to Green’s theorem for scalar fields is obtained

Reassuringly, from the vector relationship ([eq:vec green]), we can go back to the scalar case as shown in appendix [sec:scalar-case]. The curl of a cross product can be written as ; Green’s vector identity can then be rewritten as

P2Q-Q2P=
[P(Q)-Q(P)-(PQ)+PQ-QP].

Since the divergence of a curl is zero, the third term vanishes and the identity can be written as

This result should prove useful when the divergence and curl of the fields can be established in terms of other quantities, as is the case in electromagnetism. There are several particular cases of interest of this expression: If the fields satisfy Helmholtz equation, the LHS of eq:vec green 2 is zero. Thus, a conserved quantity with zero divergence is obtained; If the fields are curl free so that they can be written in terms of the gradients of scalar functions and , expression eq:vec green 2 becomes

Another identity that may prove useful is obtained from the divergence of ([eq: grad prod]) invoking the Green’s vector identity ([eq:vec green]) derived above, the Laplacian of the dot product can be expressed in terms of the Laplacians of the factors

If the substitution of the vector identity ([eq:vec green]) is performed eliminating the terms , the Laplacian of the dot product is

Conclusions

Green’s second identity relating the Laplacians with the divergence has been derived for vector fields. No use of bi-vectors or dyadics has been made as in some previous approaches. In diffraction theory, the vector identity was stated before in terms of the curl. However, this earlier formulation had the drawback that the Laplacian could not be invoked without involving extra terms. As a corollary, the awkward terms in eq:vec difrac ident can now be written in terms of a divergence by comparison with eq:vec green 2

This result can be verified by expanding the divergence of a scalar times a vector on the RHS.

The condition imposed by Helmholtz equation can be readily incorporated in the present formulation of Green’s second identity. This result is particularly useful if the vector fields satisfy the wave equation.

[7]

Derivation by components

In order to evaluate consider the first term in three dimensional Cartesian components that may be written as

The curl in the second term is The cross product is The second term is then

that expands to

Evaluate in the x direction

canceling out terms

Analogous results are obtained in the other directions so that

that may be written out in vector form as However, the terms can be rearranged as

and thus An equivalent procedure for gives

[sec:scalar-case]scalar case

If we take one component vectors, for example, , the vector relationship ([eq:vec green]) becomes Since ,

and . Therefore we recover Green’s second identity for the functions .


Colegrave88 R. K. Colegrave and M. A. Mannan. Invariants for the time-dependent harmonic oscillator. J. Math. Phys., 29(7):1580–1587, 1988.

Fernandezguasti02 M. Fernández-Guasti and A. Gil-Villegas. Orthogonal functions invariant for the time dependent harmonic oscillator. Physics Letters A, 292:243–245., 2002.

Fernandezguasti03a M. Fernández-Guasti and H. Moya-Cessa. Amplitude and phase representation of quantum invariants for the time dependent harmonic oscillator. Physical Review A, 67(063803):063803–1–5, 2003.

Pedrosa04 I. A. Pedrosa and I. Guedes. Quantum states of a generalized time-dependent inverted harmonic oscillator. Int. J. of Mod. Phys. B, 18(9):1379–1385, 2004.

Lewis67 H. R. Lewis. Classical and quantum systems with time-dependent harmonic-oscillator-type Hamiltonians. Phys. Rev. Lett., 18(13):510–512, 1967.

love1901 A. E. H. Love. The Integration of the Equations of Propagation of Electric Waves. Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character, 197:pp. 1–45, 1901.

stratton1939 J. A. Stratton and L. J. Chu. Diffraction Theory of Electromagnetic Waves. Phys. Rev., 56(1):99–107, Jul 1939.

bruce2010 N. C. Bruce. Double scatter vector-wave Kirchhoff scattering from perfectly conducting surfaces with infinite slopes. Journal of Optics, 12(8):085701, 2010.

franz1950 W Franz. On the Theory of Diffraction. Proceedings of the Physical Society. Section A, 63(9):925, 1950.

tai1972 Chen-To Tai. Kirchhoff theory: Scalar, vector, or dyadic? Antennas and Propagation, IEEE Transactions on, 20(1):114–115, jan 1972.

Arfken70 G. Arfken. Mathematical Methods for Physicists. Academic Press, NY, 1970.

  1. Fernandezguasti04a M. Fernández-Guasti. Complementary fields conservation equation derived from the scalar wave equation. J. Phys. A: Math. Gen., 37:4107–4121, 2004.
  2. love1901 A. E. H. Love. The Integration of the Equations of Propagation of Electric Waves. Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character, 197:pp. 1–45, 1901.
  3. stratton1939 J. A. Stratton and L. J. Chu. Diffraction Theory of Electromagnetic Waves. Phys. Rev., 56(1):99–107, Jul 1939.
  4. bruce2010 N. C. Bruce. Double scatter vector-wave Kirchhoff scattering from perfectly conducting surfaces with infinite slopes. Journal of Optics, 12(8):085701, 2010.
  5. franz1950 W Franz. On the Theory of Diffraction. Proceedings of the Physical Society. Section A, 63(9):925, 1950.
  6. tai1972 Chen-To Tai. Kirchhoff theory: Scalar, vector, or dyadic? Antennas and Propagation, IEEE Transactions on, 20(1):114–115, jan 1972.
  7. I am grateful to A. Camacho Quintana and the referees for useful suggestions for improving this manuscript.