Nonlinear Hodge maps

We consider maps between Riemannian manifolds in which the map is a stationary point of the nonlinear Hodge energy. The variational equations of this functional form a quasilinear, nondiagonal, nonuniformly elliptic system which models certain kinds of compressible flow. Conditions are found under which singular sets of prescribed dimension cannot occur. Various degrees of smoothness are proven for the sonic limit, high-dimensional flow, and flow having nonzero vorticity. The gradient flow of solutions is estimated. Implications for other quasilinear field theories are suggested.Comment: Slightly modified and updated version; tcilatex, 32 page

A Fresh Look at Entropy and the Second Law of Thermodynamics

This paper is a non-technical, informal presentation of our theory of the second law of thermodynamics as a law that is independent of statistical mechanics and that is derivable solely from certain simple assumptions about adiabatic processes for macroscopic systems. It is not necessary to assume a-priori concepts such as "heat", "hot and cold", "temperature". These are derivable from entropy, whose existence we derive from the basic assumptions. See cond-mat/9708200 and math-ph/9805005.Comment: LaTex file. To appear in the April 2000 issue of PHYSICS TODA

Conditional regularity of solutions of the three dimensional Navier-Stokes equations and implications for intermittency

Two unusual time-integral conditional regularity results are presented for the three-dimensional Navier-Stokes equations. The ideas are based on $L^{2m}$-norms of the vorticity, denoted by $\Omega_{m}(t)$, and particularly on $D_{m} = \Omega_{m}^{\alpha_{m}}$, where $\alpha_{m} = 2m/(4m-3)$ for $m\geq 1$. The first result, more appropriate for the unforced case, can be stated simply : if there exists an $1\leq m < \infty$ for which the integral condition is satisfied ($Z_{m}=D_{m+1}/D_{m}$) $$\int_{0}^{t}\ln (\frac{1 + Z_{m}}{c_{4,m}}) d\tau \geq 0$$ then no singularity can occur on $[0, t]$. The constant $c_{4,m} \searrow 2$ for large $m$. Secondly, for the forced case, by imposing a critical \textit{lower} bound on $\int_{0}^{t}D_{m} d\tau$, no singularity can occur in $D_{m}(t)$ for \textit{large} initial data. Movement across this critical lower bound shows how solutions can behave intermittently, in analogy with a relaxation oscillator. Potential singularities that drive $\int_{0}^{t}D_{m} d\tau$ over this critical value can be ruled out whereas other types cannot.Comment: A frequency was missing in the definition of D_{m} in (I5) v3. 11 pages, 1 figur

Existence, Regularity, and Properties of Generalized Apparent Horizons

We prove a conjecture of Tom Ilmanen's and Hubert Bray's regarding the existence of the outermost generalized apparent horizon in an initial data set and that it is outer area minimizing.Comment: 16 pages, thoroughly revised, no major changes, to appear in Comm. Math. Phy

Local behavior of p-harmonic Green's functions in metric spaces

We describe the behavior of p-harmonic Green's functions near a singularity in metric measure spaces equipped with a doubling measure and supporting a Poincar\'e inequality

Supercritical biharmonic equations with power-type nonlinearity

The biharmonic supercritical equation $\Delta^2u=|u|^{p-1}u$, where $n>4$ and $p>(n+4)/(n-4)$, is studied in the whole space $\mathbb{R}^n$ as well as in a modified form with $\lambda(1+u)^p$ as right-hand-side with an additional eigenvalue parameter $\lambda>0$ in the unit ball, in the latter case together with Dirichlet boundary conditions. As for entire regular radial solutions we prove oscillatory behaviour around the explicitly known radial {\it singular} solution, provided $p\in((n+4)/(n-4),p_c)$, where $p_c\in ((n+4)/(n-4),\infty]$ is a further critical exponent, which was introduced in a recent work by Gazzola and the second author. The third author proved already that these oscillations do not occur in the complementing case, where $p\ge p_c$. Concerning the Dirichlet problem we prove existence of at least one singular solution with corresponding eigenvalue parameter. Moreover, for the extremal solution in the bifurcation diagram for this nonlinear biharmonic eigenvalue problem, we prove smoothness as long as $p\in((n+4)/(n-4),p_c)$

Continuous and discrete Clebsch variational principles

The Clebsch method provides a unifying approach for deriving variational principles for continuous and discrete dynamical systems where elements of a vector space are used to control dynamics on the cotangent bundle of a Lie group \emph{via} a velocity map. This paper proves a reduction theorem which states that the canonical variables on the Lie group can be eliminated, if and only if the velocity map is a Lie algebra action, thereby producing the Euler-Poincar\'e (EP) equation for the vector space variables. In this case, the map from the canonical variables on the Lie group to the vector space is the standard momentum map defined using the diamond operator. We apply the Clebsch method in examples of the rotating rigid body and the incompressible Euler equations. Along the way, we explain how singular solutions of the EP equation for the diffeomorphism group (EPDiff) arise as momentum maps in the Clebsch approach. In the case of finite dimensional Lie groups, the Clebsch variational principle is discretised to produce a variational integrator for the dynamical system. We obtain a discrete map from which the variables on the cotangent bundle of a Lie group may be eliminated to produce a discrete EP equation for elements of the vector space. We give an integrator for the rotating rigid body as an example. We also briefly discuss how to discretise infinite-dimensional Clebsch systems, so as to produce conservative numerical methods for fluid dynamics

Pontryagin´s principle for state-constrained boundary control problems of semilinear parabolic equations

This paper deals with state-constrained optimal control problems governed by semilinear parabolic equations. We establish a minimum principle of Pontryagin's type. To deal with the state constraints, we introduce a penalty problem by using Ekeland's principle. The key tool for the proof is the use of a special kind of spike perturbations distributed in the domain where the controls are de ned. Conditions for normality of optimality conditions are given

Variational formulation of ideal fluid flows according to gauge principle

On the basis of the gauge principle of field theory, a new variational formulation is presented for flows of an ideal fluid. The fluid is defined thermodynamically by mass density and entropy density, and its flow fields are characterized by symmetries of translation and rotation. The rotational transformations are regarded as gauge transformations as well as the translational ones. In addition to the Lagrangians representing the translation symmetry, a structure of rotation symmetry is equipped with a Lagrangian $\Lambda_A$ including the vorticity and a vector potential bilinearly. Euler's equation of motion is derived from variations according to the action principle. In addition, the equations of continuity and entropy are derived from the variations. Equations of conserved currents are deduced as the Noether theorem in the space of Lagrangian coordinate \ba. Without $\Lambda_A$, the action principle results in the Clebsch solution with vanishing helicity. The Lagrangian $\Lambda_A$ yields non-vanishing vorticity and provides a source term of non-vanishing helicity. The vorticity equation is derived as an equation of the gauge field, and the $\Lambda_A$ characterizes topology of the field. The present formulation is comprehensive and provides a consistent basis for a unique transformation between the Lagrangian \ba space and the Eulerian \bx space. In contrast, with translation symmetry alone, there is an arbitrariness in the ransformation between these spaces.Comment: 34 pages, Fluid Dynamics Research (2008), accepted on 1st Dec. 200