Comparison of exact constants in Kolmogorov-type inequalities for periodic and nonperiodic functions of many variables

We investigate the correlation between the constants K(ℝⁿ) and , where

Nodal solutions for a second-order m-point boundary value problem

We study the existence of nodal solutions of the m-point boundary value problem

Toeplitz operators related to strongly singular Calderón-Zygmund operators

In this paper, the boundedness of Toeplitz operator T _b(f) related to strongly singular Calderón-Zygmund operators and Lipschitz function b ε (ℝⁿ) is discussed from L ^p(ℝⁿ) to L ^q(ℝⁿ), , and from L ^p(ℝⁿ) to Triebel-Lizorkin space . We also obtain the boundedness of generalized Toeplitz operator Θ _α0 ^b from L ^p(ℝⁿ) to L ^q(ℝⁿ), . All the above results include the corresponding boundedness of commutators. Moreover, the boundedness of Toeplitz operator T _b(f) related to strongly singular Calderón-Zygmund operators and BMO function b is discussed on L ^p(ℝⁿ), 1 < p < ∞.     

A cardinal number connected to the solvability of systems of difference equations in a given function class

Let ℝ^ℝ denote the set of real valued functions defined on the real line. A map D: ℝ^ℝ → ℝ^ℝ is said to be a difference operator if there are real numbers a _i, b _i (i = 1, …, n) such that (Dƒ)(x) = ∑ _i=1 ⁿ a _i ƒ(x + b _i) for every ƒ ∈ ℝ^ℝand x ∈ ℝ. By a system of difference equations we mean a set of equations S = {D _i ƒ = g _i: i ∈ I}, where I is an arbitrary set of indices, D _i is a difference operator and g _i is a given function for every i ∈ I, and ƒ is the unknown function. One can prove that a system S is solvable if and only if every finite subsystem of S is solvable. However, if we look for solutions belonging to a given class of functions then the analogous statement is no longer true. For example, there exists a system S such that every finite subsystem of S has a solution which is a trigonometric polynomial, but S has no such solution; moreover, S has no measurable solutions. This phenomenon motivates the following definition. Let be a class of functions. The solvability cardinal sc( ) of is the smallest cardinal number κ such that whenever S is a system of difference equations and each subsystem of S of cardinality less than κ has a solution in , then S itself has a solution in . In this paper we determine the solvability cardinals of most function classes that occur in analysis. As it turns out, the behaviour of sc( ) is rather erratic. For example, sc(polynomials) = 3 but sc(trigonometric polynomials) = ω ₁, sc({ƒ: ƒ is continuous}) = ω ₁ but sc({f : f is Darboux}) = (2 ^ω )⁺, and sc(ℝ^ℝ) = ω. We consistently determine the solvability cardinals of the classes of Borel, Lebesgue and Baire measurable functions, and give some partial answers for the Baire class 1 and Baire class α functions. Partially supported by Hungarian Scientific Foundation grants no. 49786,37758,F 43620 and 61600. Partially supported by Hungarian Scientific Foundation grant no. 49786.     

Potenzieren und Wurzelziehen in rationalen Quaternionenalgebren

LetF be a field not of characteristic 2 andQ =F +F i +F j +F k the quaternion algebra overF whereij = -ji =k andi ² = α andj ² = β with 0 ≠ α, β ∈F fixed. (IfF = ℝ and α = β = - 1 thenQ is the division algebra of the Hamilton quaternions.) IfF = ℚ and Q is a division algebra then by embedding certain quadratic number fields inQ we derive an efficient formula to compute the powers of any quaternion. This formula is even true in general and reads as follows. If a, a₁, a₂, a₃ ∈F andn ∈ ℕ then where ω ig a square root of αa₁ ² + βa ₂ ² - αβa ₃ ² in or overF and andA ₀ =na ^n-1. With the help of this formula and related ones we are able to solve the equationX ⁿ =q for arbitrary quaternionsq and positive integers n in case ofF = ℝ and hence in case ofF ⊂ ℝ as well. IfF = ℝ then the total number of all solutions equals 0, 1, 2, 4,n or ∞. (4 is possible even whenn < 4.) In case ofF = ℚ, which we are primarily interested in, there are always either at most six or infinitely many solutions. Further, for everyq ≠ 0 there is at most one solution provided thatn is odd and not divisible by 3. The questions when there are infinitely many solutions and when there are none can always be decided by checking simple conditions on the radicandq ifF = ℝ. ForF = ℚ the two questions are comprehensively investigatet in a natural connection with ternary and quaternary quadratic rational forms. Finally, by applying some of our theorems on powers and roots of quate-rions we also obtain several nice results in matrix theory. For example, for every k ∈ ℤ the mappingA ↦A ^k on the group of all nonsingular 2-by-2 matrices over ℚ is injective if and only ifk is odd and not divisible by 3.

     

