A Proximal Point Method in Nonreflexive Banach Spaces

We propose an inexact version of the proximal point method and study its properties in nonreflexive Banach spaces which are duals of separable Banach spaces, both for the problem of minimizing convex functions and of finding zeroes of maximal monotone operators. By using surjectivity results for enlargements of maximal monotone operators, we prove existence of the iterates in both cases. Then we recover most of the convergence properties known to hold in reflexive and smooth Banach spaces for the convex optimization problem. When dealing with zeroes of monotone operators, our convergence result requests that the regularization parameters go to zero, as is the case for standard (non-proximal) regularization schemes.     

Inverse problems for evolution equations with fractional integrals at boundary-value conditions

The following problem is considered: to find a solution and a term of a first-order differential equation in a Banach space if the initial-value condition and an excessive condition containing the fractional Riemann–Liouville integral are given. We show that the solvability of the considered problem depends on the distributions of zeroes of the Mittag-Leffler function.     

On difference of two monotone operators

In this paper, we introduce and consider the problem of finding zeroes of difference of two monotone operators in a Hilbert space. Using the resolvent operator technique, we show that this problem is equivalent to the fixed point problem. This equivalence is used to suggest and analyze an iterative method for finding a zero of difference of two monotone operators. We also discuss the convergence of the iterative method under suitable conditions. Our method of proof is very simple as compared with other techniques.     

Fast rotating Bose-Einstein condensates in an asymmetric trap

We investigate the effect of the anisotropy of a harmonic trap on the behaviour of a fast rotating Bose-Einstein condensate. This is done in the framework of the 2D Gross-Pitaevskii equation and requires a symplectic reduction of the quadratic form defining the energy. This reduction allows us to simplify the energy on a Bargmann space and study the asymptotics of large rotational velocity. We characterize two regimes of velocity and anisotropy; in the first one where the behaviour is similar to the isotropic case, we construct an upper bound: a hexagonal Abrikosov lattice of vortices, with an inverted parabola profile. The second regime deals with very large velocities, a case in which we prove that the ground state does not display vortices in the bulk, with a 1D limiting problem. In that case, we show that the coarse grained atomic density behaves like an inverted parabola with large radius in the deconfined direction but keeps a fixed profile given by a Gaussian in the other direction. The features of this second regime appear as new phenomena.     

On a class of Sobolev scalar products in the polynomials

This paper discusses Sobolev orthogonal polynomials for a class of scalar products that contains the sequentially dominated products introduced by Lagomasino and Pijeira. We prove asymptotics for Markov type functions associated to the Sobolev scalar product and an extension of Widom's Theorem on the location of the zeroes of the orthogonal polynomials. In the case of measures supported in the real line, we obtain results related to the determinacy of the Sobolev moment problem and the completeness of the polynomials in a suitably defined weighted Sobolev space.     

Fixed point solutions of variational inequality and generalized equilibrium problems with applications

In this paper, we introduce a new iterative scheme for finding a common element of the set of fixed points of a nonexpansive mapping, the set of solution of generalized equilibrium problem and the set of solutions of the variational inequality problem for a co-coercive mapping in a real Hilbert space. Then strong convergence of the scheme to a common element of the three sets is proved. Furthermore, new convergence results are deduced and finally we apply our results to solving optimization problems and obtaining zeroes of maximal monotone operators and co-coercive mappings.     

A partial regularity result for harmonic maps into a Finsler manifold

In this paper, we consider the energy of maps from an Euclidean space into a Finsler space and study the partial regularity of energy minimizing maps. We show that the -dimensional Hausdorff measure of the singular set of every energy minimizing map is 0 for some , when m=3,4. Received: 6 June 2001 / Accepted: 10 July 2001 / Published online: 12 October 2001     

Energy‐minimizing coarse spaces for two‐level Schwarz methods for multiscale PDEs

