Global Solutions to the Two Dimensional Quasi-Geostrophic Equation with Critical or Super-Critical Dissipation

The two dimensional quasi-geostrophic (2D QG) equation with critical and super-critical dissipation is studied in Sobolev space H^s(ℝ²). For critical case (α=), existence of global (large) solutions in H^s is proved for s≥ when is small. This generalizes and improves the results of Constantin, D. Cordoba and Wu [4] for s = 1, 2 and the result of A. Cordoba and D. Cordoba [8] for s=. For s≥1, these solutions are also unique. The improvement for pushing s down from 1 to is somewhat surprising and unexpected. For super-critical case (α ∈ (0,)), existence and uniqueness of global (large) solution in H^s is proved when the product is small for suitable s≥2−2α, p ∈ [1,∞] and β ∈ (0,1].     

On topological Kadec norms

We present a topological analogue of the classic Kadec Renorming Theorem, as follows. Let be two separable metric topologies on the same set X. We prove that every point in X has an -neighbourhood basis consisting of sets that are -closed if and only if there exists a function φ: X→ℝ that is -lower semi-continuous and such that is the weakest topology on X that contains and that makes φ continuous. An immediate corollary is that the class of almost n-dimensional spaces consists precisely of the graphs of lower semi-continuous functions with at most n-dimensional domains.     

On the zero-distribution of Epstein zeta-functions

We prove that the mean value of the real parts of the nontrivial zeros of the Epstein zeta-function associated with a positive definite quadratic form in n variables is equal to . Furthermore, we show that Epstein zeta-functions in general have an asymmetric zero-distribution with respect to the critical line Re .     

Order and algebra isomorphisms of spaces of regular operators

If E and F are real Banach lattices and there is an algebra and order isomorphism Φ:(E) →(F) between their respective ordered Banach algebras of regular operators then there is a linear order isomorphism U:E→F such that Φ(T) =UTU⁻¹ for all T ∈ (E).     

The space of complete embedded maximal surfaces with isolated singularities in the 3-dimensional Lorentz-Minkowski space

We prove that a complete embedded maximal surface in = (³, dx₁² + dx₂²-dx₃²) with a finite number of singularities is an entire maximal graph with conelike singularities over any spacelike plane, and so, it is asymptotic to a spacelike plane or a half catenoid. We show that the moduli space of entire maximal graphs over {x₃=0} in with n+12 singular points and vertical limit normal vector at infinity is a 3n+4-dimensional differentiable manifold. The convergence in means the one of conformal structures and Weierstrass data, and it is equivalent to the uniform convergence of graphs on compact subsets of {x₃=0}. Moreover, the position of the singular points in ³ and the logarithmic growth at infinity can be used as global analytical coordinates with the same underlying topology. We also introduce the moduli space of marked graphs with n+1 singular points (a mark in a graph is an ordering of its singularities), which is a (n+1)-sheeted covering of . We prove that identifying marked graphs differing by translations, rotations about a vertical axis, homotheties or symmetries about a horizontal plane, the corresponding quotient space is an analytic manifold of dimension 3n–1. This manifold can be identified with a spinorial bundle associated to the moduli space of Weierstrass data of graphs in .Mathematics Subject Classification (2000): 53C50, 58D10, 53C42First and second authors research partially supported by MEC-FEDER grant number MTM2004-00160Second and third authors research partially supported by Consejería de Educación y Ciencia de la Junta de Andalucía and the European Union.     

Topological classification of holomorphic, semi-hyperbolic germs, in ``Quasi-Absence' of resonances

We give the classification, under topological conjugacy, of invertible holomorphic germs f:, with λ₁, . . . ,λ_n eigenvalues of d f₀, and |λ_i|≠1 for i=2, . . . ,n while λ₁ is a root of the unity, in the suitable hypothesis of ``quasi-absence' of resonances (i.e., assuming that for r_i≥0 and i=2, . . . ,n, with ).     

On the dynamics near infinity of some polynomial mappings in

We construct the Green current for a random iteration of horizontal-like mappings in . This is applied to the study of a polynomial map with the following properties: i. infinity is f-attracting; ii. f contracts the line at infinity to a point not in the indeterminacy set. We study for such mappings the escape rates near infinity, i.e. the set of possible values of the function We show in particular that the set of possible values can contain an interval. On the other hand the Green current T of f can be decomposed into pieces associated to an itinerary defined by the indeterminacy points. This allows us to prove that exists ||T||-a.e. and we give its value in terms of explicit quantities depending on f.     

Rigidity and moduli space in Real Algebraic Geometry

