Generalized Harmonic Functions and the Dewetting of Thin Films

This paper describes the solvability of Dirichlet problems for Laplace's equation when the boundary data is not smooth enough for the existence of a weak solution in H¹Ω. Scales of spaces of harmonic functions and of boundary traces are defined and the solutions are characterized as limits of classical harmonic functions in special norms. The generalized harmonic functions, and their norms, are defined using series expansions involving harmonic Steklov eigenfunctions on the domain. It is shown that the usual trace operator has a continuous extension to an isometric isomorphism of specific spaces. This provides a characterization of the generalized solutions of harmonic Dirichlet problems. Numerical simulations of a model problem are described. This problem is related to the dewetting of thin films and the associated phenomenology is described.     

On approximation of affine Baire-one functions

It is known (G. Choquet, G. Mokobodzki) that a Baire-one affine function on a compact convex set satisfies the barycentric formula and can be expressed as a pointwise limit of a sequence of continuous affine functions. Moreover, the space of Baire-one affine functions is uniformly closed. The aim of this paper is to discuss to what extent analogous properties are true in the context of general function spaces. In particular, we investigate the function spaceH(U), consisting of the functions continuous on the closure of a bounded open setU⊂ℝ ^m and harmonic onU, which has been extensively studied in potential theory. We demonstrate that the barycentric formula does not hold for the spaceB ₁ ^b (H(U)) of bounded functions which are pointwise limits of functions from the spaceH(U) and thatB ₁ ^b (H(U)) is not uniformly closed. On the other hand, every Baire-oneH(U)-affine function (in particular a solution of the generalized Dirichlet problem for continuous boundary data) is a pointwise limit of a bounded sequence of functions belonging toH(U). It turns out that such a situation always occurs for simplicial spaces whereas it is not the case for general function spaces. The paper provides several characterizations of those Baire-one functions which can be approximated pointwise by bounded sequences of elements of a given function space. Research supported in part by grants GA ČR No. 201/00/0767 from the Grant Agency of the Czech Republic, GA UK 165/99 from the Grant Agency of Charles University, and in part by grant number MSM 113200007 from the Czech Ministry of Education.     

A counterexample to the closed graph theorem for bilinear maps

The closed graph theorem allows one to assert that if a bounded transformation has an inverse, the inverse is bounded. The corresponding statement for bilinear maps is shown to be false, at least in the category of general Banach spaces. This problem arose in connection with the problem of writing every function in H¹ of the polydisc as a product of functions in H². The method of proof involves a covering of the unit sphere by neighborhoods which are products but in which the bounds involved in these products tend to infinity.     

Trace theorems for functions of bounded variation in metric spaces

In this paper we show existence of traces of functions of bounded variation on the boundary of a certain class of domains in metric measure spaces equipped with a doubling measure supporting a 1-Poincaré inequality, and obtain $L^1$ estimates of the trace functions. In contrast with the treatment of traces given in other papers on this subject, the traces we consider do not require knowledge of the function in the exterior of the domain. We also establish a Maz'ya-type inequality for functions of bounded variation that vanish on a set of positive capacity.     

Boundary values of differentiable functions defined on an arbitrary domain of a Carnot group

We study the boundary values of the functions of the Sobolev function spaces W _∞ ^l and the Nikol’ski? function spaces H _∞ ^l which are defined on an arbitrary domain of a Carnot group. We obtain some reversible characteristics of the traces of the spaces under consideration on the boundary of the domain of definition and sufficient conditions for extension of the functions of these spaces outside the domain of definition. In some cases these sufficient conditions are necessary.     

Hardy spaces for α-harmonic functions in regular domains

We investigate Hardy spaces H ^p for singular α-harmonic functions in bounded domains with regular boundaries. We show the correspondence between these spaces and suitable L ^p spaces and measure spaces.     

Inner divisors and composition operators

This characterization is stated and proved in much greater generality, beginning with subspaces of arbitrary L^∞ spaces and using a notion of inner divisors. Among the consequences are a variant of Wermer's theorem on embedding disks in maximal ideal spaces and a result on linear isometrics of H^∞. The ranges of composition operators C_I when I is not necessarily inner are characterized. In particular, relatively closed sets E ?cΔ of zero logarithmic and zero analytic capacity are characterized in terms of the algebras of bounded analytic functions on A invariant under corresponding Fuchsian groups. The paper concludes with an example of a uniformly closed subalgebra of H^∞ which contains the constants and the inner factors of its members, but is not of the form H ∞ I.     

Traces of functions of generalized Sobolev classes

Considering the Sobolev type function classes on a metric space equipped with a Borel measure we address the question of compactness of embeddings of the space of traces into Lebesgue spaces on the sets of less “dimension.” Also, we obtain compactness conditions for embeddings of the traces of the classical Sobolev spaces W _p ¹ on the “zero” cusp with a Hölder singularity at the vertex.     

Approximators to generalized inverses as regularizers of ill-posed problems

Let H₁ and H₂ be Hilbert spaces and let B be a closed linear operator mapping a dense subset of H₁ into H₂. Several families of approximators which converge t o the orthogonal or Moore-Penrose generalized inverse B^? are constructed. Additionally, the approximators are shown t o provide regularization operators for the equation Bx=y. Some of the results are extended to dissipative operators on reflexive and general Banach spaces.     

Tent spaces associated with semigroups of operators

