A problem on semigroups satisfying permutation identities

Let σ be a nontrivial permutation of ordern. A semigroupS is said to be σ-permutable ifx ₁ x ₂ ...x _n =x _σ(1) x _σ(2) ...x _σ(n) , for every (x ₁ ,x ₂,...,x _n )∈S ⁿ . A semigroupS is called(r,t)-commutative, wherer,t are in ℕ^*, ifx ₁ ...x _r x _r+1 ...x _r+t =x _r+1 ...x _r+t x ₁ ...x _r , for every (x ₁ ,x ₂,...,x _r+t ∈S ^r+t . According to a result of M. Putcha and A. Yaqub ([11]), if σ is a fixed-point-free permutation andS is a σ-permutable semigroup then there existsk ∈ ℕ^* such thatS is (1,k)-commutative. In [8], S. Lajos raises up the problem to determine the leastk=k(n) ∈ ℕ^* such that, for every fixed-point-free permutation σ of ordern, every σ-permutable semigroup is also (1,k)-commutative. In this paper this problem is solved for anyn less than or equal to eight and also whenn is any odd integer. For doing this we establish that if a semigroup satisfies a permutation identity of ordern then inevitably it also satisfies some permutation identities of ordern+1.     

Global existence and time decay of small solutions to the landau-ginzburg type equations

We study the Cauchy problem for the nonlinear dissipative equations (0.1) uo∂u-αδu + Β|u|^2/n u = 0,x ∃ Rⁿ,t } 0,u(0,x) = u0(x),x ∃ Rⁿ, where α,Β ∃ C, ℜα 0. We are interested in the dissipative case ℜα 0, and ℜδ(α,Β)≥ 0, θ = |∫ u0(x)dx| ⊋ 0, where δ(α, Β) = ##|α|^n-1n^n/2 / ((n + 1)|α|² + α^{2 n/2}. Furthermore, we assume that the initial data u₀ ∃ L^p are such that (1 + |x|)^αu0 ∃ L¹, with sufficiently small norm ∃ = (1 + |x|)^α u₀ 1 + u₀ p, wherep 1, α ∃ (0,1). Then there exists a unique solution of the Cauchy problem (0.1)u(t, x) ∃ C ((0, ∞); L^∞) ∩ C ([0, ∞); L¹ ∩ L^p) satisfying the time decay estimates for allt0 u(t)||_∞ Cɛt^-n/2(1 + η log 〈t〉)^-n/2, if hg = θ^2/n 2_π ℜδ(α, Β) 0; u(t)||_∞ Cɛt^-n/2(1 + Μ log 〈t〉)^-n/4, if η = 0 and Μ = θ^4/n 4π)² (ℑδ(α, Β))² ℜ((1 + 1/n) υ1-1 υ2) 0; and u(t)||_∞ Cɛt^-n/2(1 + κ log 〈t〉)^-n/6, if η = 0, Μ = 0, κ 0, where υl,l = 1,2 are defined in (1.2), κ is a positive constant defined in (2.31).     

On Cramer Approximations under Violation of Cramer's Condition

Let X ₁, X ₂,... be independent identically distributed random variables with distribution function F, S ₀ = 0, S _n = X ₁ + ⋯ + X _n , and Sˉ _n = max_1⩽k⩽n S _k . We obtain large-deviation theorems for S _n and Sˉ _n under the condition 1 − F(x) = P{X ₁ ⩾ x} = e^−l(x), l(x) = x ^α L(x), α ∈ (0, 1), where L(x) is a slowly varying function as x → ∞. __________ Translated from Lietuvos Matematikos Rinkinys, Vol. 45, No. 4, pp. 447–456, October–December, 2005.     

Uniqueness of solutions of boundary-value problems for operator-differential equations on a finite segment and on a semiaxis

