Regularity of free boundaries of two‐phase problems for fully nonlinear elliptic equations of second order I. Lipschitz free boundaries are C1,α

In this paper, we study an extension of a C^1,α regularity theory developed by L. Caffarelli in [2] to some fully nonlinear elliptic equations of second order. In fact, we investigate a two‐phase free boundary problem in which a fully nonlinear elliptic equation of second order is verified by the solution in the positive and the negative domains. Assuming the free boundary is locally a Lipschitz graph, we have established the C^1,α regularity of the free boundary. © 2000 John Wiley & Sons, Inc.     

A viscous approximation for a 2-D steady semiconductor or transonic gas dynamic flow: Existence theorem for potential flow

In this paper we solve a boundary value problem in a two-dimensional domain O for a system of equations of Fluid-Poisson type, that is, a viscous approximation to a potential equation for the velocity coupled with an ordinary differential equation along the streamlines for the density and a Poisson equation for the electric field. A particular case of this system is a viscous approximation of transonic flow models. The general case is a model for semiconductors. We show existence of a density ρ, velocity potential φ, and electric potential Φ in the bounded domain O that are C^1,α(O¯), C^2,α(O¯), and W^2,α(O¯) functions, respectively, such that ρ, φ, Φ, the speed |Δφ|, and the electric field E = ΔΦ are uniformly bounded in the viscous parameter. This is a necessary step in the existing programs in order to show existence of a solution for the transonic flow problem. © 1996 John Wiley & Sons, Inc.     

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.     

The Stokes resolvent equations in 2d exterior domains

