Exponential map: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Slawekb
Revert: It's either group, and saying "nonzero positive" is a pleonasm. As the example shows, the exponential map need not be surjective.
Line 1: Line 1:
{{For|minimal surfaces in algebraic geometry|Minimal model program}}
It seems cruel that amid all the psychological challenges a brings with it, money must be such a tremendous problem and source of extra anxiety. Divorces have many costs, more tangible than others. This really is a write-up concerning the real toll that the unsuccessful relationship has and recommendations on what to expect and how you can handle. <br><br>In the reallocation of property and debt to daughter or son support to fees to retirement planning, there are a multitude of economic problems that are intertwined with many divorces. Then you and your spouse share a lot of resources, from furniture to stocks to pets! You may even have an emotional attachment with a of these. Except both of you agree on how to separate each of the property up, you may need to brush-off on your bartering skills. I learned about [http://www.yelp.com/biz/the-nye-law-group-p-c-savannah-5 sexual assault defense lawyer savannah] by searching Yahoo. Some parting partners even decide to provide most of the property at once and divide the gains. [http://www.yelp.com/biz/the-nye-law-group-p-c-savannah-5 Slip And Fall Lawyer Savannah] contains extra information about the inner workings of it. <br><br>You two discussed will definitely not be while that comfortable couch and traditional cabinet may be popular, the debt. A mutual credit history deserves an excellent look while you and your lawyer( s) determine what is fair. As the debt is distributed by you, attempt to cap off whatever debt you actually have. Divorce is expensive and you need to shrink the economic burden around you can today. Again, more bartering might be in order here. Accept more debt in exchange for more resources, or vice-versa. Clicking [http://www.avvo.com/attorneys/31401-ga-robert-nye-1914974.html child molestation defense lawyer savannah] [http://browse.Deviantart.com/?q=seemingly seemingly] provides tips you could use with your sister. When you yourself have an open mind and work, you&quot;ll likely come to a good divorce settlement. It&quot;s perhaps not unusual for a divorcing couple to separate the debt right down the middle. <br><br>Surprisingly, you&quot;re planning to have some new tax problems to think about too. In case you have dependents, which person can get that tax exemption from now on? Many other tax exemptions and deductibles that you most likely took for granted as a couple will need to be re-evaluated after a divorce. <br><br>Not forgetting, child support and alimony! These issues are very variable and personable but they are going to be large ones in case you and your former partner have children together. <br><br>Men sometimes have great financial difficulties granting daughter or son support, but statistics show it is newly single mothers that have one of the most money problems. This is especially evident when a woman must suddenly afford childcare o-r is swept into a new work environment; children usually must adapt to a standard of living, just like their parents, following a divorce. <br><br>A complete family structure gets upset within a divorce and that&quot;s not just an effect on the personal associations, but on the general financial status of most concerned. And these financial issues are serious and complex and have suffering effects. <br><br>The very best guidance for you, the soon-to-be-divorced, is to remind your self it can be managed one of the most and the financial chaos is temporary effectively if you can keep your great and think practically. Dividing up property and debt is typically not a time for revenge or proving a point, while it is tempting. In the event that you try to remain rational and as calm as possible the divorce will go quicker and more amicably!.The Nye Law Group, P.C.<br>114 Barnard St #2c<br>Savannah, GA 31401<br>(912) 704-6237<br><br>If you have any questions about where by and how to use [http://berserkfranchis85.jigsy.com womans health], you can call us at our own webpage.
 
[[Image:Bulle de savon hélicoïde.PNG|thumb|180px|right|A [[helicoid]] minimal surface formed by a soap film on a helical frame]]
In [[mathematics]], a '''minimal surface''' is a surface that locally minimizes its area. This is equivalent to (see definitions below) having a [[mean curvature]] of zero.
 
The term "minimal surface" is used because these surfaces originally arose as surfaces that minimized total surface area subject to some constraint. Physical models of area-minimizing minimal surfaces can be made by dipping a wire frame into a soap solution, forming a [[soap film]], which is a minimal surface whose boundary is the wire frame. However the term is used for more general surfaces that may [[Immersed_submanifold#Immersed_submanifolds|self-intersect]] or do not have constraints. For a given constraint there may also exist several minimal surfaces with different areas (for example, see [[minimal surface of revolution]]): the standard definitions only relate to a [[local optimum]], not a [[global optimum]].
 
==Definitions==
[[File:Saddle Tower Minimal Surfaces.png|thumb|[[Saddle tower]] minimal surface. While any small change of the surface increases its area, there exist other surfaces with the same boundary with smaller total area.]]
 
Minimal surfaces can be defined in several equivalent ways in '''R'''<sup>3</sup>. The fact that they are equivalent serves to demonstrate how minimal surface theory lies at the crossroads of several mathematical disciplines, especially [[differential geometry]], [[calculus of variations]], [[potential theory]], [[complex analysis]] and [[mathematical physics]].<ref>{{cite journal
| author1 = William H. Meeks, III
| author2 = Joaquín Pérez
| year = 2011
| title = The classical theory of minimal surfaces
| journal =  Bull. Amer. Math. Soc.
| volume = 48
| pages = 325–407
| url = http://www.ugr.es/~jperez/papers/bamsJan11.pdf
}}</ref>
 
:'''Local least area definition''': A surface ''M'' ⊂ '''R'''<sup>3</sup> is minimal if and only if every point ''p'' ∈ ''M'' has a [[neighbourhood (topology)|neighbourhood]] with least-area relative to its boundary.
 
Note that this property is local: there might exist other surfaces that minimize area better with the same global boundary.  
 
:'''Variational definition''':A surface ''M'' ⊂ '''R'''<sup>3</sup> is minimal if and only if it is a [[Critical point (mathematics)|critical point]] of the area [[Functional (mathematics)|functional]] for all compactly supported [[Calculus of variations|variations]].
 
This definition makes minimal surfaces a 2-dimensional analogue to [[geodesics]].
 
:'''Soap film definition''': A surface ''M'' ⊂ '''R'''<sup>3</sup> is minimal if and only if every point ''p'' ∈ ''M'' has a neighbourhood ''D<sub>p</sub>'' which is equal to the unique idealized soap film with boundary ∂''D<sub>p</sub>''
 
By the [[Young–Laplace equation]] the [[curvature]] of a soap film is proportional to the difference in pressure between the sides: if it is zero, the membrane has zero mean curvature. Note that [[Soap bubble|bubbles]] are ''not'' minimal surfaces as per this definition: while they minimize total area subject to a constraint on internal volume, they have a positive pressure.
 
[[File:Minimal surface curvature planes-en.svg|thumb|Minimal surface curvature planes. On a minimal surface the curvature along the principal curvature planes are equal and opposite at every point. This is makes the mean curvature zero.]]
 
:'''Mean curvature definition''': A surface ''M'' ⊂ '''R'''<sup>3</sup> is minimal if and only if its [[mean curvature]] vanishes identically.
 
A direct implication of this definition is that every point on the surface is a [[saddle point]] with equal and opposite [[principal curvatures]].
 
:'''Differential equation definition''': A surface ''M'' ⊂ '''R'''<sup>3</sup> is minimal if and only if it can be locally expressed as the graph of a solution of
 
::<math>(1+u_x^2)u_{yy} - 2u_xu_yu_{xy} + (1+u_y^2)u_{xx}=0</math>
 
The partial differential equation in this definition was originally found in 1762 by [[Lagrange]],<ref name="Lagrange1760">J. L. Lagrange. Essai d'une nouvelle methode pour determiner les maxima et les minima des formules integrales indefinies. Miscellanea Taurinensia 2, 325(1):173{199, 1760.</ref> and [[Jean Baptiste Meusnier]] discovered in 1776 that it implied a vanishing mean curvature.<ref name="Meusnier1785">J. B. Meusnier. Mémoire sur la courbure des surfaces. Mém. Mathém. Phys. Acad. Sci. Paris, prés. par div. Savans, 10:477-510, 1785. Presented in 1776.</ref>
 
:'''Energy definition''': A [[Conformal map|conformal]] immersion ''X'': ''M'' → '''R'''<sup>3</sup> is minimal if and only if it is a critical point of the [[Dirichlet energy]] for all compactly supported variations, or equivalently if any point ''p'' ∈ ''M'' has a neighbourhood with least energy relative to its boundary.
 
This definition ties minimal surfaces to [[harmonic functions]] and [[potential theory]].
 
:'''Harmonic definition''': If ''X'' = (''x''<sub>1</sub>, ''x''<sub>2</sub>, ''x''<sub>3</sub>): ''M'' → '''R'''<sup>3</sup> is an [[Isometry|isometric]] [[Immersion (mathematics)|immersion]] of a [[Riemann surface]] into space ''X'' is said to be minimal if ''x<sub>i</sub>'' is a [[harmonic function]] on ''M'' for each ''i''.
 
A direct implication of this definition and the [[Harmonic_functions#Maximum_principle|maximum principle for harmonic functions]] is that there are no [[compact space|compact]] [[Complete metric space|complete]] minimal surfaces in '''R'''<sup>3</sup>.
 
:'''Gauss map definition''': A surface ''M'' ⊂ '''R'''<sup>3</sup> is minimal if and only if its [[Stereographic projection|stereographically]] projected [[Gauss map]] ''g'': ''M'' → '''C''' ∪ {∞} is [[meromorphic]] with respect to the underlying [[Riemann surface]] structure, and ''M'' is not a piece of a sphere.
 
This definition uses that the mean curvature is half of the [[Trace (linear algebra)|trace]] of the [[Shape_operator#Shape_operator|shape operator]], which is linked to the derivatives of the Gauss map. If the projected Gauss map obeys the [[Cauchy–Riemann equations]] then either the trace vanishes or every point of ''M'' is [[Umbilical point|umbilic]], in which case it is a piece of a sphere.  
 
:'''Mean curvature flow definition''': Minimal surfaces are the critical points for the [[mean curvature flow]].<ref>Tobias H. Colding, William P. Minicozzi II, Minimal surfaces and mean curvature flow. http://arxiv.org/abs/1102.1411</ref>
 
The local least area and variational definitions allow extending minimal surfaces to other [[Riemannian manifolds]] than '''R'''<sup>3</sup>.
 
==History==
Minimal surface theory originates with [[Lagrange]] who in 1762 considered the variational problem of finding the surface ''z'' = ''z''(''x'', ''y'') of least area stretched across a given closed contour. He derived the [[Euler-Lagrange equation]] for the solution
 
:<math>\frac{d}{dx}\left(\frac{z_x}{\sqrt{1+z_x^2+z_y^2}}\right ) + \frac{d}{dy}\left(\frac{z_y}{\sqrt{1+z_x^2+z_y^2}}\right )=0</math>
 
He did not succeed in finding any solution beyond the plane. In 1776 [[Jean Baptiste Marie Meusnier]] discovered that the [[helicoid]] and [[catenoid]] satisfy the equation, and that the differential expression corresponds to twice the [[mean curvature]] of the surface, concluding that surfaces with zero mean curvature are area-minimizing.  
 
By expanding Lagrange's equation to
 
:<math>(1+z_x^2)z_{yy} - 2z_xz_yz_{xy} + (1+z_y^2)z_{xx}=0</math>
 
[[Gaspard Monge]] and [[Adrien-Marie Legendre|Legendre]] in 1795 derived representation formulas for the solution surfaces. While these were successfully used by [[Heinrich Scherk]] in 1830 to derive his [[Scherk surface|surfaces]], they were generally regarded as practically unusable. [[Eugène Charles Catalan|Catalan]] proved in 1842/43 that the helicoid is the only [[ruled surface|ruled]] minimal surface.
 
Progress had been fairly slow until the middle of the century, when the [[Björling problem]] was solved using complex methods. The "first golden age" of minimal surfaces began. [[Hermann Schwarz|Schwarz]] found the solution of the [[Plateau problem]] for a regular quadrilateral in 1865 and for a general quadrilateral in 1867 (allowing the construction of his periodic [[Schwarz minimal surface|surface families]]) using complex methods. [[Weierstrass]] and [[Alfred Enneper|Enneper]] developed more useful [[Weierstrass–Enneper parameterization|representation formulas]], firmly linking minimal surfaces to [[complex analysis]] and [[harmonic functions]]. Other important contributions came from Beltrami, Bonnet, Darboux, Lie, Riemann, Serret and Weingarten.
 
Between 1925 and 1950 minimal surface theory revived, now mainly aimed at nonparametric minimal surfaces. The complete solution of the Plateau problem by [[Jesse Douglas]] and [[Tibor Radó]] was a major milestone. [[Bernstein's problem]] and [[Robert Osserman]]'s work on complete minimal surfaces of finite total curvature were also important.
 
Another revival began in the 1980s. One cause was the discovery in 1982 by Celso Costa of [[Costa's minimal surface|a surface]] that disproved the conjecture that the plane, the catenoid, and the helicoid are the only complete embedded minimal surfaces in '''R'''<sup>3</sup> of finite topological type. This not only stimulated new work on using the old parametric methods, but also demonstrated the importance of computer graphics to visualise the studied surfaces and numerical methods to solve the "period problem" (when using the [[Associate family|conjugate surface method]] to determine surface patches that can be assembled into a larger symmetric surface, certain parameters need to be numerically matched to produce an embedded surface). Another cause was the verification by H. Karcher that the [[triply periodic minimal surface]]s originally described empirically by Alan Schoen in 1970 actually exist. This has led to a rich menagerie of surface families and methods of deriving new surfaces from old, for example by adding handles or distorting them.
 
Currently the theory of minimal surfaces has diversified to minimal submanifolds in other ambient geometries, becoming relevant to mathematical physics (e.g. the [[positive mass conjecture]], the [[Riemannian Penrose inequality|Penrose conjecture]]) and three-manifold geometry (e.g. the [[Smith conjecture]], the [[Poincaré conjecture]], the [[Thurston Geometrization Conjecture]]).
 
==Examples==
[[File:Costa's Minimal Surface.png|thumb|[[Costa's Minimal Surface]]]]
 
Classical examples of minimal surfaces include:
* the [[plane (geometry)|plane]], which is a [[trivial (mathematics)|trivial]] case
* [[catenoid]]s: minimal surfaces made by rotating a [[catenary]] once around its directrix
* [[helicoid]]s: A surface swept out by a line rotating with uniform velocity around an axis perpendicular to the line and simultaneously moving along the axis with uniform velocity
 
Surfaces from the 19th century golden age include:
* [[Schwarz minimal surface]]s: [[Triply periodic minimal surface|triply periodic surfaces]] that fill '''R'''<sup>3</sup>
* [[Riemann's minimal surface]]: A posthumously described periodic surface
* the [[Enneper surface]]
* the [[Henneberg surface]]: the first non-orientable minimal surface
* [[Bour's minimal surface]]
 
Modern surfaces include:
* the [[Gyroid]]: One of Schoen's 1970 surfaces, a triply periodic surface of particular interest for liquid crystal structure
* the [[Saddle tower]] family: generalisations of [[Scherk surface|Scherk's second surface]]
* [[Costa's minimal surface]]: Famous conjecture disproof. Described 1982 by [[Celso Costa]] and later visualized by [[Jim Hoffman]]. Jim Hoffman, David Hoffman and William Meeks III then extended the definition to produce a family of surfaces with different rotational symmetries.
* the [[Chen–Gackstatter surface]] family, adding handles to the Enneper surface.
 
==Generalisations and links to other fields==
Minimal surfaces can be defined in other [[manifolds]] than '''R'''<sup>3</sup>, such as [[hyperbolic space]], higher-dimensional spaces or [[Riemannian manifolds]].
 
The definition of minimal surfaces can be generalized/extended to cover [[constant-mean-curvature surface]]s: surfaces with a constant mean curvature, which need not equal zero.
 
In [[discrete differential geometry]] discrete minimal surfaces are studied: [[simplicial complex]]es of triangles that minimize their area under small perturbations of their vertex positions.<ref>Ulrich Pinkall, Konrad Polthier, Computing Discrete Minimal Surfaces and Their Conjugates. Experimental Mathematics Volume 2, Issue 1,  pp. 15-36, 1993 http://page.mi.fu-berlin.de/polthier/articles/diri/diri_jem.pdf</ref> Such discretizations are often used to approximate minimal surfaces numerically, even if no closed form expressions are known.
 
[[Wiener process|Brownian motion]] on a minimal surface leads to probabilistic proofs of several theorems on minimal surfaces.<ref>R. Neel 2008 ([http://arxiv.org/abs/0805.0556 arXiv], [http://dx.doi.org/10.1016/j.jfa.2008.06.033 DOI resolver])</ref>
 
Minimal surfaces have become an area of intense scientific study, especially in the areas of [[molecular engineering]] and [[materials science]], due to their anticipated applications in [[self-assembly]] of complex materials.
 
Minimal surfaces play a role in [[general relativity]]. The [[apparent horizon]] (marginally outer trapped surface) is a minimal hypersurface, linking the theory of [[black holes]] to minimal surfaces and the [[Plateau problem]].<ref>Piotr T. Chruściel, Gregory J. Galloway, Daniel Pollack, Mathematical general relativity: a sampler. Bull. Amer. Math. Soc. 47 (2010), 567-638 http://arxiv.org/abs/1004.1016</ref><ref>Michael Eichmair, The Plateau problem for marginally outer trapped surfaces, J. Differential Geom. Volume 83, Number 3 (2009), 551-584. http://arxiv.org/abs/0711.4139</ref>
 
Minimal surfaces are part of the [[Generative Design|generative design]] toolbox used by modern designers. In architecture there has been much interest in [[tensile structure]]s, which are closely related to minimal surfaces. A famous example is the [[Olympiapark, Munich|Olympiapark in Münich]] by [[Frei Otto]], inspired by soap surfaces.
 
In the art world, minimal surfaces have been extensively explored in the sculpture of [[Robert Engman]] (1927– ), [[Robert Longhurst]] (1949– ), and [[Charles O. Perry]] (1929–2011), among others.
 
==See also==
* [[Bernstein's problem]]
* [[Bilinear interpolation]]
* [[Bryant surface]]
* [[Curvature]]
* [[Enneper–Weierstrass parameterization]]
* [[Plateau's problem]]
* [[Schwarz minimal surface]]
* [[Soap bubble]]
* [[Surface Evolver]]
* [[Stretched grid method]]
* [[Tensile structure]]
* [[Triply periodic minimal surface]]
* [[Weaire–Phelan structure]]
 
==References==
{{reflist}}
 
==Further reading==
* {{cite book
| author = Robert Osserman
| title = A Survey of Minimal Surfaces
| year = 1986
| publisher = Dover Publications | location = New York
| isbn = 0-486-64998-9
}} ''(Introductory text for surfaces in ''n''-dimensions, including ''n''=3; requires strong calculus abilities but no knowledge of differential geometry.)''
* {{cite web
| author = Hermann Karcher and Konrad Polthier
| url = http://page.mi.fu-berlin.de/polthier/booklet/intro.html
| title= Touching Soap Films - An introduction to minimal surfaces
| year  = 1995
| accessdate = December 27, 2006 }} ''(graphical introduction to minimal surfaces and soap films.)''
* {{cite web
| author = Various
| url = http://www.eg-models.de/models.html
| title= EG-Models
| year  = 2000-
| accessdate = September 28, 2004 }} ''(Online journal with several published models of minimal surfaces)''
* {{cite web
| author = Stewart Dickson
| url = http://www.eg-models.de/models.html
| title= Scientific Concretization; Relevance to the Visually Impaired Student
| year  = 1996
| work = VR in the School, Volume 1, Number 4
| accessdate = April 15, 2006 }} ''(Describes the discovery of Costa's surface)''
* {{cite web
| title=Grape Minimal Surface Library
| url=http://numod.ins.uni-bonn.de/grape/EXAMPLES/AMANDUS/amandus.html
| author = Martin Steffens and Christian Teitzel
| accessdate = October 27, 2008 }} ''(A collection of minimal surfaces)''
* {{cite web
| title=Scientific Graphics Project
| url=http://www.msri.org/about/sgp/jim/geom/minimal/index.html
| author = David Hoffman, [[Jim Hoffman]] et al.
| accessdate = April 24, 2006 }} ''(An collection of minimal surfaces with classical and modern examples)''
* {{cite web
| title=Periodic Minimal Surfaces Gallery
| url=http://www-klinowski.ch.cam.ac.uk/pmsgal1.html
| author = Jacek Klinowski
| accessdate = February 2, 2009 }} ''(An collection of minimal surfaces with classical and modern examples)''
* {{cite book
| author = Ulrich Dierkes, Stefan Hildebrandt, Friedrich Sauvigny
| title = Minimal Surfaces
| year = 2010
| publisher = Springer | location = Berlin Heidelberg
| isbn = 978-3-642-11697-1
}} ''(Review of minimal surface theory, in particularly boundary value problems. Contains extensive references to the literature.)''
 
== External links==
* {{springer|title=Minimal surface|id=p/m063920}}
* [http://3d-xplormath.org/j/index.html 3D-XplorMath-J Homepage &mdash; Java program and applets for interactive mathematical visualisation]
* [http://xahlee.org/surface/gallery_m.html Gallery of rotatable minimal surfaces]
* [http://www.princeton.edu/~rvdb/WebGL/minsurf.html WebGL-based Gallery of rotatable/zoomable minimal surfaces]
 
[[Category:Differential geometry]]
[[Category:Differential geometry of surfaces]]
[[Category:Minimal surfaces| ]]

Revision as of 17:04, 6 February 2014

It seems cruel that amid all the psychological challenges a brings with it, money must be such a tremendous problem and source of extra anxiety. Divorces have many costs, more tangible than others. This really is a write-up concerning the real toll that the unsuccessful relationship has and recommendations on what to expect and how you can handle.

In the reallocation of property and debt to daughter or son support to fees to retirement planning, there are a multitude of economic problems that are intertwined with many divorces. Then you and your spouse share a lot of resources, from furniture to stocks to pets! You may even have an emotional attachment with a of these. Except both of you agree on how to separate each of the property up, you may need to brush-off on your bartering skills. I learned about sexual assault defense lawyer savannah by searching Yahoo. Some parting partners even decide to provide most of the property at once and divide the gains. Slip And Fall Lawyer Savannah contains extra information about the inner workings of it.

You two discussed will definitely not be while that comfortable couch and traditional cabinet may be popular, the debt. A mutual credit history deserves an excellent look while you and your lawyer( s) determine what is fair. As the debt is distributed by you, attempt to cap off whatever debt you actually have. Divorce is expensive and you need to shrink the economic burden around you can today. Again, more bartering might be in order here. Accept more debt in exchange for more resources, or vice-versa. Clicking child molestation defense lawyer savannah seemingly provides tips you could use with your sister. When you yourself have an open mind and work, you"ll likely come to a good divorce settlement. It"s perhaps not unusual for a divorcing couple to separate the debt right down the middle.

Surprisingly, you"re planning to have some new tax problems to think about too. In case you have dependents, which person can get that tax exemption from now on? Many other tax exemptions and deductibles that you most likely took for granted as a couple will need to be re-evaluated after a divorce.

Not forgetting, child support and alimony! These issues are very variable and personable but they are going to be large ones in case you and your former partner have children together.

Men sometimes have great financial difficulties granting daughter or son support, but statistics show it is newly single mothers that have one of the most money problems. This is especially evident when a woman must suddenly afford childcare o-r is swept into a new work environment; children usually must adapt to a standard of living, just like their parents, following a divorce.

A complete family structure gets upset within a divorce and that"s not just an effect on the personal associations, but on the general financial status of most concerned. And these financial issues are serious and complex and have suffering effects.

The very best guidance for you, the soon-to-be-divorced, is to remind your self it can be managed one of the most and the financial chaos is temporary effectively if you can keep your great and think practically. Dividing up property and debt is typically not a time for revenge or proving a point, while it is tempting. In the event that you try to remain rational and as calm as possible the divorce will go quicker and more amicably!.The Nye Law Group, P.C.
114 Barnard St #2c
Savannah, GA 31401
(912) 704-6237

If you have any questions about where by and how to use womans health, you can call us at our own webpage.