Two Positive Solutions of a Quasilinear Elliptic Dirichlet Problem

For a class of second order quasilinear elliptic equations we establish the existence of two non–negative weak solutions of the Dirichlet problem on a bounded domain, Ω. Solutions of the boundary value problem are critical points of C ¹–functional on H₀¹(W){H_0^1(\Omega)}. One solution is a local minimum and the other is of mountain pass type.     

The solvability of the initial boundary-value problem for equations of motion of a viscous compressible barotropic liquid in the spacesW 2 l+1,l/2+1 (Q T )

A new method of estimating the solutions of the Navier-Stokes equations for a viscous compressible barotropic fluid in a bounded domain Ω⊂ℝ³ is suggested, which makes it possible to investigate the problem for the whole scale of anisotropic spaces W ₂ ^l+2,l/2+1 (Q_T), Q_T=Ω×(0,T), for arbitrary l>1/2. Bibliography: 10 titles. To dear Olga Alexandrovna Ladyzenskaya on her jubilee Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 200, 1992, pp. 177–186. Translated by V. A. Solonnikov.     

The heterogeneous multiscale finite element method for elliptic homogenization problems in perforated domains

In this contribution we analyze a generalization of the heterogeneous multiscale finite element method for elliptic homogenization problems in perforated domains. The method was originally introduced by E and Engquist (Commun Math Sci 1(1):87–132, 2003) for homogenization problems in fixed domains. It is based on a standard finite element approach on the macroscale, where the stiffness matrix is computed by solving local cell problems on the microscale. A-posteriori error estimates are derived in L ²(Ω) by reformulating the problem into a discrete two-scale formulation (see also, Ohlberger in Multiscale Model Simul 4(1):88–114, 2005) and using duality methods afterwards. Numerical experiments are given in order to numerically evaluate the efficiency of the error estimate.     

The cauchy problem at simply characteristic points andP-convexity

Summary Let Ω cR ⁿ be an open set and let P be a linear partial differential operator with constant coefficients inR ⁿ. Then Ω is said to be P-convex if for each f ε C^∞(Ω) there is a u ε D′(Ω) such that P(D)u=f. A complete geometric characterization of P-convex sets inR ³ is given when P is of principal type and when Ω has C²-boundary. As a step in the proof one also obtains necessary and sufficient conditions for uniqueness in the local Cauchy problem at simply characteristic points inR ³. The tools are a sophisticated use of the author's uniqueness cones on one hand and his semi-global nullsolutions on the other hand. Hints are given on the difficulties that may be encountered inR ⁿ for the same problem. Entrata in Redazione il 7 giugno 1978.     

W 2,p -a priori estimates for the emergent Poincaré Problem

We derive W ^2,p (Ω)-a priori estimates with arbitrary p ∈(1, ∞), for the solutions of a degenerate oblique derivative problem for linear uniformly elliptic operators with low regular coefficients. The boundary operator is given in terms of directional derivative with respect to a vector field ℓ that is tangent to ∂Ω at the points of a non-empty set ε ⊂ ∂Ω and is of emergent type on ∂Ω.      

Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ₀ ¹ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R _m ^T ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ₀ ^∞ (Ω^T). Examples of a ∈ C ₀ ^∞ , a ∈ R _m ^T , are presented. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 7–21. Translated by T. N. Surkova.     

A boundary-value problem for the biharmonic equation and the iterated Laplacian in a 3D-domain with an edge

Let Ω be a domain with piecewise smooth boundary. In general, it is impossible to obtain a generalized solution u ∈ W ₂ ² (Ω) of the equation Δ _x ² u = f with the boundary conditions u = Δ_xu = 0 by solving iteratively a system of two Poisson equations under homogeneous Dirichlet conditions. Such a system is obtained by setting v = −Δu. In the two-dimensional case, this fact is known as the Sapongyan paradox in the theory of simply supported polygonal plates. In the present paper, the three-dimensional problem is investigated for a domain with a smooth edge Γ. If the variable opening angle α ∈ C^∞(Γ) is less than π everywhere on the edge, then the boundary-value problem for the biharmonic equation is equivalent to the iterated Dirichlet problem, and its solution u inherits the positivity preserving property from these problems. In the case α ∈ (π 2π), the procedure of solving the two Dirichlet problems must be modified by permitting infinite-dimensional kernel and co-kernel of the operators and determining the solution u ∈ W ₂ ² (Ω) by inverting a certain integral operator on the contour Γ. If α(s) ∈ (3π/2,2π) for a point s ∈ Γ, then there exists a nonnegative function f ∈ L₂(Ω) for which the solution u changes sign inside the domain Ω. In the case of crack (α = 2π everywhere on Γ), one needs to introduce a special scale of weighted function spaces. In this case, the positivity preserving property fails. In some geometrical situations, the problems on well-posedness for the boundary-value problem for the biharmonic equation and the positivity property remain open. Bibliography: 46 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 336, 2006, pp. 153–198.     

