On double sine and cosine transforms,Lipschitz and Zygmund classes

We consider complex-valued functions f ∈ L 1 (R+2),where R +:= [0,∞),and prove sufficient conditions under which the double sine Fourier transform f ss and the double cosine Fourier transform f cc belong to one of the two-dimensional Lipschitz classes Lip(α,β) for some 0 α,β≤ 1;or to one of the Zygmund classes Zyg(α,β) for some 0 α,β≤ 2.These sufficient conditions are best possible in the sense that they are also necessary for nonnegative-valued functions f ∈ L 1 (R+2).     

On the iteration of holomorphic self-maps of ℂ*

Letf be a holomorphic self-map of the punctured plane ℂ^*=ℂ\{0} with essentially singular points 0 and ∞. In this note, we discuss the setsI ₀(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞} andI _∞(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞}. We try to find the relation betweenI ₀(f),I _∞(t) andJ(f). It is proved that both the boundary ofI ₀(f) and the boundary ofI _∞)f) equal toJ(f),I ₀(f) ∩J(f) ≠ θ andI _∞(f) ∩J(f) ≠ θ. As a consequence of these results, we find bothI ₀(f) andI _∞(f) are not doubly-bounded. Supported by the National Natural Science Foundation of China     

On some special measures on βG

LetG be a discrete abelian group,Ĝ the character group ofG, andl ^∞(G)^* the conjugate ofl ^∞(G) equipped with an Arens product. In many cases, we can find unitary functionsf such that χf is almost convergent to zero for all χ∈Ĝ. Some of these functions are then used to produce elements μ∈l ^∞(G)^* such that γμ=0 whenever γ is an annihilator ofC ₀(G). Regarded as Borel measures on βG, these elements satisfyxμ=0 for allx∈βG/G. They belong to the radical ofl ^∞(G)^*, and each of them generates a left ideal ofl ^∞(G)^* that contains no minimal left ideal.     

Sign changes in rational L w 1 -approximation

Let f ∈ L _w ¹ [−1, 1], let r _n,m(f) be the best rational L _w ¹ -approximation for f with respect to real rational functions of degree at most n in the numerator and of degree at most m in the denominator, let m = m(n), and let lim _{n → ∞} (n-m(n)) = ∞. In this case, we show that the counting measures of certain subsets of sign changes of f-r _n,m (f) converge weakly to the equilibrium measure on [−1, 1] as n → ∞. Moreover, we prove estimates for discrepancy between these counting measures and the equilibrium measure. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 2, pp. 283–287, February, 2006.     

Gumbel statistics for the longest interval of identical spins in a one-dimensional Gibbs measure

We consider one-dimensional Gibbs measures on spin configurations σ ∈ {–1,+1}^ℤ. For N ∈ ℕ let l _N denote the length of the longest interval of consecutive spins of the same kind in the interval [0,N]. We show that the distribution of a suitable continuous modification l _c (N) of l _N converges to the Gumbel distribution, i.e., for some α, β ∈ (0, ∞) and γ ∈ ℝ, lim _{N →∞} ℙ(l _c (N) ≤ α log N + βx + γ) = e ^{–e –x} . Received: 2 September 2002     

An Application of a Mountain Pass Theorem

We are concerned with the following Dirichlet problem: −Δu(x) = f(x, u), x∈Ω, u∈H ¹ ₀(Ω), (P) where f(x, t) ∈C (×ℝ), f(x, t)/t is nondecreasing in t∈ℝ and tends to an L ^∞-function q(x) uniformly in x∈Ω as t→ + ∞ (i.e., f(x, t) is asymptotically linear in t at infinity). In this case, an Ambrosetti-Rabinowitz-type condition, that is, for some θ > 2, M > 0, 0 > θF(x, s) ≤f(x, s)s, for all |s|≥M and x∈Ω, (AR) is no longer true, where F(x, s) = ∫ ^s ₀ f(x, t)dt. As is well known, (AR) is an important technical condition in applying Mountain Pass Theorem. In this paper, without assuming (AR) we prove, by using a variant version of Mountain Pass Theorem, that problem (P) has a positive solution under suitable conditions on f(x, t) and q(x). Our methods also work for the case where f(x, t) is superlinear in t at infinity, i.e., q(x) ≡ +∞. Received June 24, 1998, Accepted January 14, 2000.     

