Interior regularity on the Abreu equation

In this paper, we prove the interior regularity for the solution to the Abreu equation in any dimension assuming the existence of the C ⁰ estimate.     

The Bernstein theorem for a class of fourth order equations

In this paper, we prove the 2-dimensional Bernstein theorem for a class of fourth order equations including Abreu’s equation. The main ingredients of the paper are the a priori estimates and the proof of the strict convexity.     

Interior estimates for the n-dimensional Abreuʼs equation

We study the Abreu?s equation in n-dimensional polytopes and derive interior estimates of solutions under the assumption of the uniform K-stability.     

Contractive maps on normed linear spaces and their applications to nonlinear matrix equations

In this paper we will give necessary and sufficient conditions under which a map is a contraction on a certain subset of a normed linear space. These conditions are already well known for maps on intervals in R. Using the conditions and Banach’s fixed point theorem we can prove a fixed point theorem for operators on a normed linear space. The fixed point theorem will be applied to the matrix equation X = I_n + A^∗f(X)A, where f is a map on the set of positive definite matrices induced by a real valued map on (0, ∞). This will give conditions on A and f under which the equation has a unique solution in a certain set. We will consider two examples of f in detail. In one example the application of the fixed point theorem is the first step in proving that the equation has a unique positive definite solution under the conditions on A.     

The matrix nearness problem associated with the quaternion matrix equation AXA H +BYB H =C

In this paper, by making use of the CCD-Q, GSVD-Q, and the projection theorem in the finite dimensional inner product space, we derive the expression of Hermitian solution for the matrix nearness problem associated with the quaternion matrix equation AXA ^H +BYB ^H =C.     

On Euler’s hypothetical proof

It is conjectured that Euler possessed an elementary proof of Fermat’s theorem for n = 3. In this note, we show that this opinion is rather credible, because, from Euler’s results, one can obtain an elementary proof of the nonexistence of positive integer solutions of the equation x ³ + y ³ = z ³.     

A renormalized index theorem for some complete asymptotically regular metrics: The Gauss-Bonnet theorem

We study the Gauss-Bonnet theorem as a renormalized index theorem for edge metrics. These metrics include the Poincaré-Einstein metrics of the AdS/CFT correspondence and the asymptotically cylindrical metrics of the Atiyah-Patodi-Singer index theorem. We use renormalization to make sense of the curvature integral and the dimensions of the L²-cohomology spaces as well as to carry out the heat equation proof of the index theorem. For conformally compact metrics even mod xm, we show that the finite time supertrace of the heat kernel on conformally compact manifolds renormalizes independently of the choice of special boundary defining function.     

Splitting theorem, Poincaré-Hopf theorem and jumping nonlinear problems

In this paper, we establish a Gromoll-Meyer splitting theorem and a shifting theorem for J∈C^2-0(E,R) and by using the finite-dimensional approximation, mollifiers and Morse theory we generalize the Poincaré-Hopf theorem to J∈C¹(E,R) case. By combining the Poincaré-Hopf theorem and the splitting theorem, we study the existence of multiple solutions for jumping nonlinear elliptic equations.     

Periodic behavior of a nonlinear third order vibrating system

A theorem is proved to show that the third order differential equation x^‴+f(t,x,x^′,x^″)=0 has nontrivial solutions characterized by x^′(0)=x^′(τ)=0 when x,x^′,x^″ and f(t,x,x^′,x^″) are bounded. A second condition is introduced to prove the existence of periodic solution for this equation. It is shown that the equation has a τ-periodic solution if f(t,x,x^′,x^″) is an even function with respect to x^′. The existence and periodicity conditions would be applied to third order systems such as viscoelastic mechanical vibration isolator system. The concepts of Green’s function and the Schauder’s fixed-point theorem have been used for proving the third-order-existence theorem.     

A Newton-like method and its application

In this paper we prove an existence and uniqueness theorem for solving the operator equation F(x)+G(x)=0, where F is a Gateaux differentiable continuous operator while the operator G satisfies a Lipschitz-condition on an open convex subset of a Banach space. As corollaries, a theorem of Tapia on a weak Newton's method and the classical convergence theorem for modified Newton-iterates are deduced. An existence theorem for a generalized Euler-Lagrange equation in the setting of Sobolev space is obtained as a consequence of the main theorem. We also obtain a class of Gateaux differentiable operators which are nowhere Frechet differentiable. Illustrative examples are also provided.     

Complexity Analysis via Approach Spaces

Complexity of a recursive algorithm typically is related to the solution to a recurrence equation based on its recursive structure. For a broad class of recursive algorithms we model their complexity in what we call the complexity approach space, the space of all functions in X?=? ]0,?∞?] ^Y , where Y can be a more dimensional input space. The set X, which is a dcpo for the pointwise order, moreover carries the complexity approach structure. There is an associated selfmap Φ on the complexity approach space X such that the problem of solving the recurrence equation is reduced to finding a fixed point for Φ. We will prove a general fixed point theorem that relies on the presence of the limit operator of the complexity approach space X and on a given well founded relation on Y. Our fixed point theorem deals with monotone selfmaps Φ that need not be contractive. We formulate conditions describing a class of recursive algorithms that can be treated in this way.     

A Liouville theorem for conformal Gaussian curvature type equations in {{\mathbb{R}}^2}