Method of straight lines in application to some two-dimensional nonlinear parabolic equations

We consider the first mixed problem for nonlinear parabolic equation. Assuming that the exact solution of the problem is u(t,x,y) ∈ C^4,−0(Q), Q={(x,y)∈Ω, 0⩽t⩽T} we construct a scheme of the method of straight lines of accuracy 0(h²) for the cases when ώ is a rectangle or a trapezoid. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 159, pp. 132–142, 1987.     

A bilinear estimate for biharmonic functions in Lipschitz domains

We show that a bilinear estimate for biharmonic functions in a Lipschitz domain Ω is equivalent to the solvability of the Dirichlet problem for the biharmonic equation in Ω. As a result, we prove that for any given bounded Lipschitz domain Ω in _boxclose^d{\mathbb{R}^{d}} and 1 < q < ∞, the solvability of the L ^q Dirichlet problem for Δ ² u = 0 in Ω with boundary data in WA ^1,q (∂Ω) is equivalent to that of the L ^p regularity problem for Δ ² u = 0 in Ω with boundary data in WA ^2,p (∂Ω), where \frac1p + \frac1q=1{\frac{1}{p} + \frac{1}{q}=1}. This duality relation, together with known results on the Dirichlet problem, allows us to solve the L ^p regularity problem for d ≥ 4 and p in certain ranges.     

Application of Hilbert＇s Projective Metric on Symmetric Cones

Let Ω be a symmetric cone. In this note, we introduce Hilbert＇s projective metric on Ω in terms of Jordan algebras and we apply it to prove that, given a linear invertible transformation g such that g（Ω） = Ω and a real number p, ｜p｜ 〉 1, there exists a unique element x ∈ Ω satisfying g（x） = x^p.     

On elliptic equations and systems with critical growth in dimension two

We consider nonlinear elliptic equations of the form −Δu = g(u) in Ω, u = 0 on ∂Ω, and Hamiltonian-type systems of the form −Δu = g(v) in Ω, −Δv = f(u) in Ω, u = 0 and v = 0 on ∂Ω, where Ω is a bounded domain in ℝ² and f, g ∈ C(ℝ) are superlinear nonlinearities. In two dimensions the maximal growth (= critical growth) of f and g (such that the problem can be treated variationally) is of exponential type, given by Pohozaev-Trudinger-type inequalities. We discuss existence and nonexistence results related to the critical growth for the equation and the system. A natural framework for such equations and systems is given by Sobolev spaces, which provide in most cases an adequate answer concerning the maximal growth involved. However, we will see that for the system in dimension 2, the Sobolev embeddings are not sufficiently fine to capture the true maximal growths. We will show that working in Lorentz spaces gives better results. Dedicated to Professor S. Nikol’skii on the occasion of his 100th birthday     

A study of the influence of compressibility of a fluid on the generation of waves in the ocean

On the basis of a simple one-dimensional model we study the behavior of the free surface of a fluid under nonsteady-state motions of the bottom. The fluid is assumed to be nonviscous and compressible, and the motion of the bottom is described by the function ϰ(t)=(αt)⁴ e^-2αt. To solve the problem we take the Laplace transform with respect to time t and then perform numerical inversion on the basis of the expansion of the functions into Fourier sine series. We carry out a detailed analysis of the influence of the value of the compressibility of the fluid and the rate of lifting of the bottom. Translated fromTeoreticheskaya i Prikladnaya Mekhanika, No. 23, 1992, pp. 102–106.     

On the range of elliptic, second order, nonvariational operators in Sobolev spaces