Let R be a real closed field and let X be an affine algebraic variety over R. We say that X is universally map rigid (UMR for short) if, for each irreducible affine algebraic variety Z over R, the set of nonconstant rational maps from Z to X is finite. A bijective map from an affine algebraic variety over R to X is called weak change of the algebraic structure of X if it is regular and φ⁻¹ is a Nash map, which preserves nonsingular points. We prove the following rigidity theorem: every affine algebraic variety over R is UMR up to a weak change of its algebraic structure. Let us introduce another notion. Let Y be an affine algebraic variety over R. We say that X and Y are algebraically unfriendly if all the rational maps from X to Y and from Y to X are trivial, i.e., Zariski locally constant. From the preceding theorem, we infer that, if dim (X)≥1, then there exists a set of weak changes of the algebraic structure of X such that, for each t,s ∈ R with t≠s, and are algebraically unfriendly. This result implies the following expected fact: For each (nonsingular) affine algebraic variety X over R of positive dimension, the natural Nash structure of X does not determine the algebraic structure of X. In fact, the moduli space of birationally nonisomorphic (nonsingular) affine algebraic varieties over R, which are Nash isomorphic to X, has the same cardinality of R. This result was already known under the special assumption that R is the field of real numbers and X is compact and nonsingular. The author is a member of GNSAGA of CNR, partially supported by MURST and European Research Training Network RAAG 2002–2006 (HPRN–CT–00271).     

Characterisation of homogeneous polynomials which are constant on complex-tangential curves in the boundary of the unit ball of

We prove that a complex-tangential curve γ in the boundary of the unit ball of having the property that there exists a homogeneous polynomial P such that P=1 on γ has constant curvature. This implies that a homogeneous polynomial P having the property that there exists a closed complex-tangential curve γ (respectively a totally real 2-dimensional submanifold) in the boundary of the unit ball of such that P=1 on γ (respectively |P|=1 on γ) reduces to a monomial by a unitary chage of variables. These results represent a positive answer to conjectures of H. O. Kim.     

Analytic discs, plurisubharmonic hulls, and non-compactness of the -Neumann operator

We show that a complex manifold M in the boundary of a smooth bounded pseudoconvex domain Ω in is an obstruction to compactness of the -Neumann operator on Ω, provided that at some point of M, the Levi form of bΩ has the maximal possible rank n−1−dim(M) (i.e. the boundary is strictly pseudoconvex in the directions transverse to M). In particular, an analytic disc is an obstruction, provided that at some point of the disc, the Levi form has only one zero eigenvalue (i.e. the eigenvalue zero has multiplicity one). We also show that a boundary point where the Levi form has only one zero eigenvalue can be picked up by the plurisubharmonic hull of a set only via an analytic disc in the boundary. Research supported in part by NSF grant number DMS-0100517.     

Finite domination, Novikov homology and nonsingular closed 1-forms

Let X be a finite connected CW-complex and ρ: a regular covering space with free abelian covering transformation group. For ξ ∈ H¹ (Xℝ) we define the notion of ξ-contractibility of X. This notion is closely related to the vanishing of the Novikov homology of the pair (X,ξ). We show that finite domination of is equivalent to X being ξ-contractible for every nonzero ξ with ρ*ξ =0  ∈ H¹(; ℝ). If M is a closed connected smooth manifold the condition that M is ξ-contractible is necessary for the existence of a nonsingular closed 1-form representing ξ. Also ξ-contractibility guarantees the definition of the Latour obstruction τ_L(M,ξ) whose vanishing is then sufficient for the existence of a nonsingular closed 1-form provided  dim M≥6. Now if ρ: is a finitely dominated regular ℤ^k-covering space we get that τ_L(M,ξ) is defined for every nonzero ξ with ρ*ξ=0 and the vanishing of one such obstruction implies the vanishing of all such τ_L(M,ξ).     

Existence of singular solutions of a degenerate equation in R 2

Let a₁,a₂, . . . ,a_m ∈ ℝ², 2≤f ∈ C([0,∞)), g_i ∈ C([0,∞)) be such that 0≤g_i(t)≤2 on [0,∞) ∀i=1, . . . ,m. For any p>1, we prove the existence and uniqueness of solutions of the equation u_t=Δ(logu), u>0, in satisfying and logu(x,t)/log|x|→−f(t) as |x|→∞, logu(x,t)/log|x−a_i|→−g_i(t) as |x−a_i|→0, uniformly on every compact subset of (0,T) for any i=1, . . . ,m under a mild assumption on u₀ where We also obtain similar existence and uniqueness of solutions of the above equation in bounded smooth convex domains of ℝ² with prescribed singularities at a finite number of points in the domain.     

A schlichtness theorem for envelopes of holomorphy

Let Ω be a domain in . We prove the following theorem. If the envelope of holomorphy of Ω is schlicht over Ω, then the envelope is in fact schlicht. We provide examples showing that the conclusion of the theorem does not hold in , n>2. Additionally, we show that the theorem cannot be generalized to provide information about domains in whose envelopes are multiply sheeted.     

Varieties with non-linear Gauss fibers

