Let σ be the geodesic inversion on a Heisenberg type group$N$with homogeneous dimension$Q$, and denote by$S$the jacobian of σ. We prove that, for $$ - \frac{1}{2}Q< \alpha< \frac{1}{2}Q$$ , the operators $$T_\alpha :f \mapsto S^{1/2 - \alpha /Q} (f \circ \sigma )$$ are bounded on certain homogeneous Sobolev spaces $$\mathcal{H}^\alpha (N)$$ if and only if$N$is an Iwasawa$N$-group.

Let Ω⊂$R$^{$n$}be an arbitrary open set. In this paper it is shown that if a Sobolev function$f$∈$W$^{1,$p$}(Ω) possesses a zero trace (in the sense of Lebesgue points) on ϖΩ, then$f$is weakly zero on ϖΩ in the sense that$f$∈$W$_{0}^{1,$p$}(Ω).

We shall be concerned with the indicator$p$of an analytic functional μ on a complex manifold$U$: $$p(\varphi ) = \overline {\mathop {\lim }\limits_{t \to + \infty } } \frac{l}{t}\log \left| {\mu (e^{t\varphi } )} \right|,$$ where ϕ is an arbitrary analytic function on$U$. More specifically, we shall consider the smallest upper semicontinuous majorant$p$^{$J$}of the restriction of$p$to a subspace £ of the analytic functions. An obvious problem is then to characterize the set of functions$p$^{$J$}which can occur as regularizations of indicators. In the case when$U$=$C$^{$n$}and £ is the space of all linear functions on$C$^{$n$}, this set can be described more easily as the set of functions(0.1) $$\mathop {\lim }\limits_{\theta \to \zeta } \overline {\mathop {\lim }\limits_{t \to + \infty } } \frac{l}{t}\log \left| {u(t\theta )} \right|$$ of$n$complex variables ζ∈$C$^{$n$}where$u$is an entire function of exponential type in$C$^{$n$}. We hall prove that a function in$C$^{$n$}is of the form (0.1) for some entire function$u$of exponential type if and only if it is plurisubharmonic and positively homogeneous of order one (Theorem 3.4). The proof is based on the characterization given by Fujita and Takeuchi of those open subsets of complex projective$n$-space which are Stein manifolds.

No abstract uploaded!

No abstract uploaded!