The subfamilyR(p, Ω) of the class of second order, uniformly elliptic, non variational operators L with bounded measurable coefficients, such that L(W^{2, p} (Ω)) is dense in L^p (Ω), is studied. Sufficient and necessary and sufficient conditions are given, for L to belong toR(p, Ω). An operator L of the class above and not inR(p, Ω) is constructed. Entrata in Redazione il 5 ottobre 1998.     

Real loci of based loop groups

Let (G, K) be a Riemannian symmetric pair of maximal rank, where G is a compact simply connected Lie group and K is the fixed point set of an involutive automorphism σ. This induces an involutive automorphism τ of the based loop space Ω(G). There exists a maximal torus T ⊂ G such that the canonical action of T × S ¹ on Ω(G) is compatible with τ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat’s convexity theorem. Namely, the images of Ω(G) and Ω(G) ^τ (fixed point set of τ) under the T × S ¹ moment map on Ω(G) are equal. The space Ω(G) ^τ is homotopy equivalent to the loop space Ω(G/K) of the Riemannian symmetric space G/K. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in \mathbbZ₂ {\mathbb{Z}_2} of Ω(G) and Ω(G/K). Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson [BS] had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe [HHP].     

Bochner algebras and their compact multipliers

Let \mathfrakA\mathfrak{A} be a normed algebra with identity, Ω be a locally compact Hausdorf space and λ be a positive Radon measure on Ω with supp(λ) = Ω. In this paper, we establish a necessary and sufficient condition for L ¹(Ω, \mathfrakA\mathfrak{A}) to be an algebra with pointwise multiplication. Under this condition, we then characterize compact and weakly compact left multipliers on L ¹(Ω, \mathfrakA\mathfrak{A}).     

A numerical approach to a minimum problem with applications in image segmentation

A numerical approach to the problem: minF ^λ(E), whereF ^λ(E)=P(E,R ⁿ )+λ|Ω/E|, is considered. The functionalF ^λ is approximated, using techniques of Γ-convergence, with a sequence of functionals that are successively discretized by finite differences. A relation between the index of the approximating sequence and the meshsize of the domain is found.

---

Riassunto Viene presentato un approccio numerico del problema: minF ^λ(E), doveF ^λ(E)=P(E,R ⁿ )+λ|Ω/E|. Il funzionaleF ^λ viene approssimato, usando tecniche di Γ-convergenza, con una successione di funzionali, successivamente discretizzati con differenze finite. Viene trovata una relazione tra l'indice della successione approssimante e il passo del reticolo del dominio.

     

The On-Line Heilbronn's Triangle Problem in d Dimensions

In this paper we show a lower bound for the on-line version of Heilbronn's triangle problem in d dimensions. Specifically, we provide an incremental construction for positioning n points in the d-dimensional unit cube, for which every simplex defined by d + 1 of these points has volume Ω(1/n^{(d+1)ln(d-2)-0.265 d+2.269}) (for d ≥ 5).     

The Hadamard Product on Open Sets in the Extended Plane

For two open sets Ω₁, Ω₂ in the extended complex plane, we define a Hadamard product as an operator from H(Ω₁) × H(Ω₂) to H(Ω₁ * Ω₂), where Ω₁ * Ω₂ is the so-called star product. Moreover, we study properties of this product and give applications.     

Existence and multiplicity of solutions for a nonlinear Neumann problem

We consider a Neumann problem of the type -εΔu+F ^′(u(x))=0 in an open bounded subset Ω of R ⁿ , where F is a real function which has exactly k maximum points. Using Morse theory we find that, for ε suitably small, there are at least 2k nontrivial solutions of the problem and we give some qualitative information about them. Received: October 30, 1999 Published online: December 19, 2001     

Potential space estimates in local Hardy spaces for Green potentials in convex domains

Let Ω be a bounded co.nvex domain in Rn(n≥3) and G(x,y) be the Green function of the Laplace operator -△ on Ω. Let hrp(Ω) = {f ∈ D'(Ω) :(E)F∈hp(Rn), s.t. F|Ω = f}, by the atom characterization of Local Hardy spaces in a bounded Lipschitz domain, the bound of f→(△)2(Gf) for every f ∈ hrp(Ω) is obtained, where n/(n 1)＜p≤1.