An application of Carlitz's formula

In this note we establish a new transformation formula for the generalized hypergeometric function of two variables. On specializing its parameters, it yields the interesting result:

${}_4\text{F}{}_3\text{γ2β?γ1+}\text{1}\text{2}\text{α,}\text{1}\text{2}\text{+}\text{1}\text{2}\text{α;1}\text{1}\text{2}\text{(1+2β),2+α,1+β;}\text{=}\text{βΓ(2β)Γ(2β?α?γγ)}\text{(β?γ)Γ(2β?α)Γ(2β?γ)}$

. valid for Rl(2β ? α ? γ) > 0. When γ = ?n (a negative integer), it reduces to a result due to Professor Carlitz. Several other new summation formulae for ₅F₄(1), ₄F₃(1) and for the hypergeometric function of two variables are obtained.     

The lattice of subfields of a radical extension

Let x^m ? a be irreducible over F with char $\text{F?m}$ and let α be a root of x^m ? a. The purpose of this paper is to study the lattice of subfields of $\text{F(α)}\text{F}$ and to this end $\text{C(}\text{F(α)}\text{F}\text{, k)}$ is defined to be the number of subfields of F(α) of degree k over $\text{F. C(}\text{F(α)}\text{F}\text{, p}{}^{\mathrm{n}}\text{)}$ is explicitly determined for p a prime and the following structure theorem for the lattice of subfields is proved. Let N be the maximal normal subfield of F(α) over F and set n = |N : F|, then $\text{C(}\text{F(α)}\text{F}\text{, k) = C(}\text{F(α)}\text{F}\text{, (k, n)) = C(}\text{N}\text{F}\text{, (k, n))}$. The irreducible binomials x^s ? b, x^s ? c are said to be equivalent if there exist roots β^s = b, γ^s = a such that F(β) = F(γ). All the mutually inequivalent binomials which have roots in F(α) are determined. Finally these results are applied to the study of normal binomials and those irreducible binomials x^2e ? a which are normal over F (char F ≠ 2) together with their Galois groups are characterized.     

A class of Einstein (α, β)-metrics

In this paper, we study a special class of Finsler metrics, called (α, β)-metrics, which are defined by F = α?(β/α), where α is a Riemannian metric and β is a 1-form. We show that if ? = ?(s) is a polynomial in s, it is Einstein if and only if it is Ricci-flat. We also determine the Ricci-flat (α, β)-metrics which are not of the type F = (α + ?β)²/α.     

Rubio cubics and generalized Cundy–Parry mappings

Rubio’s mappings between the Thomson and Darboux cubics are generalized for pairs of cubics of the form p α(β ²?γ ²)+ q β(γ ²?α ²)+ r γ(α ² ? β ²) = 0, where p, r, q, α, β, γ are functions of a triple (a, b, c) of variables or indeterminates. Methods include symbolic substitutions, such as (a, b, c) → (bc, ca, ab). Connections between the generalized Rubio mappings with generalized Cundy–Parry mappings are described.     

Uniform asymptotic expansion for a class of polynomials biorthogonal on the unit circle

An asymptotic expansion including error bounds is given for polynomials {P _n, Q_n} that are biorthogonal on the unit circle with respect to the weight function (1?e^iθ)^α+β(1?e^?iθ)^α?β. The asymptotic parameter isn; the expansion is uniform with respect toz in compact subsets ofC{0}. The pointz=1 is an interesting point, where the asymptotic behavior of the polynomials strongly changes. The approximants in the expansions are confluent hyper-geometric functions. The polynomials are special cases of the Gauss hyper-geometric functions. In fact, with the results of the paper it follows how (in a uniform way) the confluent hypergeometric function is obtained as the limit of the hypergeometric function₂ F ₁(a, b; c; z/b), asb→±∞,z≠b, withz=0 as “transition” point in the uniform expansion.     

Nonhomogeneous spectra of numbers

A simple characterization is given of those sequences of integersM_n={a_i}ⁿ_i=1for which there exist real numbers αandβ such thata_i=?iα+β?(1?i?n). In addition, for givenM_n, an open intervalI_nis computed such that α?I_nif and only ifa_i=?iα+β?(1?i?n)for suitableβ=β(α).     

Some existence and nonexistence theorems for solutions of degenerate parabolic equations

The initial and boundary value problem for the degenerate parabolic equation v_t = Δ(?(v)) + F(v) in the cylinder $\text{Ω × ¦0, ∞), Ω ? R}{}^{\mathrm{n}}$ bounded, for a certain class of point functions ? satisfying ?′(v) ? 0 (e.g., $\text{?(v) = ¦v¦}{}^{\mathrm{m}}\text{sign}\text{v}$) is considered. In the case that F(v) sign $\text{v ? C(1 + ¦?(v)¦}{}^{\mathrm{\alpha }}\text{), α < 1}$, the equation has a global time solution. The same is true for α = 1 provided the measure of Ω is sufficiently small. In the case that $\text{F(v)}\text{?(v)}$ is nondecreasing a condition is given on the initial state v(x, 0) which implies that the solution must blow up in finite time. The existence of such initial states is discussed.     