Existence of singular solutions of a degenerate equation in R 2

Let a₁,a₂, . . . ,a_m ∈ ℝ², 2≤f ∈ C([0,∞)), g_i ∈ C([0,∞)) be such that 0≤g_i(t)≤2 on [0,∞) ∀i=1, . . . ,m. For any p>1, we prove the existence and uniqueness of solutions of the equation u_t=Δ(logu), u>0, in satisfying and logu(x,t)/log|x|→−f(t) as |x|→∞, logu(x,t)/log|x−a_i|→−g_i(t) as |x−a_i|→0, uniformly on every compact subset of (0,T) for any i=1, . . . ,m under a mild assumption on u₀ where We also obtain similar existence and uniqueness of solutions of the above equation in bounded smooth convex domains of ℝ² with prescribed singularities at a finite number of points in the domain.     

On product-cordial index sets and friendly index sets of 2-regular graphs and generalized wheels

A vertex labeling f : V → Z2 of a simple graph G = (V, E) induces two edge labelings f+ , f*: E → Z2 defined by f+ (uv) = f(u)+f(v) and f*(uv) = f(u)f(v). For each i∈Z2 , let vf(i) = |{v ∈ V : f(v) = i}|, e+f(i) = |{e ∈ E : f+(e) = i}| and e*f(i)=|{e∈E:f*(e)=i}|. We call f friendly if |vf(0)-vf(1)|≤ 1. The friendly index set and the product-cordial index set of G are defined as the sets{|e+f(0)-e+f(1)|:f is friendly} and {|e*f(0)-e*f(1)| : f is friendly}. In this paper we study and determine the connection between the friendly index sets and product-cordial index sets of 2-regular graphs and generalized wheel graphs.     

Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ₀ ¹ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R _m ^T ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ₀ ^∞ (Ω^T). Examples of a ∈ C ₀ ^∞ , a ∈ R _m ^T , are presented. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 7–21. Translated by T. N. Surkova.     

Generalization of the perron effect whereby the characteristic exponents of all solutions of two differential systems change their sign from negative to positive

We obtain a generalization of the complete Perron effect whereby the characteristic exponents of all solutions change their sign from negative for the linear approximation system to positive for a nonlinear system with perturbations of higher-order smallness [Differ. Uravn., 2010, vol. 46, no. 10, pp. 1388–1402]. Namely, for arbitrary parameters λ ₁ ≤ λ ₂ < 0 and m > 1 and for arbitrary intervals [b _i , d _i ) ⊂ [λ _i ,+∞), i = 1, 2, with boundaries d ₁ ≤ b ₂, we prove the existence of (i) a two-dimensional linear differential system with bounded coefficient matrix A(t) infinitely differentiable on the half-line t ≥ 1 and with characteristic exponents λ ₁(A) = λ ₁ ≤ λ ₂(A) = λ ₂ < 0; (ii) a perturbation f(t, y) of smallness order m > 1 infinitely differentiable with respect to time t > 1 and continuously differentiable with respect to y ₁ and y ₂, y = (y ₁, y ₂) ∈ R ² such that all nontrivial solutions y(t, c), c ∈ R ², of the nonlinear system .y = A(t)y + f(t, y), y ∈ R ², t ≥ 1, are infinitely extendible to the right and have characteristic exponents λ[y] ∈ [b ₁, d ₁) for c ₂ = 0 and λ[y] ∈ [b ₂, d ₂) for c ₂ ≠ 0.     

Multiparameter inverse problem of approximation by functions with given supports

Let L _p (S), 0 < p < +∞, be a Lebesgue space of measurable functions on S with ordinary quasinorm ∥·∥ _p . For a system of sets {B _t |t ∈ [0, +∞) ⁿ } and a given function ψ: [0, +∞) ⁿ ↦ [ 0, +∞), we establish necessary and sufficient conditions for the existence of a function f ∈ L _p (S) such that inf {∥f − g∥ _p ^p g ∈ L _p (S), g = 0 almost everywhere on S\B _t } = ψ (t), t ∈ [0, +∞) ⁿ . As a consequence, we obtain a generalization and improvement of the Dzhrbashyan theorem on the inverse problem of approximation by functions of the exponential type in L ₂. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1116–1127, August, 2006.     

Implicatively selector sets

