ジョンの方程式のソースを表示

[[数学]]における'''ジョンの方程式'''（ジョンのほうていしき、{{Lang-en-short|John's equation}}）は、函数の[[X線変換]]によって満たされるある[[超双曲型方程式]]である。{{仮リンク|フリッツ・ジョン|en|Fritz John}}の名にちなむ。

コンパクトな台を持つ函数 <math>f\colon\mathbb{R}^n \rightarrow \mathbb{R}</math> が与えられたとき、そのX線変換は <math>\mathbb{R}^n</math> 内のすべての直線についての積分となる。各線上の点のペア <math>x,y \in \mathbb{R}^n</math>, <math>x \ne y </math> によって直線をパラメータ化し、次のX線変換で ''<math>u</math>'' を定義する：

:<math> u(x,y) = \int\limits_{-\infty}^{\infty} f( x + t(y-x) ) dt. </math>

このような函数は、次のジョンの方程式によって特徴付けられる：

:<math>  \frac{\partial^2u}{\partial x_i \partial y_j} - \frac{\partial^2u}{\partial y_i \partial x_j}=0. </math>

この式は三次元については{{仮リンク|フリッツ・ジョン|en|Fritz John}}、高次元については [[:hu:Kurusa Árpád|Kurusa]] によって示された。


三次元のX線[[コンピュータ断層撮影]]において、ジョンの方程式は失われたデータを埋めるために用いられる。例えば、螺旋のような曲線を横切る点源によってそのようなデータは得られる。

より一般に、'''超双曲型偏微分方程式'''（[[リヒャルト・クーラント]]による語）は、次の形式の二階偏微分方程式である。

:<math> \sum\limits_{i,j=1}^{2n} a_{ij}\frac{\partial^2 u}{\partial x_i \partial x_j} +
 \sum\limits_{i=1}^{2n} b_i\frac{\partial u}{\partial x_i} + cu =0</math>

ここで <math>n \ge 2</math> であり、[[二次形式]]

:<math> \sum\limits_{i,j=1}^{2n} a_{ij} \xi_i \xi_j</math>

は変数の線型変換によって次の形式に書き下される。

:<math> \sum\limits_{i=1}^{n}  \xi_i^2 - \sum\limits_{i=n+1}^{2n} \xi_i^2. </math>

非特性的な超曲面の解の値を任意に特定することは不可能である。しかしジョンの論文では、''u'' の任意の特殊化が解に拡張されるような多様体の例が与えられている。

== 参考文献 ==

*{{Citation | last1=John | first1=Fritz | url=http://projecteuclid.org/euclid.dmj/1077490637|title=The ultrahyperbolic differential equation with four independent variables| doi=10.1215/S0012-7094-38-00423-5 | mr=1546052 | zbl = 0019.02404 | year=1938 | journal=[[:en:Duke Mathematical Journal|Duke Mathematical Journal]] | issn=0012-7094 | volume=4 | issue=2 | pages=300–322}}
* Á. Kurusa, A characterization of the Radon transform's range by a system of PDEs, J. Math. Anal. Appl., 161(1991), 218--226. {{doi|10.1016/0022-247X(91)90371-6}}
* S K Patch,  Consistency conditions upon 3D CT data and the wave equation, Phys. Med. Biol. 47 No 15 (7 August 2002) 2637-2650 {{doi|10.1088/0031-9155/47/15/306}}

{{DEFAULTSORT:しよんのほうていしき}}
[[Category:偏微分方程式]]
[[Category:数学に関する記事]]