Integral-type operators on continuous function spaces on the real line

In this paper we introduce some new sequences of positive linear operators, acting on a sufficiently large space of continuous functions on the real line, which generalize Gauss–Weierstrass operators.We study their approximation properties and prove an asymptotic formula that relates such operators to a second order elliptic differential operator of the form Lu?αu^′′+βu^′+γu.Shape-preserving and regularity properties are also investigated.     

Quantum Complexity of Integration

It is known that quantum computers yield a speed-up for certain discrete problems. Here we want to know whether quantum computers are useful for continuous problems. We study the computation of the integral of functions from the classical Hölder classes F^k, α_d on [0, 1]^d and define γ by γ=(k+α)/d. The known optimal orders for the complexity of deterministic and (general) randomized methods are comp(F^k, α_d, ε)≍ε^−1/γ and comp^random(F^k, α_d, ε)≍ε^−2/(1+2γ). For a quantum computer we prove comp^quant_query(F^k, α_d, ε)≍ε^−1/(1+γ) and comp^quant(F^k, α_d, ε)⩽Cε^−1/(1+γ)(log ε⁻¹)^1/(1+γ). For restricted Monte Carlo (only coin tossing instead of general random numbers) we prove comp^coin(F^k, α_d, ε)⩽Cε^−2/(1+2γ)(log ε⁻¹)^1/(1+2γ). To summarize the results one can say that   • there is an exponential speed-up of quantum algorithms over deterministic (classical) algorithms, if γ is small;   • there is a (roughly) quadratic speed-up of quantum algorithms over randomized classical methods, if γ is small.     

Decomposition of a scalar operator into a product of unitary operators with two points in spectrum

We consider products of unitary operators with at most two points in their spectra, 1 and e^iα. We prove that the scalar operator e^iγI is a product of k such operators if α(1+1/(k-3))?γ?α(k-1-1/(k-3)) for k?5. Also we prove that for e^iα≠-1, only a countable number of scalar operators can be decomposed in a product of four operators from the mentioned class. As a corollary we show that every unitary operator on an infinite-dimensional space is a product of finitely many such operators.     

A general class of fuzzy operators,the demorgan class of fuzzy operators and fuzziness measures induced by fuzzy operators

In this paper we examine operators which can be derived from the general solution of functional equations on associativity. We define the characteristics of those functions f(x) which are necessary for the production of operators. We shall show, that with the help of the negation operator for every such function f(x) a function g(x) can be given, from which a disjunctive operator can be derived, and for the three operators the DeMorgan identity is fulfilled. For the fulfillment of the DeMorgan identity the necessary and sufficient conditions are given.We shall also show that an f_λ(x) can be constructed for every f(x), so that for the derived k_λ(x,y) and d_λ(x,y) lim_λ→∞k_λ(x,y) and lim_λ→∞d_λ(x,y) = max(x,y).As Yager's operator is not reducible, for every λ there exists an α, for which, in case x < α and y<α, k_λ(x,y) = 0.We shall give an f(x) which has the characteristics of Yager's operator, and which is strictly monotone.Finally we shall show, that with the help of all those f(x), which are necessary when constructing a k(x,y), an F(x) can be constructed which has the properties of the measures of fuzziness introduced by A. De Luca and S. Termini. Some classical fuzziness measures are obtained as special cases of our system.     

Universal spaces of subdifferentials of sublinear operators ranging in the cone of bounded lower semicontinuous functions

We study Fréchet’s problem of the universal space for the subdifferentials ?P of continuous sublinear operators P: V → BC(X)_～ which are defined on separable Banach spaces V and range in the cone BC(X)_～ of bounded lower semicontinuous functions on a normal topological space X. We prove that the space of linear compact operators L ^c(? ², C(βX)) is universal in the topology of simple convergence. Here ? ² is a separable Hilbert space, and βX is the Stone-?ech compactification of X. We show that the images of subdifferentials are also subdifferentials of sublinear operators.     

Complete monotonicity of some functions involving polygamma functions

In the present paper, we establish necessary and sufficient conditions for the functions x^α|ψ⁽ⁱ⁾(x+β)| and α|ψ⁽ⁱ⁾(x+β)|−x|ψ⁽ⁱ⁺¹⁾(x+β)| respectively to be monotonic and completely monotonic on (0,∞), where i∈N, α>0 and β≥0 are scalars, and ψ⁽ⁱ⁾(x) are polygamma functions.     

Oscillatory hyper Hilbert transforms along general curves

We consider the oscillatory hyper Hilbert transform H _γ,α,β f(x) = ∫ ₀ ^∞ f(x - Γ(t))e^it-β t^-(1+α)dt; where Γ(t) = (t, γ(t)) in ?² is a general curve. When γ is convex, we give a simple condition on γ such that H _γ,α,β is bounded on L ² when β > 3α, β > 0: As a corollary, under this condition, we obtain the L ^p -boundedness of H _γ,α,β when 2β/(2β - 3α) < p < 2β/(3α). When Γ is a general nonconvex curve, we give some more complicated conditions on γ such that H _γ,α,β is bounded on L ²: As an application, we construct a class of strictly convex curves along which H _γ,α,β is bounded on L ² only if β > 2α > 0.     

