Null structure: Difference between revisions

From DispersiveWiki
Jump to navigationJump to search
No edit summary
 
mNo edit summary
 
(One intermediate revision by one other user not shown)
Line 6: Line 6:


The non-linear expressions which occur in [[wave equations|non-linear wave equations]] often have null form structure. Roughly speaking, this means that travelling waves <math>exp(i (k.x +- |k|t))</math> do not self-interact, or only self-interact very weakly. When one has a null form present, the local and global well-posedness theory often improves substantially. There are several reasons for this. One is that null forms behave better under conformal compactification. Another is that null forms often have a nice representation in terms of conformal Killing vector fields. Finally, bilinear null forms enjoy much better estimates than other bilinear forms, as the interactions of parallel frequencies (which would normally be the worst case) is now zero.
The non-linear expressions which occur in [[wave equations|non-linear wave equations]] often have null form structure. Roughly speaking, this means that travelling waves <math>exp(i (k.x +- |k|t))</math> do not self-interact, or only self-interact very weakly. When one has a null form present, the local and global well-posedness theory often improves substantially. There are several reasons for this. One is that null forms behave better under conformal compactification. Another is that null forms often have a nice representation in terms of conformal Killing vector fields. Finally, bilinear null forms enjoy much better estimates than other bilinear forms, as the interactions of parallel frequencies (which would normally be the worst case) is now zero.
The standard bilinear null forms are
<center><math>Q_0(\phi,\psi) := \partial^\alpha \phi \partial_\alpha \psi = - \phi_t \psi_t + \nabla \phi \cdot \nabla \psi</math></center>
<center><math>Q_{0i}(\phi,\psi) := \phi_t \psi_i - \phi_i \psi_t</math></center>
<center><math>Q_{ij}(\phi,\psi) := \phi_i \psi_j - \phi_j \psi_i.</math></center>
The only bilinear forms in first derivatives of scalar solutions to the wave equation which have null structure are linear combinations of the above forms.  However, more null forms are possible if one has trilinear or higher nonlinearities, if higher derivatives of solutions are permitted, or if one is considering vector or tensor equations (such as [[Maxwell equations|Maxwell]] or [[Dirac equations|Dirac]] type equations) which obey additional compatibility conditions.


The presence of null structure seems to be related to the covariance of the underlying equation or Lagrangian, although the exact connection is not well understood.
The presence of null structure seems to be related to the covariance of the underlying equation or Lagrangian, although the exact connection is not well understood.
Line 12: Line 19:


* [[Dirac-Klein-Gordon equation]]
* [[Dirac-Klein-Gordon equation]]
* [[Einstein equation]]
* [[Maxwell-Dirac equation]]
* [[Maxwell-Dirac equation]]
* [[Maxwell-Klein-Gordon system]]
* [[Maxwell-Klein-Gordon system]]

Latest revision as of 17:19, 2 June 2010

A semilinear equation is said to have null structure if the resonant component of the nonlinearity vanishes; in other words, plane waves obeying the dispersion relation cannot interact via the nonlinearity to generate forcing terms which also obey the dispersion relation. This generally requires the nonlinearity to be a linear combination of a certain special set of nonlinear forms, known as null forms. The term is primarily used for non-linear wave equations, but also applies to a number of other nonlinear dispersive equations.

Quasilinear equations can also exhibit null structure, although the precise definition of this concept in this case is still not fully understood. For instance, the Einstein equations do not exhibit classical null structure, because the (resonant) self-interaction of plane waves is non-trivial, but nevertheless enjoys a kind of "nilpotent" null structure which can achieve a similar effect as classical null structure.

Null forms in wave equations

The non-linear expressions which occur in non-linear wave equations often have null form structure. Roughly speaking, this means that travelling waves do not self-interact, or only self-interact very weakly. When one has a null form present, the local and global well-posedness theory often improves substantially. There are several reasons for this. One is that null forms behave better under conformal compactification. Another is that null forms often have a nice representation in terms of conformal Killing vector fields. Finally, bilinear null forms enjoy much better estimates than other bilinear forms, as the interactions of parallel frequencies (which would normally be the worst case) is now zero.

The standard bilinear null forms are

The only bilinear forms in first derivatives of scalar solutions to the wave equation which have null structure are linear combinations of the above forms. However, more null forms are possible if one has trilinear or higher nonlinearities, if higher derivatives of solutions are permitted, or if one is considering vector or tensor equations (such as Maxwell or Dirac type equations) which obey additional compatibility conditions.

The presence of null structure seems to be related to the covariance of the underlying equation or Lagrangian, although the exact connection is not well understood.

Equations with null structure