Two‐level overlapping Schwarz methods for elliptic partial differential equations combine local solves on overlapping domains with a global solve of a coarse approximation of the original problem. To obtain robust methods for equations with highly varying coefficients, it is important to carefully choose the coarse approximation. Recent theoretical results by the authors have shown that bases for such robust coarse spaces should be constructed such that the energy of the basis functions is minimized. We give a simple derivation of a method that finds such a minimum energy basis using one local solve per coarse space basis function and one global solve to enforce a partition of unity constraint. Although this global solve may seem prohibitively expensive, we demonstrate that a one‐level overlapping Schwarz method is an effective and scalable preconditioner and we show that such a preconditioner can be implemented efficiently using the Sherman–Morrison–Woodbury formula. The result is an elegant, scalable, algebraic method for constructing a robust coarse space given only the supports of the coarse space basis functions. Numerical experiments on a simple two‐dimensional model problem with a variety of binary and multiscale coefficients confirm this. Numerical experiments also show that, when used in a two‐level preconditioner, the energy‐minimizing coarse space gives better results than other coarse space constructions, such as the multiscale finite element approach. Copyright © 2009 John Wiley & Sons, Ltd.     

The parameterized Steiner problem and the singular Plateau problem via energy

The Steiner problem is the problem of finding the shortest network connecting a given set of points. By the singular Plateau Problem, we will mean the problem of finding an area-minimizing surface (or a set of surfaces adjoined so that it is homeomorphic to a 2-complex) spanning a graph. In this paper, we study the parametric versions of the Steiner problem and the singular Plateau problem by a variational method using a modified energy functional for maps. The main results are that the solutions of our one- and two-dimensional variational problems yield length and area minimizing maps respectively, i.e. we provide new methods to solve the Steiner and singular Plateau problems by the use of energy functionals. Furthermore, we show that these solutions satisfy a natural balancing condition along its singular sets. The key issue involved in the two-dimensional problem is the understanding of the moduli space of conformal structures on a 2-complex.

     

Chaotic weighted shifts in Bargmann space

This paper deals with the unilateral backward shift operator T on a Bargmann space F(C). This space can be identified with the sequence space ?²(N). We use the hypercyclicity criterion of Bès, Chan, and Seubert and the program of K.-G. Grosse-Erdmann to give a necessary and sufficient condition in order that T be a chaotic operator. The chaoticity of differentiation which correspond to the annihilation operator in quantum radiation field theory is in view, since the Bargmann space is an infinite-dimensional separable complex Hilbert space.     

Inverse problem for Euler-Poisson-Darboux abstract differential equation

For the nonhomogeneous Euler-Poisson-Darboux equation in a Banach space, we consider the problem of determination of a parameter on the right-hand side of the equation by the excessive final condition. This problem can be reduced to the inversion of some operator represented in a suitable form and related to the operator solving the Cauchy problem for the homogeneous Euler-Poisson-Darboux equation. As the final result, we show that the solvability of the problem considered depends on the distribution of zeroes of some analytic function. In addition, we give a simple sufficient condition ensuring the unique solvability of the problem. __________ Translated from Sovremennaya Matematika. Fundamental’nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 15, Differential and Functional Differential Equations. Part 1, 2006.     

Compactification of moduli space of harmonic mappings

We introduce the notion of harmonic nodal maps from the stratified Riemann surfaces into any compact Riemannian manifolds and prove that the space of the energy minimizing nodal maps is sequentially compact. We also give an existence result for the energy minimizing nodal maps. As an application, we obtain a general existence theorem for minimal surfaces with arbitrary genus in any compact Riemannian manifolds. Received: 1 April 1997; revised: 15 April 1998.     

Double tori solution to an equation of mean curvature and Newtonian potential

Studies of near periodic patterns in many self-organizing physical and biological systems give rise to a nonlocal geometric problem in the entire space involving the mean curvature and the Newtonian potential. One looks for a set in space of the prescribed volume such that on the boundary of the set the sum of the mean curvature of the boundary and the Newtonian potential of the set, multiplied by a parameter, is constant. Despite its simple form, the problem has a rich set of solutions and its corresponding energy functional has a complex landscape. When the parameter is sufficiently large, there exists a solution that consists of two tori: a larger torus and a smaller torus. Due to the axisymmetry, the problem is formulated on a half plane. A variant of the Lyapunov–Schmidt procedure is developed to reduce the problem to minimizing the energy of the set of two exact tori, as an approximate solution, with respect to their radii. A re-parameterization argument shows that the double tori so obtained indeed solves the equation of mean curvature and Newtonian potential. One also obtains the asymptotic formulae for the radii of the tori in terms of the parameter. This double tori set is the first known disconnected solution.     

Variational approximations in energy space for the regulator problem with time delay