A nonlinear three-point boundary value problem

We consider the differential equation ?(py′)′ + qy + λay + μby + f(x, y, y′) = 0, x? (α, γ) subject to the boundary conditions cos(α₁) y(α) ? sin(α₁) y′(α) = 0cos(β₁) y(β) ? sin(β₁) y′(β) = 0 β? (α, γ)cos(γ₁) y(γ) ? sin(γ₁) y′(γ) = 0. The functions p, g, a, b, and f are well-behaved functions of x; f is smooth and of “higher order” in y and y′; the scalars λ and μ are eigenparameters. With mild restrictions on a and b it is known that the linearized problem, f ≡ 0, has eigensolutions, ($\text{λ}{}^1\text{, μ}{}^1\text{, ψ}{}^1$). In this paper we use an Implicit Function Theorem argument to establish the existence of a local branch of solutions, bifurcating from ($\text{λ}{}^1\text{, μ}{}^1\text{, 0}$), to the above nonlinear two-parameter eigenvalue problem.     

Eigenvectors and cyclic vectors of bilateral weighted shifts. II: Simply invariant subspaces

Let T be an injective bilateral weighted shift onl ² thought as "multiplication by λ" on a space of formal Laurent series L²(β). (a) If L²(β) is contained in a space of quasi-analytic class of functions, then the point spectrum σ_p(T^?) of T^? contains a circle and the cyclic invariant subspaceM _f of T generated by f is simply invariant (i.e., ∩{(T^k M _f)^?: k ≥ 0}= {0}) for each f in L²(β); (b) If L²(β) contains a non-quasi-analytic class of functions (defined on a circle г) of a certain type related with the weight sequence of T, then there exists f in L²(ß) such thatM _f is a non-trivial doubly invariant subspace (i.e., (TM _f)^? =M _f); furthermore, if г ? σ_p(T^*), then σ_p (T^*) = г and f can be chosen so that σ_p([T∣M _f]^*) = г?{α}, for some α ε г. Several examples show that the gap between operators satisfying (a) and operators satisfying (b) is rather small.     

On improvement of summability properties of solutions of some degenerate nonlinear fourth-order equations

We consider a class of degenerate nonlinear elliptic fourth-order equations in divergence form. Coefficients of the equations satisfy a strengthened ellipticity condition involving two weighted functions. The right-hand side F?(x,?u) of the equations depends on the unknown function u. Under some conditions, including L^m -summability of F(·, 0) with m close to 1 and restrictions on the exponent σ of the growth of F?(x,?u) with respect to u, we establish existence of W-solutions of the Dirichlet problem for the given equations and describe the dependence of summability properties of these solutions on m and σ.     

Jacobi translation and the inequality of different metrics for algebraic polynomials on an interval

The sharp inequality of different metrics (Nikol’skii’s inequality) for algebraic polynomials in the interval [?1, 1] between the uniform norm and the norm of the space L _q ^(α,β) , 1 ≤ q < ∞, with Jacobi weight ?^(α,β)(x) = (1 ? x)^α(1 + x)^β α ≥ β > ?1, is investigated. The study uses the generalized translation operator generated by the Jacobi weight. A set of functions is described for which the norm of this operator in the space L _q ^(α,β) , 1 ≤ q < ∞, \(\alpha > \beta \geqslant - \frac{1}{2}\), is attained.     

Existence of asymptotically almost periodic solutions for damped wave equations

In this paper, a class of nonlinear damped wave equations of the form αu^?(t)+u^″(t)=βAu(t)+γAu^′(t)+f(t,u(t)), t?0, satisfying αβ<γ with prescribed initial conditions are studied. Some sufficient conditions are established for the existence and uniqueness of an asymptotically almost periodic solution. These results have significance in the study of vibrations of flexible structures possessing internal material damping. Finally, an example is presented to illustrate the feasibility and effectiveness of the results.     

Arithmetical progressions formed byk different Lehmer pseudoprimes

LetU _n=(αⁿ-β²)/(α-β) forn odd andU _n=(αⁿ-βⁿ)/(α²-β²) for evenn, where α and β are distinct roots of the trinomialf(z)=z ²-√Lz+Q andL>0 andQ are rational integers.U _n is then-th Lehmer number connected withf(z). A compositen is a Lehmer pseudoprime for the bases α and β ifU _n??(n)≡0 (modn), where?(n)=(LD/n) is the Jacobi symbol. IfD=L?4Q>0, U _n denotesn-th Lehmer number,p>3 and 2p?1 are primes,p(2p-1)+(α²-β²)², (α^2p-1±β^2p-1)/(α±β) are composite then the numbers (α^2p-1+β^2p-1)/(α+β), (α^2p-β^2p)/(α²-β²), (α^2p-1-β^2p-1)/(α-β) are lehmer pseudoprimes for the bases α and β and form an arithmetical progression. IfD>0 then from hypothesisH of A. Schinzel on polynomials it follows that for every positive integerk there exists infinitely many arithmetic progressions formed fromk different Lehmer pseudoprimes for the bases α and β.