Sous ellipticite dans le cadre du calcul S(m,g)

Abstract

We study the regularity of the free boundary in the two membranes problem. We prove that around any point the free boundary is either a C ^{1, α} surface or a cusp, as in the obstacle problem. We also prove C ^{1, 1} regularity for the pair of functions solving the problem.     

Gleason's problem and tangential homogeneous interpolation for hyperholomorphic quaternionic functions

We study a version of Gleason's problem in the setting of functions of class C¹ in the unit ball of ?². We use the setting of hyperholomorphic functions to define and solve the problem. Finally, we briefly discuss a tangential interpolation problem for hyperholomorphic functions.     

On a nonlocal generalization of the biharmonic Dirichlet problem

We consider a mixed problem with the Dirichlet boundary conditions and integral conditions for the biharmonic equation. We prove the existence and uniqueness of a generalized solution in the weighted Sobolev space W ₂². We show that the problem can be viewed as a generalization of the Dirichlet problem.     

An active index algorithm for the nearest point problem in a polyhedral cone

We consider the problem of finding the nearest point in a polyhedral cone C={x∈R ⁿ :D x≤0} to a given point b∈R ⁿ , where D∈R ^m×n . This problem can be formulated as a convex quadratic programming problem with special structure. We study the structure of this problem and its relationship with the nearest point problem in a pos cone through the concept of polar cones. We then use this relationship to design an efficient algorithm for solving the problem, and carry out computational experiments to evaluate its effectiveness. Our computational results show that our proposed algorithm is more efficient than other existing algorithms for solving this problem.     

A Bellman function proof of the L 2 bump conjecture

We approach the problem of finding the sharp sufficient condition for boundedness of all two weight Calderón-Zygmund operators. We solve this problem in L ² by writing a formula for a Bellman function of the problem.     

Finding a minimum independent dominating set in a permutation graph

We give a linear time reduction of the problem of finding a minimum independent dominating set in a permutation graph, into that of finding a shortest maximal increasing subsequence. We then give an O(n log²n)-time algorithm for solving the second (and hence the first) problem. This improves on the O(n³)-time algorithm given in [4] for solving the problem of finding a minimum independent dominating set in a permutation graph.     

ΓD‐convergence for a class of quasilinear elliptic equations in thin structures

We study the asymptotic behaviour of the solution of a stationary quasilinear elliptic problem posed in a domain Ω^(ε) of asymptotically degenerating measure, i.e. meas Ω^(ε) → 0 as ε → 0, where ε is the parameter that characterizes the scale of the microstructure. We obtain the convergence of the solution and the homogenized model of the problem is constructed using the notion of convergence in domains of degenerating measure. Proofs are given using the method of local characteristics of the medium Ω^(ε) associated with our problem in a variational form. Copyright © 2005 John Wiley & Sons, Ltd.     

A Hilbert space approach to maximum entropy reconstruction

We examine here the problem of reconstructing an X-ray attenuation function from measurements of its integrals. The approach that is taken is to maximize the difference of the entropy and the residual error in meeting the measurements. The solution of this optimization problem is constrained by requiring that the solution lie in a certain weakly compact subset of L², to be determined by physical information. We show that the constrained optimization problem is well-posed: there exists a unique solution (even when the measured data are inconsistent) and the solution depends continuously on the measurements. In the course of proving this, we show that the entropy functional is continuous on L². We further demonstrate that the solution of the optimization problem for a special case, must be piecewise constant.     

First order theory of permutation groups

We solve the problem of the elementary equivalence (definability) of the permutation groups over cardinals ℵ_α. We show that it suffices to solve the problem of elementary equivalence (definability) for the ordinals α in certain second order logic, and this is reduced to the case of α < (2^ℵ ₀)⁺. We solve a problem of Mycielski and McKenzie on embedding of free groups in permutation groups, and discuss some weak second-order quantifiers. An erratum to this article is available at .     

Boundary layers for cellular flows at high Péclet numbers

We analyze the behavior of solutions of steady advection‐diffusion problems in bounded domains with prescribed Dirichlet data when the Péclet number Pe ? 1 is large. We show that the solution converges to a constant in each flow cell outside a boundary layer of width O(?^1/2), ? = Pe^?1, around the flow separatrices. We construct an ?‐dependent approximate “water pipe problem” purely inside the boundary layer that provides a good approximation of the solution of the full problem but has ?‐independent computational cost. We also define an asymptotic problem on the graph of streamline separatrices and show that solution of the water pipe problem itself may be approximated by an asymptotic, ?‐independent problem on this graph. Finally, we show that the Dirichlet‐to‐Neumann map of the water pipe problem approximates the Dirichlet‐to‐Neumann map of the separatrix problem with an error independent of the flow outside the boundary layers. © 2004 Wiley Periodicals, Inc.     

Identifying initial condition of the Rayleigh‐Stokes problem with random noise

We investigate a backward problem for the Rayleigh‐Stokes problem, which aims to determine the initial status of some physical field such as temperature for slow diffusion from its present measurement data. This problem is well‐known to be ill‐posed because of the rapid decay of the forward process. We construct a regularized solution using the filter regularization method in the Gaussian random noise. Under some a priori assumptions on the exact solution, we establish the expectation between the exact solution and the regularized solution in the L² and H^m norms.     

Steady transonic shocks and free boundary problems in infinite cylinders for the Euler equations

