|
|
Line 1: |
Line 1: |
| {{for|other uses of "tube" in mathematics|tube (mathematics)}}
| | I'm Bud and I live with my husband and our 2 children in Toronto, in the ON south area. My hobbies are Fantasy Football, Roller skating and Knapping.<br><br>My web-site - [http://tinyurl.com/ma8zrdo nike free run] |
| In [[mathematics]], a '''tube domain''' is a generalization of the notion of a vertical strip (or [[half-plane]]) in the [[complex plane]] to [[several complex variables]]. A strip can be thought of as the collection of complex numbers whose [[real part]] lie in a given subset of the real line and whose imaginary part is unconstrained; likewise, a tube is the set of complex vectors whose real part is in some given collection of real vectors, and whose imaginary part is unconstrained.
| |
| | |
| Tube domains are [[domain of a function|domains]] of the [[Laplace transform]] of a function of several [[real number|real]] variables (see [[multidimensional Laplace transform]]). [[Hardy space]]s on tubes can be defined in a manner in which a version of the [[Paley–Wiener theorem]] from one variable continues to hold, and characterizes the elements of Hardy spaces as the Laplace transforms of functions with appropriate integrability properties. Tubes over [[convex set]]s are [[domain of holomorphy|domains of holomorphy]]. The Hardy spaces on tubes over convex [[Monge cone|cone]]s have an especially rich structure, so that precise results are known concerning the boundary values of ''H''<sup>''p''</sup> functions. In mathematical physics, the [[future tube]] is the tube domain associated to the interior of the past [[null cone]] in [[Minkowski space]], and has applications in [[relativity theory]] and [[quantum gravity]].<ref>{{harvnb|Gibbons|2000}}</ref> Certain tubes over cones support a [[Bergman metric]] in terms of which they become [[bounded symmetric domain]]s. One of these is the [[Siegel half-space]] which is fundamental in [[arithmetic]].
| |
| | |
| ==Definition==
| |
| Let '''R'''<sup>''n''</sup> denote [[real coordinate space]] of dimension ''n'' and '''C'''<sup>''n''</sup> denote [[complex number|complex]] coordinate space. Then any element of '''C'''<sup>''n''</sup> can be decomposed into real and imaginary parts:
| |
| :<math>a=(z_1,\dots,z_n) = (x_1+iy_1, \dots, x_n+iy_n) = (x_1,\dots,x_n) + i(y_1,\dots,y_n)=x+iy.</math>
| |
| Let ''A'' be an [[open set|open]] subset of '''R'''<sup>''n''</sup>. The '''tube over ''A''''', denoted ''T''<sub>''A''</sub>, is the subset of '''C'''<sup>''n''</sup> consisting of all elements whose real parts lie in ''A'':<ref>{{harvnb|Hörmander|1990}}. Some conventions instead define a tube to be a domain such that the imaginary part lies in ''A''; see {{harvnb|Stein|Weiss|1971}}.</ref>
| |
| :<math>T_A = \{ z=x+iy\in\mathbb{C}^n\mid x\in A\}.</math>
| |
| | |
| ==Tubes as domains of holomorphy==
| |
| Suppose that ''A'' is a connected open set. Then any complex-valued function that is [[holomorphic]] in a tube ''T''<sub>''A''</sub> can be extended uniquely to a holomorphic function on the [[convex hull]] of the tube {{nowrap|ch ''T''<sub>''A''</sub>}},<ref>{{harvnb|Hörmander|1990}}</ref> which is also a tube, and in fact
| |
| | |
| :<math>\operatorname{ch} \, T_A = T_{\operatorname{ch}\, A}.</math>
| |
| | |
| Since any convex open set is a [[domain of holomorphy]], a convex tube is also a domain of holomorphy. So the [[holomorphic envelope]] of any tube is equal to its convex hull.<ref>{{harvnb|Chirka|2001}}</ref>
| |
| | |
| ==Hardy spaces==
| |
| Let ''A'' be an [[open set]] in '''R'''<sup>''n''</sup>. The [[Hardy space]] ''H''<sup> ''p''</sup>(''T''<sub>''A''</sub>) is the set of all [[holomorphic function]]s ''F'' in ''T''<sub>''A''</sub> such that
| |
| | |
| :<math>\int_{\mathbb{R}^n} |F(x+iy)|^p\, dy < \infty</math>
| |
| | |
| for all ''x'' in ''A''.
| |
| | |
| In the special case of ''p'' = 2, functions in ''H''<sup>2</sup>(''T''<sub>''A''</sub>) can be characterized as follows.<ref>{{harvnb|Stein|Weiss|1971}}</ref> Let ''ƒ'' be a complex-valued function on '''R'''<sup>''n''</sub> satisfying
| |
| :<math>\sup_{x\in A}\int_{\mathbb{R}^n}|f(t)|^2e^{-4\pi x\cdot t}\,dt < \infty.</math>
| |
| The Fourier–Laplace transform of ''ƒ'' is defined by
| |
| :<math>F(x+iy) = \int_{\mathbb{R}^n}e^{2\pi z\cdot t}f(t)\,dt.</math>
| |
| Then ''F'' is well-defined and belongs to ''H''<sup>2</sup>(''T''<sub>''A''</sub>). Conversely, every element of ''H''<sup>2</sup>(''T''<sub>''A''</sub>) has this form.
| |
| | |
| A corollary of this characterization is that ''H''<sup>2</sup>(''T''<sub>''A''</sub>) contains a nonzero function if and only if ''A'' contains no straight line.
| |
| | |
| ===Tubes over cones===
| |
| Let ''A'' be an open convex cone in '''R'''<sup>''n''</sup>. This means that ''A'' is an [[open set|open]] [[convex set]] such that, whenever ''x'' lies in ''A'', so does the entire ray from the origin to ''x''. Symbolically,
| |
| :<math>x\in A \implies tx\in A\ \ \ \text{for all}\ t>0.</math>
| |
| If ''A'' is a cone, then the elements of ''H''<sub>2</sub>(''T''<sub>''A''</sub>) have ''L''<sup>2</sup> boundary limits in the sense that<ref>{{harvnb|Stein|Weiss|1971}}</ref>
| |
| :<math>\lim_{y\to 0} F(x+iy)</math> | |
| exists in ''L''<sup>2</sup>(''B''). There is an analogous result for ''H''<sup>''p''</sub>(''T''<sub>''A''</sub>), but it requires additional regularity of the cone (specifically, the [[dual cone]] ''A''* needs to have nonempty interior).
| |
| | |
| ==See also==
| |
| * [[Reinhardt domain]]
| |
| *[[Siegel domain]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| * {{citation|last=Gibbons|first=G.W.|authorlink=Gary Gibbons|title=Holography and the future tube|journal=Classical and quantum gravity|year=2000|volume=17|pages=1071–1079}}.
| |
| * {{citation|last=Lars|first=Hörmander|authorlink=Lars Hörmander|title=Introduction to complex analysis in several variables|publisher=North-Holland|year=1990|location=New York|isbn=0-444-88446-7}}.
| |
| * {{citation|last1=Stein|first1=Elias|authorlink1=Elias Stein|first2=Guido|last2=Weiss|authorlink2=Guido Weiss|title=Introduction to Fourier Analysis on Euclidean Spaces|publisher=Princeton University Press|year=1971|isbn=978-0-691-08078-9|location=Princeton, N.J.}}.
| |
| * {{springer|Tube domain|id=l/l057540|first=E.M.|last=Chirka}}
| |
| | |
| [[Category:Fourier analysis]]
| |
| [[Category:Harmonic analysis]]
| |
| [[Category:Several complex variables]]
| |
I'm Bud and I live with my husband and our 2 children in Toronto, in the ON south area. My hobbies are Fantasy Football, Roller skating and Knapping.
My web-site - nike free run