Convergence of Distributed Optimal Controls on the Internal Energy in Mixed Elliptic Problems when the Heat Transfer Coefficient Goes to Infinity

We consider a steady-state heat conduction problem P _α with mixed boundary conditions for the Poisson equation depending on a positive parameter α , which represents the heat transfer coefficient on a portion Γ ₁ of the boundary of a given bounded domain in R ⁿ . We formulate distributed optimal control problems over the internal energy g for each α . We prove that the optimal control g_ op _α and its corresponding system u_ g_ op _α α and adjoint p_ g_ op _α α states for each α are strongly convergent to g _op , u_ g _op and p _ g _op , respectively, in adequate functional spaces. We also prove that these limit functions are respectively the optimal control, and the system and adjoint states corresponding to another distributed optimal control problem for the same Poisson equation with a different boundary condition on the portion Γ ₁ . We use the fixed point and elliptic variational inequality theories.     

Convergence of distributed optimal control problems governed by elliptic variational inequalities

First, let u _g be the unique solution of an elliptic variational inequality with source term g. We establish, in the general case, the error estimate between $u_{3}(\mu)=\mu u_{g_{1}}+ (1-\mu)u_{g_{2}}$ and $u_{4}(\mu)=u_{\mu g_{1}+ (1-\mu) g_{2}}$ for ????[0,1]. Secondly, we consider a family of distributed optimal control problems governed by elliptic variational inequalities over the internal energy g for each positive heat transfer coefficient h given on a part of the boundary of the domain. For a given cost functional and using some monotony property between u ₃(??) and u ₄(??) given in Mignot (J.?Funct. Anal. 22:130?C185, 1976), we prove the strong convergence of the optimal controls and states associated to this family of distributed optimal control problems governed by elliptic variational inequalities to a limit Dirichlet distributed optimal control problem, governed also by an elliptic variational inequality, when the parameter h goes to infinity. We obtain this convergence without using the adjoint state problem (or the Mignot??s conical differentiability) which is a great advantage with respect to the proof given in Gariboldi and Tarzia (Appl. Math. Optim. 47:213?C230, 2003), for optimal control problems governed by elliptic variational equalities.     

Convergence of boundary optimal controls in mixed elliptic problems

We consider a steady-state heat conduction problem P_α withmixed boundary conditions for the Poisson equation in a bounded multidimensional domain Ω depending of a positive parameter α which represents the heat transfer coefficient on a portion Γ₁ of the boundary of Ω. We consider, for each α > 0, a cost function J_α and we formulate boundary optimal control problems with restrictions over the heat flux q on a complementary portion Γ₂ of the boundary of Ω. We obtain that the optimality conditions are given by a complementary free boundary problem in Γ₂ in terms of the adjoint state. We prove that the optimal control q and its corresponding system state u and adjoint state p for each α are strongly convergent to q_op, u and p in L²(Γ₂), H¹(Ω), and H¹(Ω) respectively when α → ∞. We also prove that these limit functions are respectively the optimal control, the system state and the adjoint state corresponding to another boundary optimal control problem with restrictions for the same Poisson equation with a different boundary condition on the portion Γ₁. We use the elliptic variational inequality theory in order to prove all the strong convergences. In this paper, we generalize the convergence result obtained in Ben Belgacem-El Fekih-Metoui, ESAIM:M2AN, 37 (2003), 833-850 by considering boundary optimal control problems with restrictions on the heat flux q defined on Γ₂ and the parameter α (which goes to infinity) is defined on Γ₁. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Remark on the Linearized Stability of Positive Solutions for Systems Involving the p-Laplacian

The aim of this paper is to prove some stability result for nonlinear elliptic systems of the form where Δ_p denotes the p-Laplacian operator defined by Δ_pz = div(|∇ z|^p-2∇ z); p > 2, Ω is a bounded domain in R^N (N > 1) with smooth boundary where with h = 1 when α = 1, λ is a positive parameter and f,g are C² functin on [0,∞) × [0,∞). We prove stability and instability results of positive stationary solutions under various choices of f and g.     

Bound states for a coupled Schrödinger system

We consider the existence of bound states for the coupled elliptic system

Decay Rates of Interactive Hyperbolic-Parabolic PDE Models with Thermal Effects on the Interface