We consider a variational procedure for approximating the solution of the state regulator problem with time delay. Motivated by a dual formulation of the problem, we introduce a positive-definite functionalF over a certain energy space of Mikhlin and obtain approximating solutions by the Ritz-Trefftz idea of minimizing it over finite-dimensional subspaces. The resulting approximating solutions, in turn, furnish suboptimal solutions which converge to the optimal solution of the regulator problem with time delay. A priori error bounds in terms of splines are given. A posteriori error bounds are also obtained.     

Using a level set approach for image segmentation under interpolation conditions

In this paper, we propose a new 2D segmentation model including geometric constraints, namely interpolation conditions, to detect objects in a given image. We propose to apply the deformable models to an explicit function using the level set approach (Osher and Sethian [24]); so, we avoid the classical problem of parameterization of both segmentation representation and interpolation conditions. Furthermore, we allow this representation to have topological changes. A problem of energy minimization on a closed subspace of a Hilbert space is defined and introducing Lagrange multipliers enables us to formulate the corresponding variational problem with interpolation conditions. Thus the explicit function evolves, while minimizing the energy and it stops evolving when the desired outlines of the object to detect are reached. The stopping term, as in the classical deformable models, is related to the gradient of the image. Numerical results are given. AMS subject classification 74G65, 46-xx, 92C55     

Sequential stable Kuhn-Tucker theorem in nonlinear programming

A general parametric nonlinear mathematical programming problem with an operator equality constraint and a finite number of functional inequality constraints is considered in a Hilbert space. Elements of a minimizing sequence for this problem are formally constructed from elements of minimizing sequences for its augmented Lagrangian with values of dual variables chosen by applying the Tikhonov stabilization method in the course of solving the corresponding modified dual problem. A sequential Kuhn-Tucker theorem in nondifferential form is proved in terms of minimizing sequences and augmented Lagrangians. The theorem is stable with respect to errors in the initial data and provides a necessary and sufficient condition on the elements of a minimizing sequence. It is shown that the structure of the augmented Lagrangian is a direct consequence of the generalized differentiability properties of the value function in the problem. The proof is based on a “nonlinear” version of the dual regularization method, which is substantiated in this paper. An example is given illustrating that the formal construction of a minimizing sequence is unstable without regularizing the solution of the modified dual problem.     

Connected components of the strata of quadratic differentials over the Teichmüller space

In this paper, we study the connected components of strata of the space of quadratic differentials lying over the Teichmüller space. We use certain general properties of sections of line bundles to put an upper bound on the number of connected components, and a generalized version of the Gauss map as an invariant to put a lower bound on the number of such components. For strata with sufficiently many zeroes of the same order the above lower bound and upper bound coincide.     

On the Fock space of metaanalytic functions

We develop the theory on the Fock space of metaanalytic functions, a generalization of some recent results on the Fock space of polyanalytic functions. We show that the metaanalytic Bargmann transform is a unitary mapping between vector-valued Hilbert spaces and metaanalytic Fock spaces. A reproducing kernel of the metaanalytic Fock space is derived in an explicit form. Furthermore, we establish a complete characterization of all lattice sampling and interpolating sequence for the Fock space of metaanalytic functions.     

The Manifold-Valued Dirichlet Problem for Symmetric Diffusions

Harmonic maps between two Riemannian manifolds M and N are often constructed as energy minimizing maps. This construction is extended for the Dirichlet problem to the case where the Riemannian energy functional on M is replaced by a more general Dirichlet form. We obtain weakly harmonic maps and prove that these maps send the diffusion to N-valued martingales. The basic tools are the reflected Dirichlet space and the stochastic calculus for Dirichlet processes.     

Characterization of energy minimizers in micromagnetics

We present a new characterization of minimizing sequences and possible minimizers (all called the minimizing magnetizations) for a nonlocal micromagnetic-like energy (without the exchange energy). Our method is to replace the nonlocal energy functional and its relaxation with certain local integral functionals on divergence-free fields obtained by a two-step minimization of some auxiliary augmented functionals. Through this procedure, the minimization problem becomes equivalent to the minimization of a new local variational functional, called the dual variational functional, which has a unique minimizer. We then precisely characterize the minimizing magnetizations of original nonlocal functionals in terms of the unique minimizer of the dual variational functional. Finally, we give some remarks and ideas on solving the dual minimization problem.