For any given projective variety Y, we construct a projective variety whose general fiber of the Gauss map with reduced scheme structure is isomorphic to Y when the characteristic >0.     

Monge-Ampère foliations with singularities at the boundary of strongly convex domains

Let be a bounded strongly convex domain with smooth boundary. We consider a Monge-Ampère type equation in D with a simple pole at the boundary. Using the Lempert foliation of D in extremal discs, we construct a solution u whose level sets are boundaries of horospheres. Among other things, we show that the biholomorphisms between strongly convex domains are exactly those maps which preserves our solution.     

Continuity of eigenvalues of subordinate processes in domains

Let X={X_t,t≥0} be a symmetric Markov process in a state space E and D an open set of E. Let S⁽ⁿ⁾={S⁽ⁿ⁾_t, t ≥ 0} be a subordinator with Laplace exponent ϕ_n and S={S_t,t≥0} a subordinator with Laplace exponent ϕ. Suppose that X is independent of S and S⁽ⁿ⁾. In this paper we consider the subordinate processes and and their subprocesses and X^ϕ,D killed upon leaving D. Suppose that the spectra of the semigroups of and X^ϕ,D are all discrete, with being the eigenvalues of the generator of and being the eigenvalues of the generator of X^ϕ,D. We show that, if lim_n→∞ϕ_n(λ)=ϕ(λ) for every λ>0, then The research of this author is supported in part by NSF Grant DMS-0303310. The research of this author is supported in part by a joint US-Croatia grant INT 0302167.     

Partial regularity for stationary harmonic maps at a free boundary

Let and be smooth Riemannian manifolds, of the dimension n≥2 with nonempty boundary, and compact without boundary. We consider stationary harmonic maps u ∈ H¹(, ) with a free boundary condition of the type u(∂) ⊂ Γ, given a submanifold Γ⊂. We prove partial boundary regularity, namely (sing(u))=0, a result that was until now only known in the interior of the domain (see [B]). The key of the proof is a new lemma that allows an extension of u by a reflection construction. Once the partial regularity theorem is known, it is possible to reduce the dimension of the singular set further under additional assumptions on the target manifold and the submanifold Γ.     

Hausdorff measures, capacities and compact composition operators

It is shown that there exist analytic self-maps ϕ of the unit disc inducing compact composition operators on the Hardy space , 1 ≤ p < ∞ such that the Hausdorff dimension of the set is one; sharpening a classical result due to Schwartz. Moreover, the same holds in the weighted Dirichlet spaces with 0 < α < 1. As a consequence, we deduce that there exist symbols ϕ inducing compact composition operators on such that the α-capacity of E_ϕ is positive, which is no longer true for those just inducing Hilbert-Schmidt composition operators on . First author is partially supported by Plan Nacional I+D grant no. BFM2003-00034, and Gobierno de Aragón research group Análisis Matemático y Aplicaciones, ref. DGA E-64 . Second author is partially supported by Plan Nacional I+D grant no. BFM2002-00571 and Junta de Andalucía RNM-314.     

Three dimensional divisorial extremal neighborhoods

In this paper we study divisorial extremal neighborhoods such that 0 ∈ X is a cA_n type threefold terminal singularity, and Γ=f(E) is a smooth curve, where E is the f-exceptional divisor. We view a divisorial extremal neighborhood as a one parameter smoothing of certain surface singularities, and based on this we give a classification of such neighborhoods.     

A critical radius for unit Hopf vector fields on spheres

The volume of a unit vector field V of the sphere (n odd) is the volume of its image V() in the unit tangent bundle. Unit Hopf vector fields, that is, unit vector fields that are tangent to the fibre of a Hopf fibration are well known to be critical for the volume functional. Moreover, Gluck and Ziller proved that these fields achieve the minimum of the volume if n = 3 and they opened the question of whether this result would be true for all odd dimensional spheres. It was shown to be inaccurate on spheres of radius one. Indeed, Pedersen exhibited smooth vector fields on the unit sphere with less volume than Hopf vector fields for a dimension greater than five. In this article, we consider the situation for any odd dimensional spheres, but not necessarily of radius one. We show that the stability of the Hopf field actually depends on radius, instability occurs precisely if and only if In particular, the Hopf field cannot be minimum in this range. On the contrary, for r small, a computation shows that the volume of vector fields built by Pedersen is greater than the volume of the Hopf one thus, in this case, the Hopf vector field remains a candidate to be a minimizer. We then study the asymptotic behaviour of the volume; for small r it is ruled by the first term of the Taylor expansion of the volume. We call this term the twisting of the vector field. The lower this term is, the lower the volume of the vector field is for small r. It turns out that unit Hopf vector fields are absolute minima of the twisting. This fact, together with the stability result, gives two positive arguments in favour of the Gluck and Ziller conjecture for small r.