We study tent spaces on general measure spaces (Ω,μ). We assume that there exists a semigroup of positive operators on Lp(Ω,μ) satisfying a monotone property but do not assume any geometric/metric structure on Ω. The semigroup plays the same role as integrals on cones and cubes in Euclidean spaces. We then study BMO spaces on general measure spaces and get an analogue of Fefferman's H¹-BMO duality theory. We also get a H¹-BMO duality inequality without assuming the monotone property. All the results are proved in a more general setting, namely for noncommutative Lp spaces.     

Multilinear commutators of Calderón-Zygmund operators on Hardy-type spaces with non-doubling measures

Under the assumption that μ is a non-negative Radon measure on Rd which only satisfies some growth condition, the authors obtain the boundedness in some Hardy-type spaces of multilinear commutators generated by Calderón-Zygmund operators or fractional integrals with RBMO(μ) functions, where the Hardy-type spaces are some appropriate subspaces, associated to the considered RBMO(μ) functions, of the Hardy space H¹(μ) of Tolsa.     

Integrals,conditional expectations,and martingales of multivalued functions

Let (Ω, $\text{A}$, μ) be a finite measure space and $\text{X}$ a real separable Banach space. Measurability and integrability are defined for multivalued functions on Ω with values in the family of nonempty closed subsets of $\text{X}$. To present a theory of integrals, conditional expectations, and martingales of multivalued functions, several types of spaces of integrably bounded multivalued functions are formulated as complete metric spaces including the space L¹(Ω; $\text{X}$) isometrically. For multivalued functions in these spaces, multivalued conditional expectations are introduced, and the properties possessed by the usual conditional expectation are obtained for the multivalued conditional expectation with some modifications. Multivalued martingales are also defined, and their convergence theorems are established in several ways.     

Traces of functions with a dominating mixed derivative in ℝ<Superscript>3</Superscript>

We investigate traces of functions, belonging to a class of functions with dominating mixed smoothness in ℝ³, with respect to planes in oblique position. In comparison with the classical theory for isotropic spaces a few new phenomenona occur. We shall present two different approaches. One is based on the use of the Fourier transform and restricted to p = 2. The other one is applicable in the general case of Besov-Lizorkin-Triebel spaces and based on atomic decompositions.     

The Whitney problem of existence of a linear extension operator

We prove that a linear bounded extension operator exists for the trace of C ^1·ω (R ⁿ )to an arbitrary closed subset of R ⁿ .The similar result is obtained for some other spaces of multivariate smooth functions. We also show that unlike the one-dimensional case treated by Whitney, for some trace spaces of multivariate smooth functions a linear bounded extension operator does not exist. The proofs are based on a relation between the problem under consideration and a similar problem for Lipschitz spaces defined on hyperbolic Riemannian manifolds.     

Convolution Operators on Discrete Hardy Spaces

We establish the connection between the boundedness of convolution operators on H^p(ℝ^N) and some related operators on H^p(ℤ^N). The results we obtain here extend the already known for L^p spaces with p > 1. We also study similar results for maximal operators given by convolution with the dilation of a fixed kernel. Our main tools are some known results about functions of exponential type already presented in [BC1] that, in particular, allow us to prove a sampling theorem for functions of exponential type belonging to Hardy spaces     

On the Discrete Poincaré–Friedrichs Inequalities for Nonconforming Approximations of the Sobolev Space H 1

We present a direct proof of the discrete Poincaré–Friedrichs inequalities for a class of nonconforming approximations of the Sobolev space H ¹(Ω), indicate optimal values of the constants in these inequalities, and extend the discrete Friedrichs inequality onto domains only bounded in one direction. We consider a polygonal domain Ω in two or three space dimensions and its shape-regular simplicial triangulation. The nonconforming approximations of H ¹(Ω) consist of functions from H ¹ on each element such that the mean values of their traces on interelement boundaries coincide. The key idea is to extend the proof of the discrete Poincaré–Friedrichs inequalities for piecewise constant functions used in the finite volume method. The results have applications in the analysis of nonconforming numerical methods, such as nonconforming finite element or discontinuous Galerkin methods.     

Boundedness of Commutators with Lipschitz Functions in Non-homogeneous Spaces

Under the assumption that the underlying measure is a non-negative Radon measure which only satisfies some growth condition, the authors prove that for a class of commutators with Lipschitz functions which include commutators generated by Calderon-Zygmund operators and Lipschitz functions as examples, their boundedness in Lebesgue spaces or the Hardy space H1 (μ) is equivalent to some endpoint estimates satisfied by them. This result is new even when the underlying measureμis the d-dimensional Lebesgue measure.     

Some consequences of Pisier’s approach to interpolation

A recent result of Pisier onK-functionals is exploited in the context of function spaces defined from singular integrals. The main consequences appear forH ^p spaces on the complex ball (1≤p≤∞) and spaces of differentiable functions in several variables. It turns out that the complex variable arguments used in [P1] may in certain cases be substituted for real variable methods, which of course have a wider range of applicability. We discuss interpolation of vector valued Hardy spaces on the ball and prove thatL ¹(S)/H ¹(B) satisfies Grothendieck’s theorem, similarly as in the disc case.     

Closed ideals in Dirichlet spaces

It is shown that the closed lattice ideals of Dirichlet spaces and of the Sobolev spacesW ^1,p are those subspaces which consist of all functions which vanish on a prescribed set.