Let A⊆N={0,1,2,...} and β be an n-ary Boolean function. We call A a β-implicatively selector (β-IS) set if there exists an n-ary selector general recursive function f such that (∀x₁,...,x_n)(β(χ(x₁),...,χ(x_n))=1⟹f(x₁,...,x_n)∈A), where χ is the characteristic function of A. Let F^(m), m≥1, be the family of all d _m+1 ^* -IS sets, where , F⁽⁰⁾=N, and F^(∞) is the class of all subsets in N. The basic result of the article says that the family of all β-IS sets coincides with one of F^(m), m≥0, or F^(∞), and, moreover, the inclusions F⁽⁰⁾⊂F⁽¹⁾⊂...⊂F^(∞) hold. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 145–153, March–April, 1996.     

Positivity and conditional positivity of Loewner matrices

We give elementary proofs of the fact that the Loewner matrices [\fracf(p_i) - f (p_j)p_i-p_j]{[\frac{f(p_i) - f (p_j)}{p_i-p_j}]} corresponding to the function f(t) = t ^r on (0, ∞) are positive semidefinite, conditionally negative definite, and conditionally positive definite, for r in [0, 1], [1, 2], and [2, 3], respectively. We show that in contrast to the interval (0, ∞) the Loewner matrices corresponding to an operator convex function on (−1, 1) need not be conditionally negative definite.     

Maximality of analytic operator algebras

LetM be a σ-finite von Neumann algebra andα be an action ofR onM. LetH ^∞(α) be the associated analytic subalgebra; i.e.H ^∞(α)={X ∈M: sp_∞(X) [0, ∞]}. We prove that every σ-weakly closed subalgebra ofM that containsH ^∞(α) isH ^∞(γ) for some actionγ ofR onM. Also we show that (assumingZ(M)∩M ^α = Ci)H ^∞(α) is a maximal σ-weakly closed subalgebra ofM if and only if eitherH ^∞(α)={A ∈M: (I−F)xF=0} for some projectionF ∈M, or sp(α)=Γ(α).     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too. This research was made while the author was visiting the Humboldt University in Berlin supported by the Alexander von Humboldt Foundation.     

Algebraic polynomials least deviating from zero in measure on a segment

We investigate the problem of algebraic polynomials with given leading coefficients that deviate least from zero on the segment [–1, 1] with respect to a measure, or, more precisely, with respect to the functional μ(f) = mes{x ∈ [–1, 1]: ∣f (x)∣ ≥ 1}. We also discuss an analogous problem with respect to the integral functionals ∫_–1¹ φ (∣f (x)∣) dx for functions φ that are defined, nonnegative, and nondecreasing on the semiaxis [0, +∞).     

Weighted composition operators on growth spaces

Denote by Hol(B _n ) the space of all holomorphic functions in the unit ball B _n of ℂ ⁿ , n ≥ 1. Given g ∈ Hol(B _m ) and a holomorphic mapping φ: B _m → B _n , put C _φ ^g f = g · (f ∘ φ) for f ∈ Hol(B _n ). We characterize those g and φ for which C _φ ^g is a bounded (or compact) operator from the growth space A ^−log(B _n ) or A ^−β (B _n ), β > 0, to the weighted Bergman space A _α ^p (B _m ), 0 < p < ∞, α > −1. We obtain some generalizations of these results and study related integral operators.     

Differential equations related to the Williams-Bjerknes tumour model

We investigate an initial value problem which is closely related to the Williams-Bjerknes tumour model for a cancer which spreads through an epithelial basal layer modeled onI ⊂ Z ². The solution of this problem is a familyp = (p _i(t)), where eachp _i(t)could be considered as an approximation to the probability that the cell situated ati is cancerous at timet. We prove that this problem has a unique solution, it is defined on [0, +∞[, and, for some relevant situations, lim_t→∞ P _i(t) = 1 for alli ∈ I. Moreover, we study the expected number of cancerous cells at timet.     

β级星像函数类和凸像函数类的扩展问题

本文利用文[2,3]的引理和算子L(a,c)f(z)的一些性质.结合Hadamard乘积,研究了算子L(a,c)f(z),获得了L(a,c)f(z)∈S*(β)和L(a,c)f(z)∈K(β)的充分条件,推广了文[2,3]的相关结论.