In this paper, we obtain a Liouville type theorem for a class of elliptic equations including the conformal Gaussian curvature equation $$-\Delta u=K(x)e^{2u}\quad {\rm in}\,\, {\mathbb{R}}^2,$$ where K(x) is a H?lder continuous function in ${{\mathbb{R}}^2}$ that does not have a fixed sign near infinity. The main tool in our approach is an asymptotic formula for the solution at infinity and the method of moving planes. We also show how our Liouville theorem can be used to obtain a priori bound for solutions of the prescribing Gaussian curvature equation in S ², namely $$\Delta\, u+K(x)e^{2u}=1\, {\rm in}\, S^2,$$ where K(x) is H?lder continuous and nonnegative in S ² but vanishes on a set with nonempty interior, a case left open in previous research.     

Homotopy decomposition of a group of symplectomorphisms of S×S

We continue the analysis started by Abreu, McDuff and Anjos of the topology of the group of symplectomorphisms of S²×S² when the ratio of the area of the two spheres lies in the interval (1,2]. We express the group, up to homotopy, as the pushout (or amalgam) of certain of its compact Lie subgroups. We use this to compute the homotopy type of the classifying space of the group of symplectomorphisms and the corresponding ring of characteristic classes for symplectic fibrations.     

Multiple positive solutions for multipoint boundary value problems with one-dimensional p-Laplacian

In this paper we consider the multiplicity of positive solutions for the one-dimensional p-Laplacian differential equation (?p^′(u^′))+q(t)f(t,u,u^′)=0, t∈(0,1), subject to some boundary conditions. By means of a fixed point theorem due to Avery and Peterson, we provide sufficient conditions for the existence of multiple positive solutions to some multipoint boundary value problems.     

Variations on Weyl's theorem

In this note we study the property (w), a variant of Weyl's theorem introduced by Rako?evi?, by means of the localized single-valued extension property (SVEP). We establish for a bounded linear operator defined on a Banach space several sufficient and necessary conditions for which property (w) holds. We also relate this property with Weyl's theorem and with another variant of it, a-Weyl's theorem. We show that Weyl's theorem, a-Weyl's theorem and property (w) for T (respectively T^*) coincide whenever T^* (respectively T) satisfies SVEP. As a consequence of these results, we obtain that several classes of commonly considered operators have property (w).     

A sharp gradient estimate for the weighted p-Laplacian

Let M be an n-dimensional complete noncompact Riemannian manifold with sectional curvature bounded from below, d?? = e ^h (x) dV (x) the weighted measure and ??_??,p the weighted p-Laplacian. In this paper we consider the non-linear elliptic equation $$ \Delta _{\mu ,p} u = - \lambda _{\mu ,p} |u|^{p - 2} u $$ for p ?? (1, 2). We derive a sharp gradient estimate for positive smooth solutions of this equation. As applications, we get a Harnack inequality and a Liouville type theorem..     

Traces of Sobolev functions on the Ahlfors sets of Carnot groups

We prove the converse of the trace theorem for the functions of the Sobolev spaces W _p ^l on a Carnot group on the regular closed subsets called Ahlfors d-sets (the direct trace theorem was obtained in one of our previous publications). The theorem generalizes Johnsson and Wallin’s results for Sobolev functions on the Euclidean space. As a consequence we give a theorem on the boundary values of Sobolev functions on a domain with smooth boundary in a two-step Carnot group. We consider an example of application of the theorems to solvability of the boundary value problem for one partial differential equation.     

Multiwavelet sampling theorem in Sobolev spaces

This paper is to establish the multiwavelet sampling theorem in Sobolev spaces. Sampling theorem plays a very important role in digital signal communication. The most classical sampling theorem is Shannon sampling theorem, which works for bandlimited signals. Recently, sampling theorems in wavelets or multiwavelets subspaces are extensively studied in the literature. In this paper, we firstly propose the concept of dual multiwavelet frames in dual Sobolev spaces (H s (R) , H-s (R)). Then we construct a special class of dual multiwavelet frames, from which the multiwavelet sampling theorem in Sobolev spaces is obtained. That is, for any f ∈ H s (R) with s 1/2, it can be exactly recovered by its samples. Especially, the sampling theorem works for continuous signals in L 2 (R), whose Sobolev exponents are greater than 1 /2.     

Almost periodic solutions of linear partial differential equations

Let L be an arbitrary linear partial differential operator and let f be an almost periodic function for t in R^m. In this paper we present sufficient conditions that a bounded solution u of Lu = f be almost periodic. Our work generalizes the theorem of Sibuya [5] for Poisson's equation and the theorems of Favard [3] and Bochner [1] for ordinary differential equations.     

The two-dimensional eikonal equation

We study the two-dimensional eikonal equation ψ _x ² + ψ _y ² = 1/v ²(x, y). We carry out the group analysis of the equation, establish a connection between the group properties and geometric characteristics of the Riemannian space with the metric ds ² = [dx ² + dy ²]/v ²(x, y). We select the most important classes of equations and derive some conditions for reducibility of a given equation to an equation of one of those classes. We find a condition for two equations to be equivalent (the theorem of seven invariants). For the equations corresponding to Riemannian spaces of constant curvature, we obtain explicit formulas for the solutions describing the wave front for a point source and also the ray equations.