Feedback operator for a pseudoparabolic optimal control problem

The feedback operator of a linear pseudoparabolic problem with quadratic criterion is obtained by decoupling of the optimality condition. The feedback operator is shown to be related to the solution of a Riccati equation formulated in theB*-algebra of bounded linear operators onL ²(). This approach shows that the linear feedback operator may be considered as a bounded operator fromL ²() intoH ₀ ¹ (). Finally, we give a theorem establishing the convergence behavior for the feedback operators for these problems as they formally approach an analogous problem of parabolic type.This work was supported in part by the National Science Foundation, Grant No. MCS-7902037.     

Compactness method in the finite element theory of nonlinear elliptic problems

Summary Finite element approximation of a nonlinear elliptic pseudomonotone second-order boundary value problem in a bounded nonpolygonal domain with mixed Dirichlet-Neumann boundary conditions is studied. In the discretization we approximate the domain by a polygonal one, use linear conforming triangular elements and evaluate integrals by numerical quadratures. We prove the solvability of the discrete problem and on the basis of compactness properties of the corresponding operator (which is not monotone in general) we prove the convergence of approximate solutions to an exact weak solutionuH ¹ ). No additional assumption on the regularity of the exact solution is needed.     

On the domain dependence of solutions to the two-phase Stefan problem

We prove that solutions to the two-phase Stefan problem defined on a sequence of spatial domains _n ^N converge to a solution of the same problem on a domain where is the limit of _n in the sense of Mosco. The corresponding free boundaries converge in the sense of Lebesgue measure on ^N.     

Homogenization of a Singularly Perturbed Parabolic Problem in a Thick Periodic Junction of the Type 3:2:1

We prove a convergence theorem and obtain asymptotic (as 0) estimates for a solution of a parabolic initial boundary-value problem in a junction that consists of a domain ₀ and a large number N ² of -periodically located thin cylinders whose thickness is of order = O(N ^–1).     

Coupling of viscous and inviscid Stokes equations via a domain decomposition method for finite elements

Summary A generalized Stokes problem is addressed in the framework of a domain decomposition method, in which the physical computational domain is partitioned into two subdomains ₁ and ₂.Three different situations are covered. In the former, the viscous terms are kept in both subdomains. Then we consider the case in which viscosity is dropped out everywhere in . Finally, a hybrid situation in which viscosity is dropped out only in ₁ is addressed. The latter is motivated by physical applications.In all cases, correct transmission conditions across the interface between ₁ and ₂ are devised, and an iterative procedure involving the successive resolution of two subproblems is proposed.The numerical discretization is based upon appropriate finite elements, and stability and convergence analysis is carried out.We also prove that the iteration-by-subdomain algorithms which are associated with the various domain decomposition approaches converge with a rate independent of the finite element mesh size.This work was partially supported by CIRA S.p.A. under the contract Coupling of Euler and Navier-Stokes equations in hypersonic flowsDeceased     

Total flux estimates for a finite element approximation of the Dirichlet problem using the boundary penalty method

