Optimal Sobolev Imbeddings Involving Rearrangement-Invariant Quasinorms

Let m and n be positive integers with n2 and 1mn−1. We study rearrangement-invariant quasinorms _R and _D on functions f: (0, 1)→ such that to each bounded domain Ω in ⁿ, with Lebesgue measure |Ω|, there corresponds C=C(|Ω|)>0 for which one has the Sobolev imbedding inequality _R(u*(|Ω| t))C_D(|^mu|* (|Ω| t)), uC^m₀(Ω), involving the nonincreasing rearrangements of u and a certain mth order gradient of u. When m=1 we deal, in fact, with a closely related imbedding inequality of Talenti, in which _D need not be rearrangement-invariant, _R(u*(|Ω| t))C_D((d/dt) ∫_{{x ⁿ : |u(x)|>u*(|Ω| t)}} |(u)(x)| dx), uC¹₀(Ω). In both cases we are especially interested in when the quasinorms are optimal, in the sense that _R cannot be replaced by an essentially larger quasinorm and _D cannot be replaced by an essentially smaller one. Our results yield best possible refinements of such (limiting) Sobolev inequalities as those of Trudinger, Strichartz, Hansson, Brézis, and Wainger.     

Elliptic equations for measures: Regularity and global bounds of densities

We consider elliptic equations of the form L^*μ=ν for measures on . The membership of solutions in the Sobolev classes is established under appropriate conditions on the coefficients of L. Bounds of the form (x)CΦ(x)⁻¹ for the corresponding densities are obtained.     

On the similarity of dual operators

Let k be a field with an involution σ and a non-degenerate sesquilinear form, where V,W are n-dimensional k-spaces. Assume that ΛEnd(V) and Λ^*End(W) are dual operators. We show that if Λ and Λ^* are similar, then Λ^*=Λ^-1, where :V→W is Hermitian.     

On constants in some inequalities for intermediate derivatives on a finite interval

Let L_q (1q<∞) be the space of functions f measurable on I=[−1,1] and integrable to the power q, with normL_∞ is the space of functions measurable on I with normWe denote by AC the set of all functions absolutely continuous on I. For nN, q[1,∞] we setW_n,q={f:f⁽ⁿ⁻¹⁾AC, f⁽ⁿ⁾L_q}.In this paper, we consider the problem of accuracy of constants A, B in the inequalities (1)|| f^(m)||_qA|| f||_p+B|| f^(m+k+1)||_r, mN, kW; p,q,r[1,∞], fW_m+k+1,r.     

Irredundant intersections of valuation overrings of two-dimensional Noetherian domains

Let D be a two-dimensional Noetherian domain, let R be an overring of D, and let Σ and Γ be collections of valuation overrings of D. We consider circumstances under which (_VΣV)∩R=(_WΓW)∩R implies that Σ=Γ. We show that if R is integrally closed, these representations are “strongly” irredundant, and every member of ΣΓ has Krull dimension 2, then Σ=Γ. If in addition Σ and Γ are Noetherian subspaces of the Zariski–Riemann space of the quotient field of D (e.g. if Σ and Γ have finite character), then the restriction that the members of ΣΓ have Krull dimension 2 can be omitted. An example shows that these results do not extend to overrings of three-dimensional Noetherian domains.     

Optimal Recovery of the Derivative of Periodic Analytic Functions from Hardy Classes

LetS_β{z : |Im z|<β}. For 2π-periodic functions which are analytic inS_βwithp-integrable boundary values, we construct an optimal method of recovery off′(ξ), ξS_β, using information about the valuesf(x₁), mldr;, f(x_n), x_j[0, 2π).     

Galerkin solution of a singular integral equation with constant coefficients

Galerkin methods are used to approximate the singular integral equation

with solution φ having weak singularity at the endpoint −1, where a, b≠0 are constants. In this case φ is decomposed as φ(x)=(1−x)^α(1+x)^βu(x), where β=−α, 0<α<1. Jacobi polynomials are used in the discussions. Under the conditions fH^μ[−1,1] and k(t,x)H^μ,μ[−1,1]×[−1,1], 0<μ<1, the error estimate under a weighted L² norm is O(n^−μ). Under the strengthened conditions f^″H^μ[−1,1] and , 2α−<μ<1, the error estimate under maximum norm is proved to be O(n^2α−−μ+), where , >0 is a small enough constant.     

Constant-sign solutions for systems of singular integral equations of Hammerstein type

We consider the system of Hammerstein integral equations

where T>0 is fixed, ρ_i’s are given functions and the nonlinearities f_i(t,x₁,x₂,…,x_n) can be singular at t=0 and x_j=0 where j{1,2,,n}. Criteria are offered for the existence of constant-sign solutions, i.e., θ_iu_i(t)≥0 for t[0,T] and 1≤i≤n, where θ_i{1,−1} is fixed. The tools used are a nonlinear alternative of Leray–Schauder type, Krasnosel’skii’s fixed point theorem in a cone and Schauder’s fixed point theorem. We also include examples and applications to illustrate the usefulness of the results obtained.     

-regularity of the Aronsson equation in

For a nonnegative, uniformly convex HC²(R²) with H(0)=0, if uC(Ω), ΩR², is a viscosity solution of the Aronsson equation (1.7), then uC¹(Ω). This generalizes the C¹-regularity theorem on infinity harmonic functions in R² by Savin [O. Savin, C¹-regularity for infinity harmonic functions in dimensions two, Arch. Ration. Mech. Anal. 176 (3) (2005) 351–361] to the Aronsson equation.     

Norm of weighted composition operators from -Bloch spaces to weighted-type spaces