We consider coupled PDE systems comprising of a hyperbolic and a parabolic-like equation with an interface on a portion of the boundary. These models are motivated by structural acoustic problems. A specific prototype consists of a wave equation defined on a three-dimensional bounded domain Ω coupled with a thermoelastic plate equation defined on Γ ₀—a flat surface of the boundary \partial Ω . Thus, the coupling between the wave and the plate takes place on the interface Γ ₀. The main issue studied here is that of uniform stability of the overall interactive model. Since the original (uncontrolled) model is only strongly stable, but not uniformly stable, the question becomes: what is the ``minimal amount' of dissipation necessary to obtain uniform decay rates for the energy of the overall system? Our main result states that boundary nonlinear dissipation placed only on a suitable portion of the part of the boundary which is complementary to Γ <sub>0</sub>, suffices for the stabilization of the entire structure. This result is new with respect to the literature on several accounts: (i) thermoelasticity is accounted for in the plate model; (ii) the plate model does not account for any type of mechanical damping, including the structural damping most often considered in the literature; (iii) there is no mechanical damping placed on the interface Γ <sub>0</sub>; (iv) the boundary damping is nonlinear without a prescribed growth rate at the origin; (v) the undamped portions of the boundary \partial Ω are subject to Neumann (rather than Dirichlet) boundary conditions, which is a recognized difficulty in the context of stabilization of wave equations, due to the fact that the strong Lopatinski condition does not hold. The main mathematical challenge is to show how the thermal energy is propagated onto the hyperbolic component of the structure. This is achieved by using a recently developed sharp theory of boundary traces corresponding to wave and plate equations, along with the analytic estimates recently established for the co-continuous semigroup associated with thermal plates subject to free boundary conditions. These trace inequalities along with the analyticity of the thermoelastic plate component allow one to establish appropriate inverse/ recovery type estimates which are critical for uniform stabilization. Our main result provides ``optimal' uniform decay rates for the energy function corresponding to the full structure. These rates are described by a suitable nonlinear ordinary differential equation, whose coefficients depend on the growth of the nonlinear dissipation at the origin. \par Accepted 12 May 2000. Online publication 6 October 2000.     

Average bending of convex pleated planes in hyperbolic three-space

If P is a pleated plane in 3-dimensional hyperbolic space H ³ and α a geodesic in its intrinsic metric we define B(P,α), the average bending of P in the direction α. We show that if P is a convex pleated plane embedded in H ³ then B(P,α)≤K for some universal K. Furthermore if P_Γ is a boundary component of the convex hull of a quasi-Fuchsian group Γ then B(P_Γ,α)=B(Γ) almost everywhere, where B(Γ) is a constant times the length of the bending lamination β_Γ of the pleated surface X _Γ=P_Γ/Γ. We use these to prove a number of results about quasi-Fuchsian groups including a universal bound on the Lipschitz constant for the map to infinity and a bound on the length of β_Γ by a constant times the Euler characteristic of X _Γ. Oblatum 10-X-1996 & 23-V-1997     

Isospectral deformations on Riemannian manifolds which are diffeomorphic to compact Heisenberg manifolds

It is known that ifH _m is the classical (2m+1)-dimensional Heisenberg group, Γ a cocompact discrete subgroup ofH _m andg a left invariant metric, then (Γ/H _{m, g}) is infinitesimally spectrally rigid within the family of left invariant metrics. The purpose of this paper is to show that for everym≥2 and for a certain choice of Γ andg, there is a deformation (Γ/H _{m, g α}) withg=g ₁ such that for every α≠1, (Γ/H _{m, g α})does admit a nontrivial isospectral deformation. For α≠1 the metricsg _α will not beH _m-left invariant, and the (Γ/H _m, gx_α) will not be nilmanifolds, but still solvmanifolds.     

Asymptotic in Sobolev spaces for symmetric Paneitz-type equations on Riemannian manifolds

We describe the asymptotic behaviour in Sobolev spaces of sequences of solutions of Paneitz-type equations [Eq. (E _α ) below] on a compact Riemannian manifold (M, g) which are invariant by a subgroup of the group of isometries of (M, g). We also prove pointwise estimates.     

Harmonic maps from manifolds of <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript>-Riemannian metrics

For a bounded domain Ω ⊂ R ⁿ endowed with L ^∞-metric g, and a C ⁵-Riemannian manifold (N, h) ⊂ R ^k without boundary, let u ∈ W ^1,2(Ω, N) be a weakly harmonic map, we prove that (1) u ∈ C ^α (Ω, N) for n = 2, and (2) for n ≥ 3, if, in additions, g ∈ VMO(Ω) and u satisfies the quasi-monotonicity inequality (1.5), then there exists a closed set Σ ⊂ Ω, with H ^n-2(Σ) = 0, such that for some α ∈ (0, 1). C. Y. Wang Partially supported by NSF.     

On the 2 very ampleness of the adjoint bundle

Let S be a smooth projective surface over C polarized by a 2-very ample line bundle L=O _S(L), i.e. for any 0-dimensional subscheme (Z,O _Z ) of length 3 the restriction map Γ(L)→Γ(L⊗O _Z) is a surjection. This generalization of very ampleness was recently introduced by M. Beltrametti and A.J. Sommese. The authors prove that, if L·L≥13, the adjoint line bundleK _S⊗L is 2-very ample apart from a list of well understood exceptions and up to contracting down the smooth rational curves E such that E·E=−1, L·E=2. The appendix contains an inductive argument in order to extend the result in higher dimension.     

A bifurcation problem governed by the boundary condition I

