Some overdetermined boundary value problems for harmonic functions

Summary In this paper we study various overdetermined problems involving harmonic functions. In particular, we show that if the second eigenfunctionu ₂ of the Stekloff eigenvalue problem in a bounded simply connected plane domain has a constant value of u ₂ on , then is a disk

---

Résumé Cet article est consacré à l'étude de certains problèmes surdéterminés pour des fonctions harmoniques. En particulier, nous montrons que si le gradient de la seconde fonction propre du problème de Stekloff défini dans un domaine borné, simplement connexe du plan, a son module constant sur la frontière , alors est nécessairement un disque.

     

Isoperimetric inequalities in a boundary value problem on a Riemannian manifold

In this paper the problem u+1=0 in ,u=0 on is considered. Here is a finite domain on a Riemannian manifold and the associated Laplace-Beltrami operator. By means of maximum principles isoperimetric bounds for the maximum ofu and the maximum of the absolute value of the gradient ofu, as well as some related bounds are derived.

---

Zusammenfassung Diese Arbeit behandelt das Problem u+1=0 in ,u=0 auf , wobei ein Gebiet auf einer zweidimensionalen Riemann'schen Mannigfaltigkeit ist, und der zugehörige Laplace-Beltrami Operator. Es werden isoperimetrische Schranken für das Maximum vonu und |u| aus gewissen Maximumsprinzipien hergeleitet, sowie einige verwandte Resultate.

     

On Ω-closed sets and Ωs-closed sets in topological spaces

Summary New classes of sets called -closed sets and s-closed sets are introduced and studied. Also, we introduce and study -continuous functions and s-continuous functions and prove pasting lemma for these functions. Moreover, we introduce classes of topological spaces -T_1/2 and -T_s.     

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     

Error estimates for the numerical solution of a time-periodic linear parabolic problem

In this paper we consider the numerical solution of a time-periodic linear parabolic problem. We derive optimal order error estimates inL ₂() for approximate solutions obtained by discretizing in space by a Galerkin finite-element method and in time by single-step finite difference methods, using known estimates for the associated initial value problem. We generalize this approach and obtain error estimates for more general discretization methods in the norm of a Banach spaceB L ₂(), e.g.,B=H ₀ ¹ () orL (). Finally, we consider some computational aspects and give a numerical example.     

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.     

On monotone extensions of boundary data

Summary A functionf C (), is called monotone on if for anyx, y the relation x – y ₊ ^s impliesf(x)f(y). Given a domain with a continuous boundary and given any monotone functionf on we are concerned with the existence and regularity ofmonotone extensions i.e., of functionsF which are monotone on all of and agree withf on . In particular, we show that there is no linear mapping that is capable of producing a monotone extension to arbitrarily given monotone boundary data. Three nonlinear methods for constructing monotone extensions are then presented. Two of these constructions, however, have the common drawback that regardless of how smooth the boundary data may be, the resulting extensions will, in general, only be Lipschitz continuous. This leads us to consider a third and more involved monotonicity preserving extension scheme to prove that, when is the unit square [0, 1]² in ², strictly monotone analytic boundary data admit a monotone analytic extension.Research supported by NSF Grant 8922154Research supported by DARPA: AFOSR #90-0323     

Some remarks on the boundary regularity for minima of variational problems with obstacles

We minimize the Dirichlet-integral in a class of vector-valued functions u:^N defined by Dirichlet-boundary conditions and a side-condition of the form u()M with M bounded and open in ^N having smooth boundary M. If the boundary values are sufficiently regular we show that the minimizer can only have interior singularities, i.e. the solution is smooth in a neighborhood of .     

Cofibrations of algebras

Summary The chain complex of a twisted free product A_*t, FK, is chain homotopy equivalent to a differential graded algebra, which is identified to be a confibration of algebras as defined by Quillen. Under certain connectivity conditions we obtain a long exact sequence connecting the homologies of A, K, and A_*t FK. In particular we derive a long exact sequence connecting the homologies of Y, X and (Y U_g CX) (, C, are the loop, the cone and the suspension constructions respectively). A chain complex equivalent to the chain complex of the Milnor free group FX is recognized, from which results a theorem of Bott and Samelson that H(X) is freely generated as a graded algebra by H(X).     