For the equationL ₀ x(t)+L ₁x(t)+...+L _n x ⁽ⁿ⁾(t)=O, whereL _k,k=0,1,...,n, are operators acting in a Banach space, we establish criteria for an arbitrary solutionx(t) to be zero provided that the following conditions are satisfied:x ^(1–1) (a)=0, 1=1, ..., p, andx ^(1–1) (b)=0, 1=1,...,q, for - <a< b< (the case of a finite segment) orx ^(1–1) (a)=0, 1=1,...,p, under the assumption that a solutionx(t) is summable on the semiaxista with its firstn derivatives.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 279–292, March, 1994.This research was supported by the Ukrainian State Committee on Science and Technology.     

On Hong’s conjecture for power LCM matrices

A set S={x ₁,...,x _n } of n distinct positive integers is said to be gcd-closed if (x _i , x _j ) ∈ S for all 1 ⩽ i, j ⩽ n. Shaofang Hong conjectured in 2002 that for a given positive integer t there is a positive integer k(t) depending only on t, such that if n ⩽ k(t), then the power LCM matrix ([x _i , x _j ] ^t ) defined on any gcd-closed set S={x ₁,...,x _n } is nonsingular, but for n ⩾ k(t) + 1, there exists a gcd-closed set S={x ₁,...,x _n } such that the power LCM matrix ([x _i , x _j ] ^t ) on S is singular. In 1996, Hong proved k(1) = 7 and noted k(t) ⩾ 7 for all t ⩾ 2. This paper develops Hong’s method and provides a new idea to calculate the determinant of the LCM matrix on a gcd-closed set and proves that k(t) ⩾ 8 for all t ⩾ 2. We further prove that k(t) ⩾ 9 iff a special Diophantine equation, which we call the LCM equation, has no t-th power solution and conjecture that k(t) = 8 for all t ⩾ 2, namely, the LCM equation has t-th power solution for all t ⩾ 2.     

Grow-up of critical solutions for a non-local porous medium problem with Ohmic heating source