We deal with positive solutions of Δu = a(x)u ^p in a bounded smooth domain subject to the boundary condition ∂u/∂v = λu, λ a parameter, p > 1. We prove that this problem has a unique positive solution if and only if 0 < λ < σ₁ where, roughly speaking, σ₁ is finite if and only if |∂Ω ∩ {a = 0}| > 0 and coincides with the first eigenvalue of an associated eigenvalue problem. Moreover, we find the limit profile of the solution as λ → σ₁. Supported by DGES and FEDER under grant BFM2001-3894 (J. García-Melián and J. Sabina) and ANPCyT PICT No. 03-05009 (J. D. Rossi). J.D. Rossi is a member of CONICET.     

Three-term asymptotics for the boundary layers of semilinear elliptic eigenvalue problems

We consider the nonlinear eigenvalue problem −Δu=λ f(u) in Ω u=0 on ∂Ω, where Ω is a ball or an annulus in R^N (N ≥ 2) and λ > 0 is a parameter. It is known that if λ >> 1, then the corresponding positive solution u_λ develops boundary layers under some conditions on f. We establish the asymptotic formulas for the slope of the boundary layers of u_λ with the exact second term and the ‘optimal’ estimate of the third term.     

Heat kernel expansions on the integers and the Toda lattice hierarchy

We consider the heat equation u _t = Lu where L is a second-order difference operator in a discrete variable n. The fundamental solution has an expansion in terms of the Bessel functions of imaginary argument. The coefficients α _k (n, m) in this expansion are analogs of Hadamard’s coefficients for the (continuous) Schr?dinger operator. We derive an explicit formula for α _k in terms of the wave and the adjoint wave functions of the Toda lattice hierarchy. As a first application of this result, we prove that the values of these coefficients on the diagonals n = m and n = m + 1 define a hierarchy of differential-difference equations which is equivalent to the Toda lattice hierarchy. Using this fact and the correspondence between commutative rings of difference operators and algebraic curves we show that the fundamental solution can be summed up, giving a finite formula involving only two Bessel functions with polynomial coefficients in the time variable t, if and only if the operator L belongs to the family of bispectral operators constructed in [18].      

Estimates of the rate of decay of solutions to the impedance mixed problem for the wave equation in a region with noncompact boundary

The paper is devoted to the study of the behavior of the following mixed problem for large values of time:

Fourth order equations of critical Sobolev growth. Energy function and solutions of bounded energy in the conformally flat case

Given (M,g) a smooth compact Riemannian manifold of dimension n ≥ 5, we consider equations like

Regularity of radial minimizers of reaction equations involving the <Emphasis Type="Italic">p</Emphasis>-Laplacian

We consider semi-stable, radially symmetric, and decreasing solutions of  − Δ _p u = g(u) in the unit ball of , where p > 1, Δ _p is the p-Laplace operator, and g is a locally Lipschitz function. For this class of radial solutions, which includes local minimizers, we establish pointwise, L ^q , and W ^1,q estimates which are optimal and do not depend on the specific nonlinearity g. Among other results, we prove that every radially decreasing and semi-stable solution u belonging to W ^1,p (B ₁) is bounded whenever n < p + 4p/(p − 1). Under standard assumptions on the nonlinearity g(u) = λf (u), where λ > 0 is a parameter, it is proved that the corresponding extremal solution u ^* is semi-stable, and hence, it enjoys the regularity stated in our main result.     

Groups with an element permuting with finitely many of its conjugates

We study the problem as to which is the cardinality of connected components of the graph Γ_α, defined as follows. Let G be a group and a an element of G. The vertex set V(Γ_α) of the graph is the conjugacy class of elements,Cl _G(a), and two vertices x and y of the graph Γ_α are bridged by an edge iff x=y. If the intersectionC _G(a)∩Cl _G(a) is finite, Γ_α is locally finite. We prove that connected components of the locally finite graph Γ_α are finite in some classes of groups. Supported by RFFR grant No. 94-01-01084. Translated fromAlgebra i Logika, Vol. 35, No. 5, pp. 543–551, September–October, 1996.     

The Adjoint Action of an Expansive Algebraic -Action

 Let , and let α be an expansive -action by continuous automorphisms of a compact abelian group X with completely positive entropy. Then the group of homoclinic points of α is countable and dense in X, and the restriction of α to the α-invariant subgroup is a -action by automorphisms of . By duality, there exists a -action by automorphisms of the compact abelian group : this action is called the adjoint action of α. We prove that is again expansive and has completely positive entropy, and that α and are weakly algebraically equivalent, i.e. algebraic factors of each other. A -action α by automorphisms of a compact abelian group X is reflexive if the -action on the compact abelian group adjoint to is algebraically conjugate to α. We give an example of a non-reflexive expansive -action α with completely positive entropy, but prove that the third adjoint is always algebraically conjugate to . Furthermore, every expansive and ergodic -action α is reflexive. The last section contains a brief discussion of adjoints of certain expansive algebraic -actions with zero entropy. Received 11 June 2001; in revised form 29 November 2001     

On existence, uniform decay rates and blow up for solutions of the 2-D wave equation with exponential source

This paper is concerned with the study of the nonlinear damped wave equation