Partial regularity of mass-minimizing rectifiable sections

Let B be a fiber bundle with compact fiber F over a compact Riemannian n-manifold M ⁿ. There is a natural Riemannian metric on the total space B consistent with the metric on M. With respect to that metric, the volume of a rectifiable section σ: M → B is the mass of the image σ(M) as a rectifiable n-current in B. Theorem 1. For any homology class of sections of B, there is a mass-minimizing rectifiable current T representing that homology class which is the graph of a C¹ section on an open dense subset of M. Mathematics Subject Classifications (2000): 49F20, 49F22, 49F10, 58A25, 53C42, 53C65.     

Regularity of volume-minimizing flows on 3-manifolds

In Johnson and Smith (Indiana Univ Math J 44:45–85, 1995; Ann Global Anal Geometry 30:239–287, 2006; Proceedings of the VII International Colloquium on Differential Geometry, 1994, World Scientific, pp. 81–98), the authors characterized the singular set (discontinuities of the graph) of a volume-minimizing rectifiable section of a fiber bundle, showing that, except under certain circumstances, there exists a volume-minimizing rectifiable section with the singular set lying over a codimension-3 set in the base space. In particular, it was shown that for 2-sphere bundles over 3-manifolds, a minimizer exists with a discrete set of singular points. In this article, we show that for a 2-sphere bundle over a compact 3-manifold, such a singular point cannot exist. As a corollary, for any compact 3-manifold, there is a C ¹ volume-minimizing one-dimensional foliation. In addition, this same analysis is used to show that the examples, due to Pedersen (Trans Am Math Soc 336:69–78, 1993), of potentially volume-minimizing rectifiable sections (rectifiable foliations) of the unit tangent bundle to S ²ⁿ⁺¹ are not, in fact, volume minimizing.      

The Calculus of Moving Surfaces and Laplace Eigenvalues on an Ellipse with Low Eccentricity

Our goal is to demonstrate the utility of the calculus of moving surfaces (CMS) in boundary variation problems. We discuss the relative advantages of the CMS compared to the alternative approach of interior variations. We illustrate the technique by calculating the two leading terms of a power series for the Laplace eigenvalues on an ellipse with semi-axes 1 + a and 1 + b, where a and b are small. We compare the CMS estimates with those obtained by the conventional finite element method with Richardson extrapolation. The comparison confirms the cubic rate of convergence for the CMS estimates.     

On the variational process in optimal control theory

The variational process is established and applied to the development of the second variation for the free-final-time optimal control problem. First, it is shown that, given a change in the control (the independent variable), the change in the state (the dependent variable) consists of all orders of the change in the control. Hence, the change in the state is a total change. This implies that variations of dependent variations exist. Next, the variational relationship between time-constant and time-free variations is developed, and the formula for taking the variation of an integral is presented. The results are used to derive the second variation following three different approaches: taking the variation of the first variation after performing the integration by parts; taking the variation of the first variation before performing the integration by parts; and using the Taylor series approach. The ability to get the same result requires the existence of the total change in the state or of the variation of the state variation. Finally, if the nominal path is not an extremal, this process gives extra terms in the second variation.     

Obstacle-type problems for minimal surfaces

We study certain obstacle-type problems involving standard and nonlocal minimal surfaces. We obtain optimal regularity of the solution and a characterization of the free boundary.     

The Cauchy problem of Lorentzian minimal surfaces in globally hyperbolic manifolds

In this note a proof is given for global existence and uniqueness of minimal Lorentzian surface maps from a cylinder into a large class of globally hyperbolic Lorentzian manifolds for given initial values up to the first derivatives. The results of this article are part of my PhD thesis written at the Max-Planck institute for Mathematics in the Sciences in Leipzig under the supervision of Prof. Jürgen Jost to whom I want to express my gratitude.     

Sets of finite perimeter and the Hausdorff-Gauss measure on the Wiener space

In Euclidean space, the integration by parts formula for a set of finite perimeter is expressed by the integration with respect to a type of surface measure. According to geometric measure theory, this surface measure is realized by the one-codimensional Hausdorff measure restricted on the reduced boundary and/or the measure-theoretic boundary, which may be strictly smaller than the topological boundary. In this paper, we discuss the counterpart of this measure in the abstract Wiener space, which is a typical infinite-dimensional space. We introduce the concept of the measure-theoretic boundary in the Wiener space and provide the integration by parts formula for sets of finite perimeter. The formula is presented in terms of the integration with respect to the one-codimensional Hausdorff-Gauss measure restricted on the measure-theoretic boundary.     

Two-component Bose-Einstein condensates

Recently, coupled systems of nonlinear Schrödinger equations have been used extensively to describe Bose-Einstein condensates. In this paper, we study the structure of vortices of the coupled nonlinear equations for two-component Bose-Einstein condensates (BEC) in a three-dimensional space. We show that vortices is 1-rectifiable set, and give its mean curvature. In particular, we show that large interspecies scattering length causes vortices for two-component BEC.     

3维Ginzburg-Landau方程涡旋集的结构