With methods of hydrodynamical potential theory we construct a solution of the Stokes resolvent equations in 2d exterior domains with C^1,α-boundaries, 0 < α ≤ 1. The resulting system of boundary integral equations is uniquely solvable for small resolvent parameter λ and allows the limiting procedure λ → 0. (© 2014 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Regularity for Fully Nonlinear Elliptic Equations with Neumann Boundary Data

We obtain local C ^α, C ^1,α, and C ^2,α regularity results up to the boundary for viscosity solutions of fully nonlinear uniformly elliptic second order equations with Neumann boundary conditions.     

The Dirichlet problem for Stokes equation in a domain exterior to an open surface

The paper deals with the Dirichlet problem for the Stokes linear equation in a domain exterior to an open surface. With the help of the theory of boundary integral (pseudo-differential) equations uniqueness and existence theorems are proved in the Bessel-potential and Besov spaces and C^α-smoothness (with α<1/2) of solution is established in the neighbourhood of the boundary of the open surface. © 1997 B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces Lp(·) and Wk,p(·)

We study the Riesz potentials I_αf on the generalized Lebesgue spaces L^p(·)(?^d), where 0 < α < d and I_αf(x) ? ∫equation/tex2gif-inf-3.gif |f(y)| |x – y|^{α – d} dy. Under the assumptions that p locally satisfies |p(x) – p(x)| ≤ C/(– ln |x – y|) and is constant outside some large ball, we prove that I_α : L^p(·)(?^d) → L^p?(·)(?^d), where . If p is given only on a bounded domain Ω with Lipschitz boundary we show how to extend p to on ?^d such that there exists a bounded linear extension operator ? : W^1,p(·)(Ω) ? (?^d), while the bounds and the continuity condition of p are preserved. As an application of Riesz potentials we prove the optimal Sobolev embeddings W^k,p(·)(?^d) ?L^p*(·)(R^d) with and W^1,p(·)(Ω) ? L^p*(·)(Ω) for k = 1. We show compactness of the embeddings W^1,p(·)(Ω) ? L^q(·)(Ω), whenever q(x) ≤ p*(x) – ε for some ε > 0. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Estimating ∇u in terms of div u,curl u,either (ν, u) or ν×u and the topology

In the present paper we prove C^α-estimates for ∇ u using components of boundary values of u , div u , curl u and quantities given by components of boundary values of u as well as boundary values of elements belonging to de Rhams cohomology modules. The vector field u is defined on a bounded set G¯⊂ℝ³, meanwhile the cohomology group will be defined with regard to ℝ³−G. Our inequalities turn out to be a priori estimates concerning well-known boundary value problems for vector fields. © 1997 by B. G. Teubner Stuttgart–John Wiley & Sons Ltd.     

The wi‐club filter on 𝒫κ λ

We develop the theory of C_{κ, λ}ⁱ, a strongly normal filter over ??_κ λ for Mahlo κ. We prove a minimality result, showing that any strongly normal filter containing {x ∈ ??_κ λ: |x | = |x ∩ κ | and |x | is inaccessible} also contains C_{κ, λ}ⁱ. We also show that functions can be used to obtain a basis for C_{κ, λ}ⁱ (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Varieties of Algebras without the Amalgamation Property

Let α be an ordinal and κ be a cardinal, both infinite, such that κ ≤ |α|. For τ ∈^αα, let sup(τ) = {i ∈ α: τ(i) ≠ i}. Let G _κ = {τ ∈^αα: |sup(τ)| < κ}. We consider variants of polyadic equality algebras by taking cylindrifications on Γ ? α, |Γ| < κ and substitutions restricted to G _κ. Such algebras are also enriched with generalized diagonal elements. We show that for any variety V containing the class of representable algebas and satisfying a finite schema of equations, V fails to have the amalgamation property. In particular, many varieties of Halmos’ quasi-polyadic equality algebras and Lucas’ extended cylindric algebras (including that of the representable algebras) fail to have the amalgamation property.     

On Monge‐Ampère equations with homogenous right‐hand sides

We study the regularity and behavior at the origin of solutions to the two‐dimensional degenerate Monge‐Ampère equation det D²_u = |x|^α with α > ?2. We show that when α > 0, solutions admit only two possible behaviors near the origin, radial and nonradial, which in turn implies C^{2, δ}‐regularity. We also show that the radial behavior is unstable. For α < 0 we prove that solutions admit only the radial behavior near the origin. © 2008 Wiley Periodicals, Inc.     

The boundary trace and generalized boundary value problem for semilinear elliptic equations with coercive absorption

In the first part of the paper we establish the existence of a boundary trace for positive solutions of the equation ?Δu + g(x, u) = 0 in a smooth domain Ω ? ?^N, for a general class of positive nonlinearities. This class includes every space independent, monotone increasing g which satisfies the Keller‐Osserman condition as well as degenerate nonlinearities g_α,q of the form g_α,q (x, u) = d(x, ?Ω)^α |u|^q?1 u, with α > ?2 and q > 1. The boundary trace is given by a positive regular Borel measure which may blow up on compact sets. In the second part we concentrate on the family of nonlinearities {g_α,q}, determine the critical value of the exponent q (for fixed α > ?2) and discuss (a) positive solutions with an isolated singularity, for subcritical nonlinearities and (b) the boundary value problem for ?Δu + g_α,q (x, u) = 0 with boundary data given by a positive regular Borel measure (possibly unbounded). We show that, in the subcritical case, the problem possesses a unique solution for every such measure. © 2003 Wiley Periodicals, Inc.     

La monotonia di rappresentazioni del gruppo libero

Let Γ be a free nonabelian group on finitely many generators. Let Ω be the boundary of Γ, letC(Ω) be theC ^*-algebra of continuous functions on Ω, and let λ be the natural action of Γ onC(Ω). Aboundary representation is a representation of the crossed productC ^*-algebra Γ×_λ C(Ω). Given a unitary representation π of Γ onH, aboundary realization of π is an isometric Γ-inclusion ofH into the space of a boundary representation whose image is cyclic for that boundary representation. If the Γ-inclusion is bijective, we call, the realizationperfect. We prove below that if π admits an imperfect boundary realization, then there exists a nonzero vectorv ₀∈H satisfying $$\sum\limits_{|x| = n} {|\left\langle {v,\pi (x)v_0 } \right\rangle |^2 \leqslant |v|^2 } for each v \in {\mathcal{H}} (GVB)$$ If π is irreducible and weakly contained in the regular representation, and if no suchv ₀ exists, it follows that π satisfiesmonotony: up to equivalence, there exists exactly one realization of π, and that realization is perfect.     

Schauder estimates for oblique derivative problems

We prove that the solution of the oblique derivative parabolic problem in a noncylindrical domain Ω^T belongs to the anisotropic Holder space C^{2+α, 1+α/2}(gwT) 0 < α < 1, even if the nonsmooth “lateral boundary” of Ω^T is only of class C^{1+α, (1+α)/2}). As a corollary, we also obtain an a priori estimate in the Hölder space C^2+α(Ω₀) for a solution of the oblique derivative elliptic problem in a domain Ω₀ whose boundary belongs only to the classe C^1+α.     

The initial boundary value problem for Navier-Stokes equations

By making full use of the estimates of solutions to nonstationary Stokes equations and the method discussing global stability, we establish the global existence theorem of strong solutions for Navier-Stokes equatios in arbitrary three dimensional domain with uniformlyC ³ boundary, under the assumption that |a| _L ²(Θ) + |f| _L ¹(0,∞;L ²(Θ)) or |∇a| _L ²(Θ) + |f| _L ²(0,∞;L ²(Θ)) small or viscosityv large. Herea is a given initial velocity andf is the external force. This improves on the previous results. Moreover, the solvability of the case with nonhomogeneous boundary conditions is also discussed. This work is supported by foundation of Institute of Mathematics, Academia Sinica     

Global bifurcation theorem for a class of boundary conditions for ordinary differential equations of second order

In this paper we deal with boundary value problems where l : C¹([a, b], ?^k) → ?^k × ?^k is continuous, μ ≤ 0 and φ is a Caratheodory map. We define the class S of maps l, for which a global bifurcation theorem holds for the problem (+), with φ(t, x, y, λ) = λ(|x₁|, …, |x^k|) + o(|x| + |y|). We show that the class S contains Sturm‐Liouville boundary conditions. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Module Correspondences for Twisted Group Algebras

Abstract

Let G and A be finite groups such that (|G|, |A|) = 1. Let K be an algebraically closed field with Char K = 0. Denote by K ^α G the twisted group algebra of G over K with factor set α. In this paper we prove that if A acts homogeneously on K ^α G, then there exists an action of A on G, and there is a one-to-one correspondence between the set of A-invariant irreducible K ^α G-modules and the set of irreducible K ^α C _G (A)-modules.     

Exact boundary observability for 1‐D quasilinear wave equations

By means of a direct and constructive method based on the theory of semi‐global C² solution, the local exact boundary observability and an implicit duality between the exact boundary controllability and the exact boundary observability are shown for 1‐D quasilinear wave equations with various boundary conditions. Copyright © 2006 John Wiley & Sons, Ltd.     

A Description of the Global Attractor for a Class of Reaction – Diffusion Systems with Periodic Solutions

We examine the autonomous reaction–diffusion system with Dirichlet boundary conditions on (0, 1), where α, β are real, α > 0, and g is C¹ and satisfies some conditions which we need in order to prove the existence of solutions. We construct a solution of (RD) for every initial value in L²((0, 1)) × L²((0, 1)), we show that this solution is uniquely determined and that the solution has C^∞–smooth representatives for all positive t. We determine the long time behaviour of each solution. In particular, we show that each solution of (RD) tends either to the zero solution or to a periodic orbit. We construct all periodic orbits and show that their number is always finite. It turns out that the global attractor is a finite union of subsets of L² × L², which are finite–dimensional manifolds, and the dynamics in these sets can be described completely.     

Regular solutions of initial-boundary value problems for linear and nonlinear wave-equations I

This paper deals with the question of the existence of classical solutions for the equations $$\frac{{\partial ^{2} u}{\partial t^{2} }} + \sum_{\begin{subarray}{l} |\alpha| \leqslant m \\ | \beta | \leqslant m \end{subarray}} D^{\alpha} (A_{\alpha \beta } (x,t) D^{\beta} u) = f (t,x,u)$$ on [0,T] × G. G is a bounded or unbounded domain; the differential operator in the space variables is elliptic; the initial values of u are prescribed and D^αu (t,x) vanishes for (t,x) ∈ [0,T] × ?G, |α|≤ m?1. First we develop a method for solving regularly linear wave equations. In contrast to the usual compatibility conditions, our method requires less differentiability in t but imposes some boundary conditions on f(t). It allows some applications to nonlinear problems which will be treated in the second part of this paper and which e.g. enable us to solve ?² u/?t²?A(t)u+u³=f.