Projections on Lp-spaces of polyanalytic functions

The fundamental result: for an arbitrary bounded, simply connected domain in , the subspace L_n,m ^p() of the space L^p(, ) ( is the plane Lebesgue measure, p 1), consisting of the (m, n)-analytic functions in , is complemented in LP(, ) (a function f is said to be (m, n)-analytic if (^m+n/¯Z^mZⁿ)f=0 in ). Consequently, by virtue of a theorem of J. Lindenstrauss and A. Pelczyski, the space L_n,m ^P() is linearly homeomorphic to lP. In particular, for m=n=1 we obtain that the space of all harmonic L^P-functions in is complemented in L^P(, ). This result has been known earlier only for smooth domains.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 190, pp. 15–33, 1991.     

Operatori lineariT-invarianti rispetto ad un gruppo di congruenze

Summary Let be an open subset of ⁿ, W_m() the linear space of m-vector valued functions defined on , G{} a group of orthogonal matrices mapping onto itself and T{T()} a linear representation of order m of G. A suitable groupC(G,T) of linear operators of W_m(), which leads to a general definition of T-invariant linear operator with respect to G, is here introduced. Characterization theorems concerning the linear differential and integral T-invariant operators are also given. When G is a finite group, projection operators are explicitly obtained; they define a «maximal» decomposition of W_m() into a direct sum of subspaces each of them invariant with respect to any T-invariant linear operator of W_m(). Some examples are givenc.

---

---

Lavoro eseguito nell'ambito del progetto nazionale di ricerca «Analisi numerica e matematica computazionale» nell'anno 1985–86.     

Approximation of a nondifferentiable nonlinear problem related to MHD equilibria

Summary We present a simple method, based on a variant of the implicit function theorem, which leads to the existence of (a part of) a nontrivial solution branch of the nonlinear eigenvalue problem –u=u ⁺ in ,u=–1 on , where is a two-dimensional domain with boundary . The advantage of this method is that we can apply it for analysing the approximation of the above problem by a finite element method; the error analysis of the discrete problem appears immediately. We give also an iteration scheme which allows to solve the approximate problem.     

Nonlocal problems in the theory of the motion equations of Kelvin-Voight fluids

For the motion equations of Kelvin-Voight fluids one proves: 1) a global theorem for the existence and uniqueness of a solution (v;{u_e}) of the initial-boundary value problem on the semiaxis t R⁺ from the class W ¹ (R⁺); W ₂ ² () H()) with initial condition v_o(x) W ₂ ² () H() when the right-hand side f(x, t) L(R ⁺; L₂()); 2) a global theorem for the existence and uniqueness of a solution (v; {u_l}) on the entire axisR from the classW ¹ (R; W ₂ ² () H()) when the right-hand side f(x, t) L(R; L₂()); 3) a global theorem for the existence of at least one solution (v; {u_l}), periodic with respect to t with period , from the class W ¹ (R ⁺; W ₂ ² () H()) when the right-hand side f(x, t) L(R ⁺; L₂()) is periodic with respect to t with period , and a local uniqueness theorem for such a solution; 4) a theorem for the existence and uniqueness in the small of a solution (v; {u_l}), almost periodic with respect to t R, from V. V. Stepanov's class S ¹ (R; W ₂ ² ()H()) when the right-hand side f(x, t) S(R; L₂()) is almost periodic with respect to t; 5) the linearization principle (Lyapunov's first method) is justified in the theory of the exponential stability of the solutions of an initial-boundary value problem in the space H() and conditions are given for the exponential stability of a stationary and periodic solution, with respect to t R, of the system (1).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 181, pp. 146–185, 1990.     

Vector Valued Differentiation Theorems for Multiparameter Additive Processes in Lp Spaces