Summary This paper considers a fully practical piecewise linear finite element approximation of the Dirichlet problem for a second order self-adjoint elliptic equation,Au=f, in a smooth region< ⁿ (n=2 or 3) by the boundary penalty method. Using an unfitted mesh; that is ^h , an approximation of with dist (, ^h )Ch ² is not in general a union of elements; and assuminguH ⁴ () we show that one can recover the total flux across a segment of the boundary of with an error ofO(h ²⁾. We use these results to study a fully practical piecewise linear finite element approximation of an elliptic equation by the boundary penalty method when the prescribed data on part of the boundary is the total flux.Supported by a SERC research studentship     

Continuation of <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-holomorphic functions

Let be a bounded domain in Cⁿ and let L²_h() be the L²-holomorphic functions on . We show that the envelope of holomorphy and the L²_h()-envelope of holomorphy of differ by at most a pluripolar set.Mathematics Subject Classification (2000): 32D10, 32A36, 32U30This article is based on work the author did during his Ph.D. studies at the University of Michigan under the supervision of John Erik Fornæss.     

Difference schemes for fourth-order one-dimensional equations with nonlinear boundary condition

A difference scheme is constructed for a boundary-value problem for a one-dimensional biharmonic equation with nonlinear boundary condition. Under the hypothesis that the exact solution of the problem belongs to the Sobolev space W ₂ ^k(),k [2, 4], in the lattice norm L ₂ (), an estimate is obtained of the precision of the difference scheme to O(h^k–1,5).Translated fromVychislitel'naya i Prikladnaya Matematika, No. 69, pp. 43–50, 1989.     

On Compensated Compactness for Nonlinear Elliptic Problems in Perforated Domains

We consider a sequence of Dirichlet problems for a nonlinear divergent operator A: W _m ¹( _s ) [W _m ¹( _s )]^* in a sequence of perforated domains _s . Under a certain condition imposed on the local capacity of the set \ _s , we prove the following principle of compensated compactness: , where r _s(x) and z _s(x) are sequences weakly convergent in W _m ¹() and such that r _s(x) is an analog of a corrector for a homogenization problem and z _s(x) is an arbitrary sequence from whose weak limit is equal to zero.     

State constrained control problems for parabolic systems: Regularity of optimal solutions

Quadratic control problems for parabolic equations withstate constraints are considered. Regularity (smoothness) of the optimal solution is investigated. It is shown that the optimal control is continuous in time with the values inL ₂() and its time derivative belongs toL ₂[OT×].Research partially supported by National Aeronautics and Space Administration under Grant No. NSG 4015.     

Cohomological characterization of pseudoconvexity in a Banach space

Let X be a Banach space with a countable unconditional basis (e.g., X=₂), X open. We show that is pseudoconvex if and only if for each affine complex line L in X the sheaf cohomology group H ¹ (,I) vanishes, where I is the ideal sheaf of all holomorphic functions on that vanish on L. We also give an example that the condition H ^q (,)=0 for all q1 unlike in finite dimensions does not imply the pseudoconvexity of . Lastly, we prove an interpolation result. Mathematics Subject Classification (2002): 32T05, 46G20.     

An embedding theorem for a limiting exponent

We consider the function space B _p ^l () of functionsf(x), defined on the domain of a certain class and characterized by specific differential-difference properties in L_p(). We prove a theorem on the embedding B _p,q ^l () L_q in the case whenl=n/p –n/q >0 and its generalization for vectorl, p, q.Translated from Matematicheski Zametki, Vol. 6, No. 2, pp. 129–138, August, 1969.     

A characterization ofL n(K) as a permutation group

In 1972 M. O'Nan proved thatL _n (q),h 3; can be characterized as a doubly-transitive groupG on a finite set , whereG _a has an Abelian normal subgroup acting not semi-regularly on -a. In the Main Theorem we show that a similar statement holds if is infinite. Our result implies O'Nan's theorem.This paper is part of the author's Ph.D. thesis written under supervision of Prof. F. G. Timmesfeld.     

Homogenization and concentrated capacity for the heat equation with non-linear variational data in reticular almost disconnected structures and applications to visual transduction

Out of a right, circular cylinder of height H and cross-section a disc of radius R+ one removes a stack of nH/ parallel, equi-spaced cylinders C_j,j=1,2,...,n, each of radius R and height . Here , are fixed positive numbers and is a positive parameter to be allowed to go to zero. The union of the C_j almost fills in the sense that any two contiguous cylinders C_j are at a mutual distance of the order of and that the outer shell, i.e., the gap S=-_o has thickness of the order of (_o is obtained from by formally setting =0). The cylinder from which the C_j are removed, is an almost disconnected structure, it is denoted by , and it arises in the mathematical theory of phototransduction.For each >0 we consider the heat equation in the almost disconnected structure , for the unknown function u, with variational boundary data on the faces of the removed cylinders C_j. The limit of this family of problems as 0 is computed by concentrating heat capacity and diffusivity on the outer shell, and by homogenizing the u within the limiting cylinder _o.It is shown that the limiting problem consists of an interior diffusion in _o and a boundary diffusion on the lateral boundary S of _o. The interior diffusion is governed by the 2-dimensional heat equation in _o, for an interior limiting function u. The boundary diffusion is governed by the Laplace–Beltrami heat equation on S, for a boundary limiting function u_S. Moreover the exterior flux of the interior limit u provides the source term for the boundary diffusion on S. Finally the interior limit u, computed on S in the sense of the traces, coincides with the boundary limit u_S. As a consequence of the geometry of , local arguments do not suffice to prove convergence in _o, and also we have to take into account the behavior of the solution in S. A key, novel idea consists in extending equi-bounded and equi-Hölder continuous functions in -dependent domains, into equi-bounded and equi-Hölder continuous functions in the whole ^N, by means of the Kirzbraun–Pucci extension technique.The biological origin of this problem is traced, and its application to signal transduction in the retina rod cells of vertebrates is discussed. Mathematics Subject Classification (2000) 35B27, 35K50, 92C37     

Recovery of An Unknown Flux in Parabolic Problems with Nonstandard Boundary Conditions: Error Estimates

In this paper, we consider a 2nd order semilinear parabolic initial boundary value problem (IBVP) on a bounded domain ^N, with nonstandard boundary conditions (BCs). More precisely, at some part of the boundary we impose a Neumann BC containing an unknown additive space-constant (t), accompanied with a nonlocal (integral) Dirichlet side condition.We design a numerical scheme for the approximation of a weak solution to the IBVP and derive error estimates for the approximation of the solution u and also of the unknown function .     

Graphs of Constant Mean Curvature in Hyperbolic Space

We study the problem of finding constant mean curvature graphsover a domain of a totally geodesic hyperplane andan equidistant hypersurface Q of hyperbolic space. We findthe existence of graphs of constant mean curvature H overmean convex domains Q and with boundary for –H < H |h|, where H > 0 is the mean curvature of the boundary . Here h is the mean curvature respectively of the geodesic hyperplane (h= 0) and of the equidistant hypersurface (0 < |h|< 1). The lower bound on H is optimal.     

Harmonic analysis on tori

We consider measurable subsets {ofR}ⁿ with 0<m()<, and we assume that has a spectral set . (In the special case when is also assumed open, may be obtained as the joint spectrum of a family of commuting self-adjoint operators {H _k: 1kn} in L ² () such that each H _k is an extension of i(/x _k) on C _c (), k=1, ..., n.)It is known that is a fundamental domain for a lattice if is itself a lattice. In this paper, we consider a class of examples where is not assumed to be a lattice. Instead is assumed to have a certain inhomogeneous form, and we prove a necessary and sufficient condition for to be a fundamental domain for some lattice in {ofR}ⁿ. We are thus able to decide the question, fundamental domain or not, by considering only properties of the spectrum . Our criterion is obtained as a corollary to a theorem concerning partitions of sets which have a spectrum of inhomogeneous form.Work supported in part by the NSF.Work supported in part by the NSRC, Denmark.     

Generalized Padé-Type Approximation and Integral Representations

In several complex variables, the multivariate Padé-type approximation theory is based on the polynomial interpolation of the multidimensional Cauchy kernel and leads to complicated computations. In this paper, we replace the multidimensional Cauchy kernel by the Bergman kernel function K (z,x) into an open bounded subset of C ⁿ and, by using interpolating generalized polynomials for K (z,x), we define generalized Padé-type approximants to any f in the space OL ²() of all analytic functions on which are of class L ². The characteristic property of such an approximant is that its Fourier series representation with respect to an orthonormal basis for OL ²() matches the Fourier series expansion of f as far as possible. After studying the error formula and the convergence problem, we show that the generalized Padé-type approximants have integral representations which give rise to the consideration of an integral operator – the so-called generalized Padé-type operator – which maps every f OL ²() to a generalized Padé-type approximant to f. By the continuity of this operator, we obtain some convergence results about series of analytic functions of class L ². Our study concludes with the extension of these ideas into every functional Hilbert space H and also with the definition and properties of the generalized Padé-type approximants to a linear operator of H into itself. As an application we prove a Painlevé-type theorem in C ⁿ and we give two examples making use of generalized Padé-type approximants.     

On the existence of multiple solutions of nonhomogeneous elliptic equations involving critical Sobolev exponents

Letp=2N/(N –2),N 3 be the limiting Sobolev exponent and ^N a bounded smooth domain. We show that for H ^–1(),f satisfies some conditions then–u=c ₁ u ^p–1 +f(x,u) + admits at least two positive solutions.     

Variational problems in SBV and image segmentation

We show how it is possible to prove the existence of solutions of the Mumford-Shah image segmentation functional F(u,K) = _\K [u² + (u – g)²]dx + ^{n – 1}(K), u W ^1,2(\K), K closed in .We use a weak formulation of the minimum problem in a special class SBV() of functions of bounded variation. Moreover, we also deal with the regularity of minimizers and the approximation of F by elliptic functionals defined on Sobolev spaces. In this paper, we have collected the main results of Ambrosio and others.