We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation ${u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2}We investigate the behaviour of solution u = u(x, t; λ) at λ =  λ* for the non-local porous medium equation u_t = (uⁿ)_xx + lf(u)/(ò_-1¹ f(u)dx)²{u_t = (u^n)_{xx} + {\lambda}f(u)/({\int_{-1}^1} f(u){\rm d}x)^2} with Dirichlet boundary conditions and positive initial data. The function f satisfies: f(s),−f ′ (s) > 0 for s ≥ 0 and s ^n-1 f(s) is integrable at infinity. Due to the conditions on f, there exists a critical value of parameter λ, say λ*, such that for λ > λ* the solution u = u(x, t; λ) blows up globally in finite time, while for λ ≥ λ* the corresponding steady-state problem does not have any solution. For 0 < λ < λ* there exists a unique steady-state solution w = w(x; λ) while u = u(x, t; λ) is global in time and converges to w as t → ∞. Here we show the global grow-up of critical solution u* =  u(x, t; λ*) (u* (x, t) → ∞, as t → ∞ for all x ? (-1,1){x\in(-1,1)}.     

Oscillatory and asymptotic behavior of solutions of differential equations with deviating arguments

The oscillatory and asymptotic behavior of solutions of a class of nth order nonlinear differential equations, with deviating arguments, of the form (E, δ) L_nx(t) + δq(t) f(x[g₁(t)],…, x[g_m(t)]) = 0, where δ = ± 1 and L₀x(t) = x(t), L_kx(t) = a_k(t)(L_{k ? 1}x(t))^., $\text{k = 1, 2,…, n (}{}^{\mathrm{.}}\text{=}\text{d}\text{dt}\text{)}$, is examined. A classification of solutions of (E, δ) with respect to their behavior as t → ∞ and their oscillatory character is obtained. The comparisons of (E, 1) and (E, ?1) with first and second order equations of the form y^.(t) + c₁(t) f(y[g₁(t)],…, y[g_m(t)]) = 0 and (a_{n ? 1}(t)z^.(t))^. ? c₂(t) f(z[g₁(t)],…, z[g_m(t)]) = 0, respectively, are presented. The obtained results unify, extend and improve some of the results by Graef, Grammatikopoulos and Spikes, Philos and Staikos.     

Existence and Uniqueness of Strong Solutions for a Class of Quasi‐Linear Hyperbolic Equations with Order Degeneration

Let k(y) > 0, 𝓁(y) > 0 for y > 0, k(0) = 𝓁(0) = 0 and lim_{y → 0}k(y)/𝓁(y) exists; then the equation L(u) ≔ k(y)u_xx – ∂_y(𝓁(y)u_y) + a(x, y)u_x = f(x, y, u) is strictly hyperbolic for y > 0 and its order degenerates on the line y = 0. Consider the boundary value problem Lu = f(x, y, u) in G, u|_AC = 0, where G is a simply connected domain in ℝ² with piecewise smooth boundary ∂G = AB∪AC∪BC; AB = {(x, 0) : 0 ≤ x ≤ 1}, AC : x = F(y) = ∫^y₀(k(t)/𝓁(t))^1/2dt and BC : x = 1 – F(y) are characteristic curves. Existence of generalized solution is obtained by a finite element method, provided f(x, y, u) satisfies Carathéodory condition and |f(x, y, u)| ≤ Q(x, y) + b|u| with Q ∈ L²(G), b = const > 0. It is shown also that each generalized solution is a strong solution, and that fact is used to prove uniqueness under the additional assumption |f(x, y, u₁) – f(x, y, u₂| ≤ C|u₁ – u₂|, where C = const > 0.     

Semigroup approach for identification of the unknown diffusion coefficient in a quasi‐linear parabolic equation

This article presents a semigroup approach for the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient k(u(x,t)) in the quasi‐linear parabolic equation u_t(x,t)=(k(u(x,t))u_x(x,t))_x, with Dirichlet boundary conditions u(0,t)=ψ₀, u(1,t)=ψ₁. The main purpose of this paper is to investigate the distinguishability of the input–output mappings Φ[?]:?? →C¹[0,T], Ψ[?]:??→C¹[0,T] via semigroup theory. In this paper, it is shown that if the null space of the semigroup T(t) consists of only zero function, then the input–output mappings Φ[?] and Ψ[?] have the distinguishability property. It is also shown that the types of the boundary conditions and the region on which the problem is defined play an important role in the distinguishability property of these mappings. Moreover, under the light of measured output data (boundary observations) f(t):=k(u(0,t))u_x(0,t) or/and h(t):=k(u(1,t))u_x(1,t), the values k(ψ₀) and k(ψ₁) of the unknown diffusion coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, can be determined explicitly. In addition to these, the values k_u(ψ₀) and k_u(ψ₁) of the unknown coefficient k(u(x,t)) at (x,t)=(0,0) and (x,t)=(1,0), respectively, are also determined via the input data. Furthermore, it is shown that measured output data f(t) and h(t) can be determined analytically by an integral representation. Hence the input–output mappings Φ[?]:??→ C¹[0,T], Ψ[?]:??→C¹[0,T] are given explicitly in terms of the semigroup. Copyright © 2007 John Wiley & Sons, Ltd.     

C k -solvability near the characteristic set for a class of planar complex vector fields of infinite type

This paper deals with semi-global C ^k -solvability of complex vector fields of the form ${\mathsf{L}=\partial/\partial t+x^r(a(x)+ib(x))\partial/\partial x,}This paper deals with semi-global C ^k -solvability of complex vector fields of the form L=?/?t+x^r(a(x)+ib(x))?/?x,{\mathsf{L}=\partial/\partial t+x^r(a(x)+ib(x))\partial/\partial x,}, r ≥ 1, defined on W_e=(-e,e)×S¹{\Omega_\epsilon=(-\epsilon,\epsilon)\times S^1}, ${\epsilon >0 }${\epsilon >0 }, where a and b are C ^∞ real-valued functions in (-e,e){(-\epsilon,\epsilon)}. It is shown that the interplay between the order of vanishing of the functions a and b at x = 0 influences the C ^k -solvability at Σ = {0} × S ¹. When r = 1, it is permitted that the functions a and b of L{\mathsf L}depend on the x and t variables, that is, L=?/?t+x(a(x,t)+ib(x,t))?/?x,{\mathsf{L}=\partial/\partial t+x(a(x,t)+ib(x,t))\partial/\partial x,}where (x, t) ? W_e{(x, t)\in\Omega_\epsilon}.     

A theory of entropy in Fourier analysis

This thesis deals with a certain set function called entropy and its ápplications to some problems in classical Fourier analysis. For a set S [0, 1/e] the entropy of S is defined by E(S) = inf_{SkIk,Ik intervals} Σ_k | I_k | log(1/|I_k|). We begin by using notions related to entropy in order to investigate the maximal operator M_Ω given by M_Ω(f)(x) = sup_r>0(1/rⁿ) ∫_{|t| ≤r} Ω(t) |f(x + t)| dt, f ε L¹(Rⁿ), where Ω is a positive function, homogeneous of degree 0, and satisfying a certain weak smoothness condition. Then the set function entropy is investigated, and certain of its properties are derived. We then apply these to solve various problems in differentiation theory and the theory of singular integrals, deriving in the process, entropic versions of the theorems of Hardy and Littlewood and Calderón and Zygmund.     

On some characterization of probability distributions in Hilbert spaces

Summary The aim of this paper is to prove the following theorem about characterization of probability distributions in Hilbert spaces:Theorem. — Let x₁, x₂, …, x_n be n (n≥3) independent random variables in the Hilbert spaceH, having their characteristic functionals f_k(t) = E[e^i(t,x _k)], (k=1, 2, …, n): let y₁=x₁ + x_n, y₂=x₂ + x_n, …, y_n−1=x_n−1 + x_n. If the characteristic functional f(t₁, t₂, …, t_n−1) of the random variables (y₁, y₂, …, y_n−1) does not vanish, then the joint distribution of (y₁, y₂, …, y_n−1) determines all the distributions of x₁, x₂, …, x_n up to change of location.     

On Hilbert''s Integral Inequality

In this paper, we generalize Hilbert's integral inequality and its equivalent form by introducing three parameterst,a, andb.Iff, g L²[0, ∞), then[formula]where π is the best value. The inequality (1) is well known as Hilbert's integral inequality, and its equivalent form is[formula]where π²is also the best value (cf. [[1], Chap. 9]). Recently, Hu Ke made the following improvement of (1) by introducing a real functionc(x),[formula]wherek(x) = 2/π∫^∞₀(c(t²x)/(1 + t²)) dt − c(x), 1 − c(x) + c(y) ≥ 0, andf, g ≥ 0 (cf. [[2]]). In this paper, some generalizations of (1) and (2) are given in the following theorems, which are other than those in [ [2]].     

On a Problem of Erd?s Involving the Largest Prime Factor of n

Let P(n) denote the largest prime factor of an integer n (N(x) = x (2+O(?{log₂ x/logx} ) )ò₂^xr(logx/logt) [(logt)/(t²)] d t,N(x) = x \left(2+O\left(\sqrt{\log_{2}\,x/\!\log x}\,\right) \right)\int_2^x\rho(\log x/\!\log t) {\log t\over t^2} {\rm d} t,     

Type II Hermite�CPad�� Approximations of Generalized Hypergeometric Series

We shall present short proofs for type II (simultaneous) Hermite–Padé approximations of the generalized hypergeometric and q-hypergeometric series

Moments of Brownian Motions on Lie Groups

Let (B_t)_{t ≥ 0} be a Brownian motion on GL(n,\Bbb R)GL(n,{\Bbb R}) with the corresponding Gaussian convolution semigroup (μ_t)_{t ≥ 0} and generator L. We show that algebraic relations between L and the generators of the matrix semigroups (ò_{GL(n,\Bbb R)} x^?k dm_t(x))_{t 3 0}(\int_{GL(n,{\Bbb R})} x^{\otimes k}\ d\mu_t(x))_{t \ge 0} lead to E((B_t-B_s)_i,j^2k) = O((t-s)^k)E((B_t-B_s)_{i,j}^{2k}) =O((t-s)^k) for t → s, k ≥ 1, and all coordinates i,j. These relations will form the basis for a martingale characterization of (B_t)_{t ≥ 0} in terms of generalized heat polynomials. This characterization generalizes a corresponding result for the Brownian motion on \Bbb R{\Bbb R} in terms of Hermite polynomials due to J. Wesolowski and may be regarded as a variant of the Lévy characterization without continuity assumptions.     

On the existence of shock fronts for a Burgers equation with a singular source term

In this paper we consider the Cauchy problem for the equation ∂u/∂t + u ∂u/∂x + u/x = 0 for x > 0, t ⩾ 0, with u(x, 0) = u⁰₋(x) for x < x₀, u(x, 0) = u⁰₊(x) for x > x₀, u⁰₋(x₀) > u⁰₊(x₀). Following the ideas of Majda, 1984 and Lax, 1973, we construct, for smooth u⁰₋ and u⁰₊, a global shock front weak solution u(x, t) = u₋(x, t) for x < ϕ(t), u(x, t) = u₊(x, t) for x > ϕ(t), where u₋ and u₊ are the strong solutions corresponding (respectively) to u⁰₋ and u⁰₊ and the curve t → ϕ(t) is defined by dϕ/dt (t) = 1/2[u₋(ϕ(t), t) + u₊(ϕ(t), t)], t ⩾ 0 and ϕ(0) = x₀. © 1998 B. G. Teubner Stuttgart—John Wiley & Sons, Ltd.     

Uniform estimates for order statistics and Orlicz functions

We establish uniform estimates for order statistics: Given a sequence of independent identically distributed random variables ξ ₁, … , ξ _n and a vector of scalars x = (x ₁, … , x _n ), and 1 ≤ k ≤ n, we provide estimates for \mathbb E   k-min_{1 ￡ i ￡ n} |x_ix_i|{\mathbb E \, \, k-{\rm min}_{1\leq i\leq n} |x_{i}\xi _{i}|} and \mathbb E k-max_{1 ￡ i ￡ n}|x_ix_i|{\mathbb E\,k-{\rm max}_{1\leq i\leq n}|x_{i}\xi_{i}|} in terms of the values k and the Orlicz norm ||y_x||_M{\|y_x\|_M} of the vector y _x  = (1/x ₁, … , 1/x _n ). Here M(t) is the appropriate Orlicz function associated with the distribution function of the random variable |ξ ₁|, G(t) = \mathbb P ({ |x₁| ￡ t}){G(t) =\mathbb P \left(\left\{ |\xi_1| \leq t\right\}\right)}. For example, if ξ ₁ is the standard N(0, 1) Gaussian random variable, then G(t) = ?{\tfrac2p}ò₀^t e^-\fracs22ds {G(t)= \sqrt{\tfrac{2}{\pi}}\int_{0}^t e^{-\frac{s^{2}}{2}}ds }  and M(s)=?{\tfrac2p}ò₀^se^-\frac12t2dt{M(s)=\sqrt{\tfrac{2}{\pi}}\int_{0}^{s}e^{-\frac{1}{2t^{2}}}dt}. We would like to emphasize that our estimates do not depend on the length n of the sequence.     

Periodic solutions for some second order differential equations with singularity

In this paper, we will prove the existence of infinitely many harmonic and subharmonic solutions for the second order differential equation ẍ + g(x) = f(t, x) using the phase plane analysis methods and Poincaré–Birkhoff Theorem, where the nonlinear restoring field g exhibits superlinear conditions near the infinity and strong singularity at the origin, and f(t, x) = a(t)x ^γ + b(t, x) where 0 ≤ γ ≤ 1 and b(t, x) is bounded.