We establish the existence and stability of multidimensional transonic shocks (hyperbolic‐elliptic shocks) for the Euler equations for steady compressible potential fluids in infinite cylinders. The Euler equations, consisting of the conservation law of mass and the Bernoulli law for velocity, can be written as a second order nonlinear equation of mixed elliptic‐hyperbolic type for the velocity potential. The transonic shock problem in an infinite cylinder can be formulated into the following free boundary problem: The free boundary is the location of the multidimensional transonic shock which divides two regions of C^1,α flow in the infinite cylinder, and the equation is hyperbolic in the upstream region where the C^1,α perturbed flow is supersonic. We develop a nonlinear approach to deal with such a free boundary problem in order to solve the transonic shock problem in unbounded domains. Our results indicate that there exists a solution of the free boundary problem such that the equation is always elliptic in the unbounded downstream region, the uniform velocity state at infinity in the downstream direction is uniquely determined by the given hyperbolic phase, and the free boundary is C^1,α, provided that the hyperbolic phase is close in C^1,α to a uniform flow. We further prove that, if the steady perturbation of the hyperbolic phase is C^2,α, the free boundary is C^2,α and stable under the steady perturbation. © 2003 Wiley Periodicals Inc.     

Some applications of L2-hedging with a non-negative wealth process

We consider the problem of L ²-hedging of contingent claims in diffusion type models for securities markets. In contrast to a recent paper of Schweizer (1994) we insist on a non-negative wealth process corresponding to the optimal hedge portfolio. For this reason the usual projection methods cannot be applied. We give some applications of L ²-hedging in this setting including hedging under constraints, a problem of approximating the wealth process of a richer investor and a mean-variance version of it.     

Maximum induced matching problem on hhd-free graphs

We show that the maximum induced matching problem can be solved on hhd-free graphs in O(m²) time; hhd-free graphs generalize chordal graphs and the previous best bound was O(m³). Then, we consider a technique used by Brandstädt and Hoàng (2008) [4] to solve the problem on chordal graphs. Extending this, we show that for a subclass of hhd-free graphs that is more general than chordal graphs the problem can be solved in linear time. We also present examples to demonstrate the tightness of our results.     

The weighted Fermat-Torricelli problem on a surface and an “inverse” problem

We study the weighted Fermat-Torricelli (w.F-T) problem for geodesic triangles on a C² complete surface and on an Aleksandrov space of curvature bounded above by a real number K and solve an “inverse” problem on a C² complete surface. The solution of the w.F-T problem and the inverse w.F-T problem on a C² complete surface is based on the differentiation of the length of geodesics with respect to the arc length.     

Regularity results and optimal control problems for the perturbation of boussinesq equations of the ocean

We study in this article a method which computes the variability of current, density and pressure in an oceanic domain. The equations are of Navier-Stokes type for the velocity and pressure, of transport-diffusion type for the density. They are linearized around a given mean circulation and modified by the Boussinesq approximation: density variations are neglected except in the terms of gravity acceleration. The existence and uniqueness of a solution are proved for two sets of equations: first the three-dimensional problem and then the two-dimensional cyclic problem derived by assuming a sinusoidal x-dependence for the perturbation of mean flow. The latter corresponds to a modelization of tropical instability waves which are illustrated by the El Nino phenomenon.

The value of the pressure p on the surface of ocean is of great interest for physical interpretation. To define that quantity, it is necessary to have the regularity p ? H ¹. We have proved that the perturbation (u,ρ,p) of mean circulation is such that: u ? L ²(0T,H ²), ρ ? L ²(0,T H ²) and p ? L ² L ²(0,T H ¹), provided the perturbation of the windstress is sufficiently regular and satisfies compatibility relations. It is proved by means of an extension method, with even-odd reflection. We then develop a problem of control. The observation is the Variability of pressure on the surface of ocean. The control is the variability of windstress f, which acts as to forcing of the perturbation. We prove the existence and uniqueness of an optimal control, which is characterized by a set of equations including the direct problem and the adjoint problem. These results are valid for the three-dimensional problem and the two-dimensional cyclic problem.     

Study of a special nonlinear problem arising in convex semi-infinite programming

We consider convex problems of semi-infinite programming (SIP) using an approach based on the implicit optimality criterion. This criterion allows one to replace optimality conditions for a feasible solution x ⁰ of the convex SIP problem by such conditions for x ⁰ in some nonlinear programming (NLP) problem denoted by NLP(I(x ⁰)). This nonlinear problem, constructed on the base of special characteristics of the original SIP problem, so-called immobile indices and their immobility orders, has a special structure and a diversity of important properties. We study these properties and use them to obtain efficient explicit optimality conditions for the problem NLP(I(x ⁰)). Application of these conditions, together with the implicit optimality criterion, gives new efficient optimality conditions for convex SIP problems. Special attention is paid to SIP problems whose constraints do not satisfy the Slater condition and to problems with analytic constraint functions for which we obtain optimality conditions in the form of a criterion. Comparison with some known optimality conditions for convex SIP is provided.     

Piecewise optimal distributed Controls for 2D Boussinesq equations

In this article, we study the dynamics of a piecewise (in time) distributed optimal control problem for the Boussinesq equations which model velocity tracking over time coupled to thermal dynamics. We also study the dynamics of semidiscrete approximation of this problem. We prove that the rates of velocity tracking coupled to thermal dynamics are exponential and that the difference between the solution of the semi‐discrete piecewise optimal control problem and the desired states in L² and H¹ norms decay to zero exponentially as n→∞. Copyright © 2000 John Wiley & Sons, Ltd.     

Nonsmooth eigenfunctions in problems of mathematical physics

We study whether V.A. Il’in’s method for proving the uniqueness of the solution of a mixed problem for a hyperbolic equation applies to a problem with transmission conditions in the interior of the interval. We show that the system of eigenfunctions corresponding to this problem is complete in the space L ²(0, l) and is a Riesz basis in this space.