Solutions to Some Open Problems in Fluid Dynamics

Let u=u（x,t,uo）represent the global solution of the initial value problem for the one-dimensional fluid dynamics equation ut-εuxxt＋δux＋γHuxx＋βuxxx＋f（u）x=αuxx,u（x,0）=uo（x）, whereα〉0,β〉0,γ〉0,δ〉0 andε〉0 are constants.This equation may be viewed as a one-dimensional reduction of n-dimensional incompressible Navier-Stokes equations. The nonlinear function satisfies the conditions f（0）=0,｜f（u）｜→∞as ｜u｜→∞,and f∈C^1（R）,and there exist the following limits Lo=lim sup/u→o f（u）/u^3 and L∞=lim sup/u→∞ f（u）/u^5 Suppose that the initial function u0∈L^I（R）∩H^2（R）.By using energy estimates,Fourier transform,Plancherel＇s identity,upper limit estimate,lower limit estimate and the results of the linear problem vt-εv（xxt）＋δvx＋γHv（xx）＋βv（xxx）=αv（xx）,v（x,0）=vo（x）, the author justifies the following limits（with sharp rates of decay） lim t→∞[（1＋t）^（m＋1/2）∫｜uxm（x,t）｜^2dx]=1/2π（π/2α）^（1/2）m!!/（4α）^m[∫R uo（x）dx]^2, if∫R uo（x）dx≠0, where 0!!=1,1!!=1 and m!!=1·3…（2m-3）…（2m-1）.Moreover lim t→∞[（1＋t）^（m＋3/2）∫R｜uxm（x,t）｜^2dx]=1/2π（x/2α）^（1/2）（m＋1）!!/（4α）^（m＋1）[∫Rρo（x）dx]^2, if the initial function uo（x）=ρo′（x）,for some functionρo∈C^1（R）∩L^1（R）and∫Rρo（x）dx≠0.     

On the Value Distribution of Hurwitz Zeta-Functions at the Nontrivial Zeros of the Riemann Zeta-Function

We consider the value distribution of Hurwitz zeta-functions at the nontrivial zeros ϱ= β + iγ of the Riemann zeta-function ζ (s):= ζ (s, 1). Using the method of Conrey, Ghosh and Gonek we prove for fixed 0< α< 1 andH ≤T that

Existence of solutions of certain quasilinear elliptic equations in ℝN without conditions at infinity

This paper deals with conditions for the existence of solutions of the equations

Oscillating multipliers for some eigenfunction expansions

Let P be a non-negative, self-adjoint differential operator of degree d on ℝⁿ. Assume that the associated Bochner-Riesz kernel s _R ^δ satisfies the estimate, |s _R ^δ (x, y)| ≤ C R^n/d(1+R^1/d|x - y|^-αδ+β)for some fixed constants a>0 and β. We study L^p boundedness of operators of the form m(P), m coming from the symbol class S _p ^−α . We prove that m(P) is bounded on L^P if . We also study multipliers associated to the Hermite operator H on ℝⁿ and the special Hermite operator L on ℂⁿ given by the symbols . As a special case we obtain L^p boundedness of solutions to the Wave equation associated to H and L.     

On the weighted elliptic problems involving multi-singular potentials and multi-critical exponents

Suppose Ω belong to R^N（N≥3） is a smooth bounded domain,ξi∈Ω,0〈ai〈√μ,μ：=（（N-1）/2）^2,0≤μi〈（√μ-ai）^2,ai〈bi〈ai＋1 and pi：=2N/N-2（1＋ai-bi）are the weighted critical Hardy-Sobolev exponents, i = 1, 2,..., k, k ≥ 2. We deal with the conditions that ensure the existence of positive solutions to the multi-singular and multi-critical elliptic problem ∑i=1^k（-div（｜x-ξi｜^-2ai△↓u）-μiu/｜x-ξi｜^2（1＋ai）-u^pi-1/｜x-ξi｜^bipi）=0with Dirichlet boundary condition, which involves the weighted Hardy inequality and the weighted Hardy-Sobolev inequality. The results depend crucially on the parameters ai, bi and #i, i -- 1, 2,..., k.     

On some properties of solutions of second-order linear functional differential equations

