Elliptic Reconstruction and a Posteriori Error Estimates for Fully Discrete Semilinear Parabolic Optimal Control Problems

This article studies a posteriori error analysis of fully discrete finite element approximations for semilinear parabolic optimal control problems. Based on elliptic reconstruction approach introduced earlier by Makridakis and Nochetto [25], a residual based a posteriori error estimators for the state, co-state and control variables are derived. The space discretization of the state and co-state variables is done by using the piecewise linear and continuous finite elements, whereas the piecewise constant functions are employed for the control variable. The temporal discretization is based on the backward Euler method. We derive a posteriori error estimates for the state, co-state and control variables in the $L^\infty(0,T;L^2(\Omega))$-norm. Finally, a numerical experiment is performed to illustrate the performance of the derived estimators.     

Riemann—Hilbert Problem for the First Order Elliptic Systems

In this article we discuss the Riemann—Hilbert problems for the first order elliptic systems and prove the existence of the solution by means of general analytic function theory and Cauchy integral formula.     

Sharp Reilly-type inequalities for a class of elliptic operators on submanifolds

Let M be an $n(>2)$-dimensional closed orientable submanifold in an $(n+p)$-dimensional space form ${\mathbb{R}}^{n+p}(c)$. We obtain an optimal upper bound for the second eigenvalue of a class of elliptic operators on M defined by $L_{T}f=-\text{div}(T\mathrm{\nabla }f)$, where T is a general symmetric, positive definite and divergence-free $(1,1)$-tensor on M. The upper bound is given in terms of an integration involving tr T and $|H_T{|}^2$, where tr T is the trace of the tensor T and $H_T={\sum }_{i=1}^{n}A(T{e}_i,e_i)$ is a normal vector field associated with T and the second fundamental form A of M. Furthermore, we give the sufficient and necessary conditions when the upper bound is attained. Our main theorem can be viewed as an extension of the famous “Reilly inequality”. The operator $L_T$ can be regarded as a natural generalization of the well-known operator $L_r$ which is the linearized operator of the first variation of the $(r+1)$-th mean curvature for hypersurfaces in a space form. As applications of our main theorem, we generalize the results of Grosjean [17] and Li–Wang [20] in codimension one to arbitrary codimension.     

On the criteria for integrability of the Liénard equation

The Liénard equation is of a high importance from both mathematical and physical points of view. However a question about integrability of this equation has not been completely answered yet. Here we provide a new criterion for integrability of the Liénard equation using an approach based on nonlocal transformations. We also obtain some of the previously known criteria for integrability of the Liénard equation as a straightforward consequence of our approach’s application. We illustrate our results by several new examples of integrable Liénard equations.     

Limits of elliptic hypergeometric integrals

In Ann. Math., to appear, 2008, the author proved a number of multivariate elliptic hypergeometric integrals. The purpose of the present note is to explore more carefully the various limiting cases (hyperbolic, trigonometric, rational, and classical) that exist. In particular, we show (using some new estimates of generalized gamma functions) that the hyperbolic integrals (previously treated as purely formal limits) are indeed limiting cases. We also obtain a number of new trigonometric (q-hypergeometric) integral identities as limits from the elliptic level. The author was supported in part by NSF Grant No. DMS-0401387.     

Mixed variational formulations in locally convex spaces

The main purpose of this paper is to extend to the setting of locally convex spaces the study of the mixed variational formulation of some elliptic boundary value problems, the so-called Babuška–Brezzi theory. This study consists of characterizing the existence of a solution and giving conditions that guarantee the stability of the corresponding Galerkin method.     

Cyclic torsion of elliptic curves

Let be an elliptic curve over a number field such that
and let denote the number of roots of unity in . Ross proposed a question: Is isogenous over to an elliptic curve such that is cyclic of order dividing ? A counter-example of this question is given. We show that is isogenous to such that . In case has complex multiplication and , we obtain certain criteria whether or not is isogenous to such that .