Application of advanced computational procedures for modeling solar-wind interactions with Venus: Theory and computer code

Computational procedures are developed and applied to the prediction of solar wind interaction with nonmagnetic terrestrial planet atmospheres, with particular emphasis to Venus. The theoretical method is based on a single fluid, steady, dissipationless, magnetohydrodynamic continuum model, and is appropriate for the calculation of axisymmetric, supersonic, super-Alfvenic solar wind flow past terrestrial planets. The procedures, which consist of finite difference codes to determine the gasdynamic properties and a variety of special purpose codes to determine the frozen magnetic field, streamlines, contours, plots, etc. of the flow, are organized into one computational program. Theoretical results based upon these procedures are reported for a wide variety of solar wind conditions and ionopause obstacle shapes. Plasma and magnetic field comparisons in the ionosheath are also provided with actual spacecraft data obtained by the Pioneer Venus Orbiter

Global W2,pW^{2,p} estimates for solutions to the linearized Monge--Amp\`ere equations

In this paper, we establish global $W^{2,p}$ estimates for solutions to the linearized Monge-Amp\`ere equations under natural assumptions on the domain, Monge-Amp\`ere measures and boundary data. Our estimates are affine invariant analogues of the global $W^{2,p}$ estimates of Winter for fully nonlinear, uniformly elliptic equations, and also linearized counterparts of Savin's global $W^{2,p}$ estimates for the Monge-Amp\`ere equations.Comment: v2: presentation improve

Computational techniques for solar wind flows past terrestrial planets: Theory and computer programs

The interaction of the solar wind with terrestrial planets can be predicted using a computer program based on a single fluid, steady, dissipationless, magnetohydrodynamic model to calculate the axisymmetric, supersonic, super-Alfvenic solar wind flow past both magnetic and nonmagnetic planets. The actual calculations are implemented by an assemblage of computer codes organized into one program. These include finite difference codes which determine the gas-dynamic solution, together with a variety of special purpose output codes for determining and automatically plotting both flow field and magnetic field results. Comparisons are made with previous results, and results are presented for a number of solar wind flows. The computational programs developed are documented and are presented in a general user's manual which is included

Local and global behaviour of nonlinear equations with natural growth terms

This paper concerns a study of the pointwise behaviour of positive solutions to certain quasi-linear elliptic equations with natural growth terms, under minimal regularity assumptions on the underlying coefficients. Our primary results consist of optimal pointwise estimates for positive solutions of such equations in terms of two local Wolff's potentials.Comment: In memory of Professor Nigel Kalto

Collapsing Shells and the Isoperimetric Inequality for Black Holes

Recent results of Trudinger on Isoperimetric Inequalities for non-convex bodies are applied to the gravitational collapse of a lightlike shell of matter to form a black hole. Using some integral identities for co-dimension two surfaces in Minkowski spacetime, the area $A$ of the apparent horizon is shown to be bounded above in terms of the mass $M$ by the $16 \pi G^2 M^2$, which is consistent with the Cosmic Censorship Hypothesis. The results hold in four spacetime dimensions and above.Comment: 16 pages plain TE

On the Regularity of Optimal Transportation Potentials on Round Spheres

In this paper the regularity of optimal transportation potentials defined on round spheres is investigated. Specifically, this research generalises the calculations done by Loeper, where he showed that the strong (A3) condition of Trudinger and Wang is satisfied on the round sphere, when the cost-function is the geodesic distance squared. In order to generalise Loeper's calculation to a broader class of cost-functions, the (A3) condition is reformulated via a stereographic projection that maps charts of the sphere into Euclidean space. This reformulation subsequently allows one to verify the (A3) condition for any case where the cost-fuction of the associated optimal transportation problem can be expressed as a function of the geodesic distance between points on a round sphere. With this, several examples of such cost-functions are then analysed to see whether or not they satisfy this (A3) condition.Comment: 24 pages, 4 figure

Evolution models for mass transportation problems

We present a survey on several mass transportation problems, in which a given mass dynamically moves from an initial configuration to a final one. The approach we consider is the one introduced by Benamou and Brenier in [5], where a suitable cost functional $F(\rho,v)$, depending on the density $\rho$ and on the velocity $v$ (which fulfill the continuity equation), has to be minimized. Acting on the functional $F$ various forms of mass transportation problems can be modeled, as for instance those presenting congestion effects, occurring in traffic simulations and in crowd motions, or concentration effects, which give rise to branched structures.Comment: 16 pages, 14 figures; Milan J. Math., (2012

Existence and multiplicity for elliptic problems with quadratic growth in the gradient

We show that a class of divergence-form elliptic problems with quadratic growth in the gradient and non-coercive zero order terms are solvable, under essentially optimal hypotheses on the coefficients in the equation. In addition, we prove that the solutions are in general not unique. The case where the zero order term has the opposite sign was already intensively studied and the uniqueness is the rule.Comment: To appear in Comm. PD

Representation of Markov chains by random maps: existence and regularity conditions

We systematically investigate the problem of representing Markov chains by families of random maps, and which regularity of these maps can be achieved depending on the properties of the probability measures. Our key idea is to use techniques from optimal transport to select optimal such maps. Optimal transport theory also tells us how convexity properties of the supports of the measures translate into regularity properties of the maps via Legendre transforms. Thus, from this scheme, we cannot only deduce the representation by measurable random maps, but we can also obtain conditions for the representation by continuous random maps. Finally, we present conditions for the representation of Markov chain by random diffeomorphisms.Comment: 22 pages, several changes from the previous version including extended discussion of many detail

Initial data for gravity coupled to scalar, electromagnetic and Yang-Mills fields

We give ansatze for solving classically the initial value constraints of general relativity minimally coupled to a scalar field, electromagnetism or Yang-Mills theory. The results include both time-symmetric and asymmetric data. The time-asymmetric examples are used to test Penrose's cosmic censorship inequality. We find that the inequality can be violated if only the weak energy condition holds.Comment: 16 pages, RevTeX, references added, presentational changes, version to appear in Phys Rev.