Let X be a Banach space and (,,µ) be a -finite measure space. We consider a strongly continuous d-dimensional semigroup T={T(u):u=(u₁,..., u_d, u_i >0, 1 i d} of linear contractions on L_p((,,µ); X), with 1 p<. In this paper differentiation theorems are proved for d-dimensional bounded processes in L_p((,,µ); X) which are additive with respect to T. In the theorems below we assume that each T(u) possesses a contraction majorant P(u) defined on L_p((,,µ); R), that is, P(u) is a positive linear contraction on L_p((,,µ); R) such that T(u)f(w) P(u)f(·)() almost everywhere on for all f L_p((,,µ); X).     

Problème de Dirichlet dans l'image Bilipschitzienne d'un demi-espace

Summary We expose a simple theoretic setting to solve Dirichlet's problem relative to a domain which is a bilipschitzian image of a half-space. Using Poisson kernel for a half-space contained in , we are led to solve a variational problem in a band.Such methods coupling finite elements and boundary integrals are used to solve exterior problems (cf. [1, 2, 8, 17]).This work was motivated by [14]. Results of numerical experiments are given. They show the accuracy of the method.

     

Regularity of ∫Ω|∇u|2 + λ∫Ω|u−f{2 and some gap phenomenon

We study the regularity of the minimizer u for the functional F (u,f)=|u|² + |u–f{² over all maps uH ¹(, S ²). We prove that for some suitable functions f every minimizer u is smooth in if ₀ and for the same functions f, u has singularities when is large enough.

---

Résumé On étudie la régularité des minimiseurs u du problème de minimisation min_ueH ¹(,S²)(|u|² + |u–f{². On montre que pour certaines fonctions f, u est régulière lorsque ₀ et pour les mêmes f, si est assez grand, alors u possède des singularités.

     

Some embedding theorems for spaces of harmonic functions

For the domains of the space R ⁿ ,n2, with a finite number of conical points, one proves embedding theorems for the spaces of harmonic functions which generalize the Littlewood-Paley and Carleson theorems. Let ·_p, be a norm which is transferred in some natural manner to the space of harmonic functions in the domain and which in the unit circle of the space ² turns into the norm of the Hardy space H^p and let ^p() be the space of harmonic functions in with this norm. One establishes, in particular, sufficient conditions on the measureV, for which one has the inequality.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 56, pp. 191–194, 1976.     

A degenerate and strongly coupled quasilinear parabolic system not in divergence form

This paper deals with positive solutions of degenerate and strongly coupled quasi-linear parabolic system not in divergence form: u_t=v^p(u+au), v_t=u^q (v+bv) with null Dirichlet boundary condition and positive initial condition, where p, q, a and b are all positive constants, and p, q 1. The local existence of positive classical solution is proved. Moreover, it will be proved that: (i) When min {a, b} ₁ then there exists global positive classical solution, and all positive classical solutions can not blow up in finite time in the meaning of maximum norm (we can not prove the uniqueness result in general); (ii) When min {a, b} > ₁, there is no global positive classical solution (we can not still prove the uniqueness result), if in addition the initial datum (u₀v₀) satisfies u₀ + au₀ 0, v₀+bv₀ 0 in , then the positive classical solution is unique and blows up in finite time, where ₁ is the first eigenvalue of – in with homogeneous Dirichlet boundary condition.This project was supported by PRC grant NSFC 19831060 and 333 Project of JiangSu Province.     

Rappresentazione con integrali multipli di funzionali dipendenti da funzioni a valori in uno spazio di Banach

Summary We consider a functional J: W _10c ^1,p (, X) ×B() [0, ], where X is a Banach space andB() the class of the Borel subsets of the open R_n, and we assume that J has a suitable semicontinuity property respect its first variable, and depends like a measure from the elements ofB(). We show that under certain conditions such a functional can be represented like a multiple integral of a Caratheodory integrand. The first paragraph is devoted to improve some classical results about Sobolev spaces W^1,p(, R) in the case of W^1,p(, X).     

Weighted Composition Operators on Bergman and Dirichlet Spaces

Let H() denote a functional Hilbert space of analytic functions on a domain . Let w : C and : be such that w f is in H() for every f in H(). The operator wC given by f w f is called a weighted composition operator on H(). In this paper we characterize such operators and those for which (wC )* is a composition operator. Compact weighted composition operators on some functional Hilbert spaces are also characterized. We give sufficient conditions for the compactness of such operators on weighted Dirichlet spaces.