We calculate in an elegant way operator norm of the weighted composition operator from the α-Bloch space, with α(0,∞){1}, to a weighted-type space on the unit ball. This result can be regarded as a complement to our recent result regarding the same problem for the case α=1.     

Classification Theorems for General Orthogonal Polynomials on the Unit Circle

The set of all probability measures σ on the unit circle splits into three disjoint subsets depending on properties of the derived set of {|_n|²dσ}_n0, denoted by Lim(σ). Here {_n}_n0 are orthogonal polynomials in L²(dσ). The first subset is the set of Rakhmanov measures, i.e., of σ with {m}=Lim(σ), m being the normalized (m( )=1) Lebesgue measure on . The second subset Mar( ) consists of Markoff measures, i.e., of σ with mLim(σ), and is in fact the subject of study for the present paper. A measure σ, belongs to Mar( ) iff there are >0 and l>0 such that sup{|a_n+j|:0jl}>, n=0,1,2,…,{a_n} is the Geronimus parameters (=reflectioncoefficients) of σ. We use this equivalence to describe the asymptotic behavior of the zeros of the corresponding orthogonal polynomials (see Theorem G). The third subset consists of σ with {m}Lim(σ). We show that σ is ratio asymptotic iff either σ is a Rakhmanov measure or σ satisfies the López condition (which implies σMar( )). Measures σ satisfying Lim(σ)={ν} (i.e., weakly asymptotic measures) are also classified. Either ν is the sum of equal point masses placed at the roots of zⁿ=λ, λ , n=1,2,…, or ν is the equilibrium measure (with respect to the logarithmic kernel) for the inverse image under an m-preserving endomorphism z→zⁿ, n=1,2,…, of a closed arc J (including J= ) with removed open concentric arc J₀ (including J₀=). Next, weakly asymptotic measures are completely described in terms of their Geronimus parameters. Finally, we obtain explicit formulae for the parameters of the equilibrium measures ν and show that these measures satisfy {ν}=Lim(ν).     

A characterization of convex calibrable sets in with respect to anisotropic norms

A set is called “calibrable” if its characteristic function is an eigenvector of the subgradient of the total variation. The main purpose of this paper is to characterize the “-calibrability” of bounded convex sets in with respect to a norm (called anisotropy in the sequel) by the anisotropic mean -curvature of its boundary. It extends to the anisotropic and crystalline cases the known analogous results in the Euclidean case. As a by-product of our analysis we prove that any convex body C satisfying a -ball condition contains a convex -calibrable set K such that, for any V[|K|,|C|], the subset of C of volume V which minimizes the -perimeter is unique and convex. We also describe the anisotropic total variation flow with initial data the characteristic function of a bounded convex set.     

Borel extractions of converging sequences in compact sets of Borel functions

It is well known by a classical result of Bourgain–Fremlin–Talagrand that if K is a pointwise compact set of Borel functions on a Polish space then given any cluster point f of a sequence (f_n)_nω in K one can extract a subsequence (f_nk)_kω converging to f. In the present work we prove that this extraction can be achieved in a “Borel way.” This will prove in particular that the notion of analytic subspace of a separable Rosenthal compacta is absolute and does not depend on the particular choice of a dense sequence.     

On multipartite posets

A poset P=(X,) is m-partite if X has a partition X=X₁X_m such that (1) each X_i forms an antichain in P, and (2) xy implies xX_i and yX_j where i<j. In this article we derive a tight asymptotic upper bound on the order dimension of m-partite posets in terms of m and their bipartite sub-posets in a constructive and elementary way.     

A pointwise convergence for Sobolev space functions

Let 1<p<∞, and k,m be positive integers such that 0(k−2m)pn. Suppose ΩRⁿ is an open set, and Δ is the Laplacian operator. We will show that there is a sequence of positive constants c_j such that for every f in the Sobolev space W^k,p(Ω), for all xΩ except on a set whose Bessel capacity B_k−2m,p is zero.     

Universal Polynomial Majorants on Convex Bodies

Let K be a convex body in ^d (d2), and denote by B_n(K) the set of all polynomials p_n in ^d of total degree n such that |p_n|1 on K. In this paper we consider the following question: does there exist a p*_nB_n(K) which majorates every element of B_n(K) outside of K? In other words can we find a minimal γ1 and p*_nB_n(K) so that |p_n(x)|γ |p*_n(x)| for every p_nB_n(K) and x ^d\K? We discuss the magnitude of γ and construct the universal majorants p*_n for evenn. It is shown that γ can be 1 only on ellipsoids. Moreover, γ=O(1) on polytopes and has at most polynomial growth with respect to n, in general, for every convex body K.     

Second-order boundary value problems with nonhomogeneous boundary conditions (II)

Sufficient conditions are given for the existence of solutions of the following nonlinear boundary value problem with nonhomogeneous multi-point boundary condition

We prove that the whole plane is divided by a “continuous decreasing curve” Γ into two disjoint connected regions Λ^E and Λ^N such that the above problem has at least one solution for (λ₁,λ₂)Γ, has at least two solutions for (λ₁,λ₂)Λ^EΓ, and has no solution for (λ₁,λ₂)Λ^N. We also find explicit subregions of Λ^E where the above problem has at least two solutions and two positive solutions, respectively.     

Linking and Multiplicity Results for the p-Laplacian on Unbounded Cylinders

We consider the p-Laplacian problem[formula]on unbounded cylinders Ω = Ω̃ × R^N − m  R^N, N − m ≥ 2, where Δ_pu = div(|u|^p − 2u), λ is a constant in a certain range, and a  L^N/p(Ω) ∩ L^∞(Ω) is nonnegative, a  0. Using the principle of symmetric criticality, existence and multiplicity are proved under suitable conditions on a and f.