在假定外加磁场|h_(ex)|=o(|lnε|)以及涡旋能量以|lnε|阶爆破的前提下,借助几何测度论工具,分析了三维Ginzburg-Landau超导方程涡旋集的结构．粗略地说,它是由线段构成的一维可求长集合．     

Optimal attitude control of a rigid body

Being mainly interested in the control of satellites, we investigate the problem of maneuvering a rigid body from a given initial attitude to a desired final attitude at a specified end time in such a way that a cost functional measuring the overall angular velocity is minimized.This problem is solved by applying a recent technique of Jurdjevic in geometric control theory. Essentially, this technique is just the classical calculus of variations approach to optimal control problems without control constraints, but formulated for control problems on arbitrary manifolds and presented in coordinate-free language. We model the state evolution as a differential equation on the nonlinear state spaceG=SO(3), thereby completely circumventing the inevitable difficulties (singularities and ambiguities) associated with the use of parameters such as Euler angles or quaternions. The angular velocities _k about the body's principal axes are used as (unbounded) control variables. Applying Pontryagin's Maximum Principle, we lift any optimal trajectorytg^*(t) to a trajectory onT ^*G which is then revealed as an integral curve of a certain time-invariant Hamiltonian vector field. Next, the calculus of Poisson brackets is applied to derive a system of differential equations for the optimal angular velocitiest _k ^* (t); once these are known the controlling torques which need to be applied are determined by Euler's equations.In special cases an analytical solution in closed form can be obtained. In general, the unknown initial values _k ^* (t₀) can be found by a shooting procedure which is numerically much less delicate than the straightforward transformation of the optimization problem into a two-point boundary-value problem. In fact, our approach completely avoids the explicit introduction of costate (or adjoint) variables and yields a differential equation for the control variables rather than one for the adjoint variables. This has the consequence that only variables with a clear physical significance (namely angular velocities) are involved for which gooda priori estimates of the initial values are available.     

Invariant surfaces with constant mean curvature in $${\mathbb{H}}^2 \times {\mathbb{R}}$$

We classify the profile curves of all surfaces with constant mean curvature in the product space , which are invariant under the action of a 1-parameter subgroup of isometries. The author was supported by INdAM (Italy) and Fapesp (Brazil).     

Strongly 1-Bounded Von Neumann Algebras

Suppose F is a finite tuple of selfadjoint elements in a tracial von Neumann algebra M. For α > 0, F is α-bounded if where is the free packing α-entropy of F introduced in [J3]. M is said to be strongly 1-bounded if M has a 1-bounded finite tuple of selfadjoint generators F such that there exists an with . It is shown that if M is strongly 1-bounded, then any finite tuple of selfadjoint generators G for M is 1-bounded and δ₀(G) ≤ 1; consequently, a strongly 1-bounded von Neumann algebra is not isomorphic to an interpolated free group factor and δ₀ is an invariant for these algebras. Examples of strongly 1-bounded von Neumann algebras include (separable) II ₁-factors which have property Γ, have Cartan subalgebras, are non-prime, or the group von Neumann algebras of . If M and N are strongly 1-bounded and M ∩ N is diffuse, then the von Neumann algebra generated by M and N is strongly 1-bounded. In particular, a free product of two strongly 1-bounded von Neumann algebras with amalgamation over a common, diffuse von Neumann subalgebra is strongly 1-bounded. It is also shown that a II ₁-factor generated by the normalizer of a strongly 1-bounded von Neumann subalgebra is strongly 1-bounded. Received: November 2005, Revision: March 2006, Accepted: March 2006     

Regularity properties of nonlocal minimal surfaces via limiting arguments

We prove an improvement of flatness result for nonlocal minimal surfaces which is independent of the fractional parameter s   when s→1⁻$s\to 1^{-}$.     

Maximum principle at infinity for complete minimal surfaces in flat 3-manifolds

The main result of this paper is the following maximum principle at infinity:Theorem.Let M ₁ and M ₂ be two disjoint properly embedded complete minimal surfaces with nonempty boundaries, that are stable in a complete flat 3-manifold. Then dist(M ₁,M ₂)=min(dist(M ₁,M ₂), dist(M ₂,M ₁)).In case one boundary is empty, e.g. M ₁,then dist(M ₁,M ₂)=dist(M ₂,M ₁).If both boundaries are empty, then M ₁ and M ₂ are flat.     

Characterization of order 3 algebraic immersed minimal surfaces of <Emphasis Type="Italic">S</Emphasis><Superscript>3</Superscript>

In this paper we prove that if is a minimal immersion of a compact surface and , for some homogeneous polynomial f of degree 3 on R ⁴, then, M is a torus and is one of the examples given by Lawson (1970, Complete minimal surfaces in S ³. Ann. Math. 92(2), 335–374).      

Asymptotics of the Teichmüller harmonic map flow

The Teichmüller harmonic map flow, introduced by Rupflin and Topping (2012)  [11], evolves both a map from a closed Riemann surface to an arbitrary compact Riemannian manifold, and a constant curvature metric on the domain, in order to reduce its harmonic map energy as quickly as possible. In this paper, we develop the geometric analysis of holomorphic quadratic differentials in order to explain what happens in the case that the domain metric of the flow degenerates at infinite time. We obtain a branched minimal immersion from the degenerate domain.