The properties of solutions of the equationu″(t) =p ₁(t)u(τ₁(t)) +p ₂(t)u′(τ₂(t)) are investigated wherep _i :a, + ∞[→R (i=1,2) are locally summable functions τ₁ :a, + ∞[→R is a measurable function, and τ₂ :a, + ∞[→R is a nondecreasing locally absolutely continuous function. Moreover, τ _i (t) ≥t (i = 1,2),p ₁(t)≥0,p ₂ ² (t) ≤ (4 - ɛ)τ ₂ ^′ (t)p ₁(t), ɛ =const > 0 and . In particular, it is proved that solutions whose derivatives are square integrable on [α,+∞] form a one-dimensional linear space and for any such solution to vanish at infinity it is necessary and sufficient that .     

Evaluation of infinite series involving special products and their algebraic characterization

The aim of the paper is the investigation of special infinite series of the form

A note on certain fields of finite transcendence type

Let be a finitely generated extension field of ℚ, andα _i,β_j(1⩽i⩽m,1⩽j⩽n) be some complex numbers. Let (k=1,2,3) be fields obtained by adjoining to the numbers {α _i,β_j exp(α_iβ_j)}, {α_i, exp(α_iβ_j)}, and {exp(α_iβ_j)}, respectively. In the present note the relation between the transcendental degree of over and the transcendence type of over ℚ is given. This work was completed in Dpt. Math., Univ. of Southern Mississippi, Hattiesburg, USA.     

Some projectively flat (α, β)-metrics

In this paper, we study a class of Finsler metrics in the form , where is a Riemannian metric, β = b _i y ⁱ is a 1-form, and ε and k ≠ 0 are constants. We obtain a sufficient and necessary condition for F to be locally projectively flat and give the non-trivial special solutions. Moreover, it is proved that such projectively flat Finsler metrics with the constant flag curvature must be locally Minkowskian.     

Detection of Some Elements in the Stable Homotopy Groups of Spheres

Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π＊S is one of the central problems in homotopy theory. This paper constructs a new nontrivial family of homotopy elements in the stable homotopy groups of spheres πp^nq＋2pq＋q-3S which isof order p and is represented by kohn ∈ ExtA^3,P^nq＋2pq＋q（Zp,Zp） in the Adams spectral sequence, wherep 〉 5 is an odd prime, n ≥3 and q = 2（p-1）. In the course of the proof, a new family of homotopy elements in πp^nq＋（p＋1）q-1V（1） which is represented by β＊i＇＊i＊（hn） ∈ ExtA^2,pnq＋（p＋1）q＋1 （H^＊V（1）, Zp） in the Adams sequence is detected.     

On antipodal Euclidean tight (2e + 1)-designs

Neumaier and Seidel (1988) generalized the concept of spherical designs and defined Euclidean designs in ℝ ⁿ . For an integer t, a finite subset X of ℝ ⁿ given together with a weight function w is a Euclidean t-design if holds for any polynomial f(x) of deg(f)≤ t, where {S _i , 1≤ i ≤ p} is the set of all the concentric spheres centered at the origin that intersect with X, X _i = X∩ S _i , and w:X→ ℝ_{> 0}. (The case of X⊂ S ⁿ⁻¹ with w≡ 1 on X corresponds to a spherical t-design.) In this paper we study antipodal Euclidean (2e+1)-designs. We give some new examples of antipodal Euclidean tight 5-designs. We also give the classification of all antipodal Euclidean tight 3-designs, the classification of antipodal Euclidean tight 5-designs supported by 2 concentric spheres.     

On normal approximation of discounted and strongly mixing random variables

We estimate the difference for bounded functions h: ℝ → ℝ satisfying the Lipschitz condition, where Z _v = B _v ⁻¹ ∑ _i=0 ^∞ v ⁱ X _i and with discount factor ν such that 0 < ν < 1. Here {X _n , n ≥ 0} is a sequence of strongly mixing random variables with , and N is a standard normal random variable. In a particular case, the obtained upper bounds are of order O((1 − ν)^1/2). Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 399–409, July–September, 2007. The research was partially supported by the Lithuanian State Science and Studies Foundation, grant No. T-15/07.     

A divergent Khintchine theorem in the real,complex, and <Emphasis Type="Italic">p</Emphasis>-adic fields

In this paper, we show that if the sum ∑_r=1^∞ Ψ(r) diverges, then the set of points (x, z, w) ∈ ℝ × ℂ × ℚ_p satisfying the inequalities , and for infinitely many integer polynomials P has full measure. With a special choice of parameters v _i and λ _i , i = 1, 2, 3, we can obtain all the theorems in the metric theory of transcendental numbers which were known in the real, complex, or p-adic fields separately.