Gâteaux derivatives and their applications to approximation in Lorentz spaces Γp,w

We establish the formulas of the left‐ and right‐hand Gâteaux derivatives in the Lorentz spaces Γ_p,w = {f: ∫₀^α (f **)^p w < ∞}, where 1 ≤ p < ∞, w is a nonnegative locally integrable weight function and f ** is a maximal function of the decreasing rearrangement f * of a measurable function f on (0, α), 0 < α ≤ ∞. We also find a general form of any supporting functional for each function from Γ_p,w , and the necessary and sufficient conditions for which a spherical element of Γ_p,w is a smooth point of the unit ball in Γ_p,w . We show that strict convexity of the Lorentz spaces Γ_p,w is equivalent to 1 < p < ∞ and to the condition ∫₀^∞ w = ∞. Finally we apply the obtained characterizations to studies the best approximation elements for each function f ∈ Γ_p,w from any convex set K ? Γ_p,w (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Outer Γ-Convexity in Vector Spaces

A subset S of some vector space X is said to be outer Γ-convex w.r.t. some given balanced subset Γ ? X if for all x ₀, x ₁ ? S there exists a closed subset Λ ? [0,1] such that {x _λ | λ ? Λ} ? S and [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ, where x _λ: = (1 ? λ)x ₀ + λ x ₁. A real-valued function f:D → ? defined on some convex D ? X is called outer Γ-convex if for all x ₀, x ₁ ? D there exists a closed subset Λ ? [0,1] such that [x ₀, x ₁] ? {x _λ | λ ? Λ} + 0.5 Γ and f(x _λ) ≤ (1 ? λ)f(x ₀) + λ f(x ₁) holds for all λ ? Λ. Outer Γ-convex functions possess some similar optimization properties as these of convex functions, e.g., lower level sets of outer Γ-convex functions are outer Γ-convex and Γ-local minimizers are global minimizers. Some properties of outer Γ-convex sets and functions are presented, among others a simplex property of outer Γ-convex sets, which is applied for establishing a separation theorem and for proving the existence of modified subgradients of outer Γ-convex functions.     

One Boundary Version of Morera's Theorem

Let D be a bounded domain in C ⁿ (n>1) with a connected smooth boundary D and let f be a continuous function on D. We consider conditions (generalizing those of the Hartogs–Bochner theorem) for holomorphic extendability of f to D. As a corollary we derive some boundary analog of Morera's theorem claiming that if the integrals of f vanish over the intersection of the boundary of the domain with complex curves in some class then f extends holomorphically to the domain.     

Extremal discs and holomorphic extension from convex hypersurfaces

Let D be a convex domain with smooth boundary in complex space and let f be a continuous function on the boundary of D. Suppose that f holomorphically extends to the extremal discs tangent to a convex subdomain of D. We prove that f holomorphically extends to D. The result partially answers a conjecture by Globevnik and Stout of 1991.     

On the solvability of the jump problem in clifford analysis

Let Ω be a bounded open and oriented connected subset of ? ⁿ which has a compact topological boundary Γ, let C be the Dirac operator in ? ⁿ , and let ?_0,n be the Clifford algebra constructed over the quadratic space ? ⁿ . An ?_0,n -valued smooth function f : Ω → ?_0,n in Ω is called monogenic in Ω if Df = 0 in Ω. The aim of this paper is to present the most general condition on Γ obtained so far for which a Hölder continuous function f can be decomposed as F ⁺ ? F ^? = f on Γ, where the components F ^± are extendable to monogenic functions in Ω^± with Ω⁺ := Ω, and Ω^? := ? ⁿ \ (Ω ? Γ), respectively.     

On a Commuting Graph on Conjugacy Classes of Groups

We consider the graph Γ(G), associated with the conjugacy classes of a group G. Its vertices are the nontrivial conjugacy classes of G, and we join two different classes C, D, whenever there exist x ∈ G and y ∈ D such that xy = yx. The aim of this article is twofold. First, we investigate which graphs can occur in various contexts and second, given a graph Γ(G) associated with G, we investigate the possible structure of G. We proved that if G is a periodic solvable group, then Γ(G) has at most two components, each of diameter at most 9. If G is any locally finite group, then Γ(G) has at most 6 components, each of diameter at most 19. Finally, we investigated periodic groups G with Γ(G) satisfying one of the following properties: (i) no edges exist between noncentral conjugacy classes, and (ii) no edges exist between infinite conjugacy classes. In particular, we showed that the only nonabelian groups satisfying (i) are the three finite groups of order 6 and 8.     

Continuous dependence of the scattering amplitude on the surface of an obstacle

Let D_j,j = 1,2, be two bounded domains (obstacles) in ?ⁿ, n ≥ 2, with the boundaries Γ_j. Let A_j be the scattering amplitude corresponding to D_j. The Dirichlet boundary condition is assumed on Γ_j. A formula is derived for A:= A₁ ? A₂. This formula is used for a derivation of the estimate of ∣A₁ ? A₂∣ in terms of the distance d(Γ₁, Γ₂) between Γ₁ and Γ₂. If d(Gamma;₁, Gamma;₂) ? ?, then ∣A∣ ? c?, where c is a positive constant which depends on Γ₁ and Γ₂ provided that one of the boundaries is of C^1,λ class, 0 < λ < 1, and the other one is a polyhedron which approximates the first one. The results are useful, in particular, for boundary elements method of solving scattering problems.     

Polar boundary sets for superdiffusions and removable lateral singularities for nonlinear parabolic PDEs

Suppose L is a second-order elliptic differential operator in ℝ^d and D is a bounded, smooth domain in ℝ^d. Let 1 < α ≤ 2 and let Γ be a closed subset of ∂D. It is known [13] that the following three properties are equivalent: (α) Γ is ∂-polar; that is, Γ is not hit by the range of the corresponding (L, α)-superdiffusion in D; (β) the Poisson capacity of Γ is equal to 0; that is, the integral is equal to 0 or ∞ for every measure ν, where ρ(x) is the distance to the boundary and k(x, y) is the corresponding Poisson kernel; and (γ) Γ is a removable boundary singularity for the equation Lu = u^α in D; that is, if u ≥ 0 and Lu = u^α in D and if u = 0 on ∂D \ Γ, then u = 0. We investigate a similar problem for a parabolic operator in a smooth cylinder 𝒬 = ℝ₊ × D. Let Γ be a compact set on the lateral boundary of 𝒬. We show that the following three properties are equivalent: (a) Γ is 𝒢-polar; that is, Γ is not hit by the graph of the corresponding (L, α)-superdiffusion in 𝒬; (b) the Poisson capacity of Γ is equal to 0; that is, the integral is equal to 0 or ∞ for every measure ν, where k(r, x; t, y) is the corresponding (parabolic) Poisson kernel; and (c) Γ is a removable lateral singularity for the equation u˙ + Lu = u^α in 𝒬; that is, if u ≥ 0 and u˙ + Lu = u^α in 𝒬 and if u = 0 on ∂𝒬 \ Γ and on {∞} × D, then u = 0. © 1998 John Wiley & Sons, Inc.     

Almost Prüfer v-Multiplication Domains and Related Domains of the Form D + D S [Γ*]

Let D be an integral domain, S be a (saturated) multiplicative subset of D such that D ? D _S , Γ be a numerical semigroup with Γ ? ?₀, Γ* = Γ?{0}, X be an indeterminate over D, D + XD _S [X] = {a + Xg ∈ D _S [X]∣a ∈ D and g ∈ D _S [X]}, and D + D _S [Γ*] = {a + f ∈ D _S [Γ]∣a ∈ D and f ∈ D _S [Γ*]}; so D + D _S [Γ*] ? D + XD _S [X]. In this article, we study when D + D _S [Γ*] is an APvMD, an AGCD-domain, an AS-domain, an AP-domain, or an AB-domain.     

Characterizations of *-Cancellation Ideals of an Integral Domain

Let D be an integral domain and * a star-operation on D. For a nonzero ideal I of D, let I ^{* _f} = ?{J* | (0) ≠ J ? I is finitely generated} and I ^{* _w} = ? _{P∈* f -Max(D)} ID _P . A nonzero ideal I of D is called a *-cancellation ideal if (IA)* = (IB)* for nonzero ideals A and B of D implies A* =B*. Let X be an indeterminate over D and N _* = {f ∈ D[X] | (c(f))* =D}. We show that I is a * _w -cancellation ideal if and only if I is * _f -locally principal, if and only if ID[X] _{N *} is a cancellation ideal. As a corollary, we have that each nonzero ideal of D is a * _w -cancellation ideal if and only if D _P is a principal ideal domain for all P ∈ * _f -Max(D), if and only if D[X] _{N *} is an almost Dedekind domain. We also show that if I is a * _w -cancellation ideal of D, then I ^{* _w}  = I ^{* _f}  = I _t , and I is * _w -invertible if and only if I ^{* _w}  = J _v for a nonzero finitely generated ideal J of D.     

On the convergence of Kergin and Hakopian interpolants at Leja sequences for the disk

We prove that Kergin interpolation polynomials and Hakopian interpolation polynomials at the points of a Leja sequence for the unit disk D of a sufficiently smooth function f in a neighbourhood of D converge uniformly to f on D. Moreover, when f∈C ^∞(D), all the derivatives of the interpolation polynomials converge uniformly to the corresponding derivatives of f.     

On the Prime Ideal Structure of Bhargava Rings

Let D be an integral domain with quotient field K. A Bhargava ring over D is defined to be 𝔹 _x (D): = {f ∈ K[X] | ? a ∈ D, f(xX + a) ∈ D[X]}, where x ∈ D. A Bhargava ring over D is a subring of the ring of integer-valued polynomials over D. In this article, we study the prime ideal structure and calculate the Krull and valuative dimension of Bhargava rings over a general domain D.     

On the integral equation method for the plane mixed boundary value problem of the Laplacian

Although the plane boundary value problem for the Laplacian with given Dirichlet data on one part Γ₂ and given Neumann data on the remaining part Γ₂ of the boundary is the simplest case of mixed boundary value problems, we present several applications in classical mathematical physics. Using Green's formula the problem is converted into a system of Fredholm integral equations for the yet unknown values of the solution u on Γ₂ and the also desired values of the normal derivatie on Γ₁. One of these equations has principal part of the second kind, whereas that one of the other is of the first kind. Since any improvement of constructive methods requires higher regularity of u but, on the other hand, grad u possesses singularities at the collision points Γ₁ ∩ Γ₂ even for C^∞ data, u is decomposed into special singular terms and a regular rest. This is incorporated into the integral equations and the modified system is solved in appropriate Sobolev spaces. The solution of the system requires to solve a Fredholm equation of the first kind on the arc Γ₂ providing an improvement of regularity for the smooth part of u. Since the integral equations form a strongly elliptic system of pseudodifferential operators, the Galerkin procedure converges. Using regular finite element functions on Γ₁ and Γ₂ augmented by the special singular functions we obtain optimal order of asymptotic convergence in the norm corresponding to the energy norm of u and also superconvergence as well as high orders in smoother norms if the given data are smooth (and not the solution).     

Analytic continuation of holomorphic correspondences and equivalence of domains in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

The following result is proved: Let D and D′ be bounded domains in ℂ ⁿ , ∂D is smooth, real-analytic, simply connected, and ∂D′ is connected, smooth, real-algebraic. Then there exists a proper holomorphic correspondence f:D→D′ if and only if there exist points p∈∂D and p′∈∂D′, such that ∂D and ∂D′ are locally CR-equivalent near p and p′. This leads to a characterization of the equivalence relationship between bounded domains in ℂ ⁿ modulo proper holomorphic correspondences in terms of local CR-equivalence of their boundaries. Oblatum 23-I-2002 & 18-XI-2002?Published online: 17 February 2003     

Connected components of spaces of Morse functions with fixed critical points

Let M be a smooth closed orientable surface and F = F _p,q,r be the space of Morse functions on M having exactly p points of local minimum, q ≥ 1 saddle critical points, and r points of local maximum, moreover, all the points are fixed. Let F _f be a connected component of a function f ∈ F in F.We construct a surjection π ₀(F) → ℤ ^p+r−1 by means of the winding number introduced by Reinhart (1960). In particular, |π₀(F)| = ∞, and the component F _f is not preserved under the Dehn twist about the boundary of any disk containing exactly two critical points, exactly one of which is a saddle point. Let D be the group of orientation preserving diffeomorphisms of M leaving fixed the critical points, D ⁰ be the connected component of id _M in D, and D _f ⊂ D be the set of diffeomorphisms preserving F _f . Let H _f be the subgroup of D _f generated by D ⁰ and all diffeomorphisms h ∈ D preserving some function f ₁ ∈ F _f , and let H _f ^abs be its subgroup generated by D ⁰ and the Dehn twists about the components of level curves of the functions f ₁ ∈ F _f . We prove thatH _f ^abs ⊊ D _f for q ≥ 2 and construct an epimorphism D _f /H _f ^abs → ℤ₂ ^q−1 by means of the winding number. A finite polyhedral complex K = K _p,q,r associated with the space F is defined. An epimorphism μ: π ₁(K) → D _f /H _f and finite generating sets for the groups D _f /D ⁰ and D _f /H _f in terms of the 2-skeleton of the complex K are constructed.     

The Dirichlet problem for the minimal surface system in arbitrary dimensions and codimensions

Let Ω be a bounded C² domain in ?ⁿ and ? ?Ω → ?^m be a continuous map. The Dirichlet problem for the minimal surface system asks whether there exists a Lipschitz map f : Ω → ?^m with f|_?Ω = ? and with the graph of f a minimal submanifold in ?^n+m. For m = 1, the Dirichlet problem was solved more than 30 years ago by Jenkins and Serrin [12] for any mean convex domains and the solutions are all smooth. This paper considers the Dirichlet problem for convex domains in arbitrary codimension m. We prove that if ψ : ¯Ω → ?^m satisfies 8nδ sup_Ω |D²ψ| + √2 sup_?Ω |Dψ| < 1, then the Dirichlet problem for ψ|_?Ω is solvable in smooth maps. Here δ is the diameter of Ω. Such a condition is necessary in view of an example of Lawson and Osserman [13]. In order to prove this result, we study the associated parabolic system and solve the Cauchy‐Dirichlet problem with ψ as initial data. © 2003 Wiley Periodicals, Inc.     

Holomorphic functions which are highly nonintegrable at the boundary

Given a bounded convex domainD in ℂ^N with smooth boundary and a positive continuous function ϕ ond, it is proved that there is a holomorphic functionf onD such that |f|ϕ is nonintegrable onM∩D wheneverM is a real submanifold of a neighbourhood of a point ofbD which intersectsbD transversely.     

Order bounded derivations on Archimedean almost <Emphasis Type="Italic">f</Emphasis> -algebras

Let A be an Archimedean f -algebra and let N(A) be the set of all nilpotent elements of A. Colville et al. [6] proved that a positive linear map D : A → A is a derivation if and only if D(A) ì N(A){D(A)\subset N(A)} and D(A ²) = {0}, where A ² is the set of all products ab in A. In this paper, we establish a result corresponding to the Colville–Davis–Keimel theorem for an order bounded derivation D on an Archimedean almost f -algebra, which generalizes the results of Boulabiar [3].     

Roper–Suffridge extension operator and the lower bound for the distortion

Liczberski–Starkov gave a sharp lower bound for DΦ_n(f)(z) near the origin, where Φ_n is the Roper–Suffridge extension operator and f is a normalized convex mapping on the unit disk in C. They gave a conjecture that the sharp lower bound holds on the Euclidean unit ball Bⁿ in Cⁿ. In this paper, we will give a sharp lower bound on Bⁿ for a more general extension operator and for normalized univalent mappings f or normalized convex mappings f. We will give a lower bound for mappings f in a linear invariant family. We will also give a similar sharp lower bound on bounded convex complete Reinhardt domains in Cⁿ.