User josh burby - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T12:56:20Z http://mathoverflow.net/feeds/user/27121 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/111494/non-zero-divergence-free-vector-fields-on-2-torus non-zero, divergence-free vector fields on 2-torus Josh Burby 2012-11-04T23:22:53Z 2012-11-05T07:29:34Z <p>Suppose $X$ is a nowhere vanishing vector field on the 2-torus that preserves the standard area element $\mu=d\theta\wedge d\zeta$. By area preservation, $$i_X\mu=dh+ad\theta+bd\zeta,$$ for some smooth function $h$ and constants $a,b\in\mathbb{R}$. Is there a diffeomorphism $\phi$ of the 2-torus such that $\phi^*X$ is a (re-scaling of) the constant vector field $Y=b\frac{\partial}{\partial\theta}-a\frac{\partial}{\partial\zeta}$?</p> <p>Based on the discussion in this old paper by T. Saito</p> <p><a href="http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&amp;id=pdf_1&amp;handle=euclid.jmsj/1261734857" rel="nofollow">http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&amp;id=pdf_1&amp;handle=euclid.jmsj/1261734857</a></p> <p>it seems like the answer definitely could be yes, but I'm having a hard time proving it myself or finding a reference that addresses the question. </p> <p><strong>Progress so far</strong></p> <p>-When one of the constants, say $b$, is zero (note that both cannot be zero) the answer is yes. In this case one such $\phi$ is $\phi^{-1}(\theta,\zeta)=(\theta+\frac{1}{a}h(\theta,\zeta),\zeta)$.</p> <p>-When the maximum value of $|\partial h/\partial\theta|^2+|\partial h/\partial\zeta|^2$ is less than $a^2+b^2$, then you can use Moser's trick (nice discussion of it here <a href="http://concretenonsense.wordpress.com/2009/09/03/symplectic-geometry-ii/" rel="nofollow">http://concretenonsense.wordpress.com/2009/09/03/symplectic-geometry-ii/</a>) to prove the answer is yes. In particular, you can show that $dh+ad\theta+bd\zeta$ is strongly isotopic to $a d\theta+bd\zeta$.</p> http://mathoverflow.net/questions/109237/non-vanishing-magnetic-helicty-density non-vanishing magnetic helicty density Josh Burby 2012-10-09T15:44:06Z 2012-10-25T23:57:23Z <p>Suppose you are given a nowhere-vanishing exact 2-form $B=dA$ on an open, connected domain $D\subset\mathbb{R}^3$. I'd like to think of $B$ as a magnetic field.</p> <p>Consider the product $H(A)=A\wedge dA$. At least in the plasma physics literature, $H(A)$ is known as the <a href="http://en.wikipedia.org/wiki/Magnetic_helicity" rel="nofollow">magnetic helicity</a> density. </p> <p>How can one determine if there is a closed one-form $\mathbf{s}$ such that $H(A+\mathbf{s})$ is non-zero at all points in $D$? </p> <p>The reason I am interested in this question is that if you can find such an $\mathbf{s}$, then $A+\mathbf{s}$ will define a contact structure on $D$ whose <a href="http://en.wikipedia.org/wiki/Reeb_vector_field" rel="nofollow">Reeb vector field</a> gives the magnetic field lines. Thus, the question is closely related to the Hamiltonian structure of magnetic field line dynamics. </p> <p>I'll elaborate on this last point a bit. If there is a vector potential $A$ such that $A∧dA$ is non-zero everywhere, then the distribution $ξ=\text{ker}(A)$ is nowhere integrable, meaning $ξ$ defines a contact structure on $D$ with a global contact 1-form $A$. The Reeb vector field of this contact structure relative to the contact form $A$ is the unique vector field $X$ that satisfies $A(X)=1$ and $i_XdA=0$. Using the standard volume form $μ_o$, $dA$ can be expressed as $i_B\mu_o$ for a unique divergence-free vector field $\mathbf{B}$ (I'm having trouble typing $\mathbf{B}$ as a subscript). Thus, the second condition on the Reeb vector field can be expressed as $\mathbf{B}×X=0$, which implies the integral curves of X coincide with the magnetic field lines.</p> <p>More generally, suppose $M$ is an orientable odd-dimensional manifold equipped with an exact 2-form $\omega$ of maximal rank. Also assume that the characteristic line bundle associated to $\omega$ admits a non-vanishing section $b:M\rightarrow \text{ker}(\omega)$. What is the obstruction to the existence of a 1-form $\vartheta$ with $d\vartheta=\omega$ and $\vartheta(b)>0$?</p> <p>some observations/comments:</p> <p>1) If $A(\mathbf{B})$ is bounded above and below on $D$, then a sufficient condition for there to be an $\mathbf{s}$ that gives a nowhere-vanishing helicity density is the existence of a closed one-form $\alpha$ with $\alpha(\mathbf{B})$ nowhere vanishing. In that case, $\mathbf{s}=\lambda \alpha$, where $\lambda$ is some large real number (with appropriate sign), would work.</p> <p>If there is such an $\alpha$, then, being closed, it defines a foliation whose leaves are transverse to the divergence-free field $\mathbf{B}$. I suspect the question that asks whether a given non-vanishing divergence-free vector field admits a transverse co-dimension one foliation has been studied before, but I am not familiar with any work of this type.</p> <p><strong>An example where $D=$3-ball and helicity density must have a zero:</strong></p> <p>Let $D$ consist of those points in $\mathbb{R}^3$ with $x^2+y^2 &lt; a^2$ for a real number $a>1$. Note that all closed 1-forms are exact in this case. Let $f:[0,\infty)\rightarrow\mathbb{R}$ be a smooth, non-decreasing function such that $f(r)=0$ for $r&lt;1/10$ and $f(r)=1$ for $r\ge1/2$. Let $g:\mathbb{R}\rightarrow \mathbb{R}$ be the polynomial $g(r)=1-3r+2r^2$. Define the 2-form $B$ using the divergence free vector field $\mathbf{B}(x,y,z)=f(\sqrt{x^2+y^2})e_\phi(x,y,z)+g(\sqrt{x^2+y^2})e_z$. Here $e_\phi$ is the azimuthal unit vector and $e_z$ is the $z$-directed unit vector. It is easy to verify that $B$, thus defined, is an exact 2-form that is nowhere vanishing. </p> <p>Because $g(1)=0$ and $f(1)=1$, the circle, $C$, in the $z=0$-plane, $x^2+y^2=1$, is an integral curve for the vector field $\mathbf{B}$. I will use this fact to prove that the helicity density must have a zero for any choice of gauge. Let $A$ satisfy $dA=B$ and suppose $A\wedge B$ is non-zero at all points in $D$. Note that $A\wedge B=A(\mathbf{B})\mu_o$, meaning $h=A(\mathbf{B})$ is a nowhere vanishing function. Without loss of generality, I will assume $h>0$. Thus, the line integral $I=\oint_C h\frac{dl}{|\mathbf{B}|}$ satisfies $I>0$. But, by Stoke's theorem, $I=2\pi\int_0^1g(r)rdr=0$, as is readily verified by directly evaluating the integral. Thus, there can be no such $A$.</p> <p><strong>An example where $D=T^2\times (0,2\pi)$ and helicity density must have a zero:</strong></p> <p>Set $D=S^1\times S^1\times(0,2\pi)$ and let $(\theta,\zeta,r)$ be the obvious coordinate system. Set $B=f(r) dr\wedge d\theta+g(r) dr\wedge d\zeta$ where $$f(r)=\cos(2r),$$ and $$g(r)=\sin(r).$$ Clearly, $A=\frac{1}{2}\sin(2r)d\theta-\cos(r)d\zeta$ satisfies $B=dA$ and $B$ is nowhere vanishing. A quick calculation shows that $\int_D A\wedge B=0$. </p> <p>Now suppose that $\mathbf{s}$ is an arbitrary closed 1-form. Either by using Stoke's theorem or by direct calculation, the fact that the total toroidal and poloidal fluxes, $2\pi\int_0^{2\pi}f(r)dr$ and $2\pi\int_0^{2\pi}g(r)dr$, are zero implies that $\int_D(A+\mathbf{s})\wedge B=0$. Thus, the helicity density must always have a zero. </p> http://mathoverflow.net/questions/110606/curl-operators-parameterized-by-the-set-of-riemannien-metrics-on-a-3-manifold Curl operators parameterized by the set of Riemannien metrics on a 3-manifold Josh Burby 2012-10-25T01:20:08Z 2012-10-25T17:27:18Z <p>Let $M$ be an orientable 3-manifold. On $M$, fix a vector field $X$. The curl of $X$ relative to the Riemannien metric $g$ and the volume form $\mu$, $\nabla_{g,\mu}\times X$, is defined by the formula $$di_X g=i_{\nabla_{g,\mu}\times X}\mu.$$</p> <p>When is it possible to choose a metric and volume form such that $$\nabla_{g,\mu}\times X=\lambda X,$$ where $\lambda$ is a nowhere vanishing function? </p> <p>There are many $X$ for which such a metric and volume form can be found. In particular, $X$ that arise as Reeb vector fields relative to some contact 1-form on $M$ are all examples (http://www.math.upenn.edu/~ghrist/preprints/beltrami.pdf).</p> http://mathoverflow.net/questions/111494/non-zero-divergence-free-vector-fields-on-2-torus/111509#111509 Comment by Josh Burby Josh Burby 2012-11-05T05:51:54Z 2012-11-05T05:51:54Z Thanks very much for your answer. It's pretty slow going for me as I now look through the literature in order to find a more detailed description of why this is true. Could you possibly point me to a reference, maybe a textbook? http://mathoverflow.net/questions/110606/curl-operators-parameterized-by-the-set-of-riemannien-metrics-on-a-3-manifold Comment by Josh Burby Josh Burby 2012-10-26T00:00:38Z 2012-10-26T00:00:38Z @Paul Reynolds : Sorry for not being clear. I'm not requiring the volume form to be the one determined by the metric. http://mathoverflow.net/questions/109778/variational-problems-whose-lagrangian-density-depends-on-derivatives-higher-than Comment by Josh Burby Josh Burby 2012-10-16T04:41:49Z 2012-10-16T04:41:49Z Higher order derivatives can be treated in an intrinsic manner using jet bundles. <a href="http://gmcnetwork.org/files/thesis/cmcampos.pdf" rel="nofollow">gmcnetwork.org/files/thesis/cmcampos.pdf</a> Page 78 of this thesis describes a nice approach to variational calculus using this sort of machinery. http://mathoverflow.net/questions/109237/non-vanishing-magnetic-helicty-density Comment by Josh Burby Josh Burby 2012-10-13T23:13:32Z 2012-10-13T23:13:32Z 1) $A(\mathbf{B})$ is just the contraction of the 1-form $A$ with the vector field $\mathbf{B}$, $A(B)=\text{i}_{\mathbf{B}} A$. 2+3) I have an example where $D$ is a 3-ball and such an $s$ cannot exist. I've added this above. 4) I am not terribly interested in unbounded $B$. http://mathoverflow.net/questions/109237/non-vanishing-magnetic-helicty-density Comment by Josh Burby Josh Burby 2012-10-10T21:42:16Z 2012-10-10T21:42:16Z I edited the problem statement to give a bit more explanation of the connection between magnetic fields and contact geometry.