Weak solution of (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0))u′(0) = ku(0), r(L, u(L))u′ (L) = hu(L) and k, h are suitable elements of [0, ∞]

We consider weak solutions to the nonlinear boundary value problem (r, (x, u(x)) u′(x))′ = (Fu)′(x) with r(0, u(0)) u′(0) = ku(0), r(L, u(L)) u′(L) = hu(L) and k, h are suitable elements of [0, ∞]. In addition to studying some new boundary conditions, we also relax the constraints on r(x, u) and (Fu)(x). r(x, u) > 0 may have a countable set of jump discontinuities in u and r(x, u)^?1?L_q((0, L) × (0, p)). F is an operator from a suitable set of functions to a subset of L_p(0, L) which have nonnegative values. F includes, among others, examples of the form (Fu)(x) = (1 ? H(x ? x₀)) u(x₀), (Fu)(x) = ∫_x^Lf(y, u(y)) dy where f(y, u) may have a countable set of jump discontinuities in u or F may be chosen so that (Fu)′(x) = ? g(x, u(x)) u′(x) ? q(x) u(x) ? f(x, u(x)) where q is a distributional derivative of an L₂(0, L) function.     

Stability of Cubic and Quartic Functional Equations in Non-Archimedean Spaces

We prove generalized Hyers-Ulam–Rassias stability of the cubic functional equation f(kx+y)+f(kx?y)=k[f(x+y)+f(x?y)]+2(k ³?k)f(x) for all \(k\in \Bbb{N}\) and the quartic functional equation f(kx+y)+f(kx?y)=k ²[f(x+y)+f(x?y)]+2k ²(k ²?1)f(x)?2(k ²?1)f(y) for all \(k\in \Bbb{N}\) in non-Archimedean normed spaces.     

A conjecture of Kippenhahn about the characteristic polynomial of a pencil generated by two Hermitian matrices. II

Let A be an n × n matrix; write A = H+iK, where i²=—1 and H and K are Hermitian. Let f(x,y,z) = det(zI?xH?yK). We first show that a pair of matrices over an algebraically closed field, which satisfy quadratic polynomials, can be put into block, upper triangular form, with diagonal blocks of size 1×1 or 2×2, via a simultaneous similarity. This is used to prove that if $\text{f(x,y,z) = [g(x,y,z)]}{}^{\mathrm{<mtext>n</mtext><mtext>2</mtext>}}$, where g has degree 2, then for some unitary matrix U, the matrix U¹AU is the direct sum of $\text{n}\text{2}$ copies of a 2×2 matrix A₁, where A₁ is determined, up to unitary similarity, by the polynomial g(x,y,z). We use the connection between f(x,y,z) and the numerical range of A to investigate the case where f(x,y,z) has the form (z?αax? βy)^r[g(x,y,z)]^s, where g(x,y,z) is irreducible of degree 2.     

Linear independence of time-frequency shifts under a generalized Schrödinger representation

Let r_\mathbbR \rho_{\mathbb{R}} be the classical Schrödinger representation of the Heisenberg group and let L \Lambda be a finite subset of \mathbbR ×\mathbbR \mathbb{R} \times \mathbb{R} . The question of when the set of functions {t ? e^{2 pi y t} f(t + x) = (r_\mathbbR(x, y, 1) f)(t) : (x, y) ? L} \{t \mapsto e^{2 \pi i y t} f(t + x) = (\rho_{\mathbb{R}}(x, y, 1) f)(t) : (x, y) \in \Lambda\} is linearly independent for all f ? L²(\mathbbR), f 1 0 f \in L^2(\mathbb{R}), f \neq 0 , arises from Gabor analysis. We investigate an analogous problem for locally compact abelian groups G. For a finite subset L \Lambda of G ×[^(G)] G \times \widehat{G} and r_G \rho_G the Schrödinger representation of the Heisenberg group associated with G, we give a necessary and in many situations also sufficient condition for the set {r_G (x, w, 1)f : (x, w) ? L} \{\rho_G (x, w, 1)f : (x, w) \in \Lambda\} to be linearly independent for all f ? L²(G), f 1 0 f \in L^2(G), f \neq 0 .     

On the number of coprime integral solutions of y2 = x3 + k

Let N′(k) denote the number of coprime integral solutions x, y of y² = x³ + k. It is shown that lim sup_k→∞N′(k) ≥ 12.     

L p-approximation by Kantorovič operators

Оператор Канторович а дляf∈L _p(I), I=[0,1], определяе тся соотношением $$P_n (f,x) = (n + 1)\sum\limits_{k = 0}^n {\left( {\begin{array}{*{20}c} n \\ k \\ \end{array} } \right)} x^k (1 - x)^{n - 1} \int\limits_{I_k } {f(t)dt,} $$ гдеI _k=[k/(n}+1),(k+1)/(n+ 1)],n∈N. Доказывается, что есл ир>1 иf∈W _p ² (I), т.е.f абсол ютно непрерывна наI иf″∈L _p(I), то $$\left\| {P_n f - f} \right\|_p = O(n^{ - 1} ).$$ Далее, установлено, чт о еслиf∈L _p(I),p>1 и ∥P _n f-f∥_р=О(n ^?1), тоf∈S, гдеS={f∶f аб-солютно непрерывна наI, x(1?x)f′(x)=∝ ₀ ^x h(t)dt, гдеh∈L _p(I) и ∝ ₀ ¹ h(t)dt=0}. Если жеf∈L_p(I),p>1, то из условия ∥P _n(f)?f∥_pL=o(n^?1) вытекает, чтоf постоянна почти всюду.     

Planar Graded Lattices and the <Emphasis Type="Bold">c</Emphasis><Subscript>1</Subscript>-Median Property

Let L be a lattice of finite length, ξ = (x ₁,…, x _k )∈L ^k , and y ∈ L. The remoteness r(y, ξ) of y from ξ is d(y, x ₁)+?+d(y, x _k ), where d stands for the minimum path length distance in the covering graph of L. Assume, in addition, that L is a graded planar lattice. We prove that whenever r(y, ξ) ≤ r(z, ξ) for all z ∈ L, then y ≤ x ₁∨?∨x _k . In other words, L satisfies the so-called c ₁ -median property.     

Inequalities for Means in Two Variables

We present various new inequalities involving the logarithmic mean L(x,y)=(x-y)/(logx-logy) L(x,y)=(x-y)/(\log{x}-\log{y}) , the identric mean I(x,y)=(1/e)(x^x/y^y)^1/(x-y) I(x,y)=(1/e)(x^x/y^y)^{1/(x-y)} , and the classical arithmetic and geometric means, A(x,y)=(x+y)/2 A(x,y)=(x+y)/2 and G(x,y)=?{xy} G(x,y)=\sqrt{xy} . In particular, we prove the following conjecture, which was published in 1986 in this journal. If M_r(x,y) = (x^r/2+y^r/2)^1/r(r 1 0) M_r(x,y)= (x^r/2+y^r/2)^{1/r}(r\neq{0}) denotes the power mean of order r, then $ M_c(x,y)<\frac{1}{2}(L(x,y)+I(x,y)) {(x,y>0,\, x\neq{y})} $ M_c(x,y)<\frac{1}{2}(L(x,y)+I(x,y)) {(x,y>0,\, x\neq{y})} with the best possible parameter c=(log2)/(1+log2) c=(\log{2})/(1+\log{2}) .     

Positive solutions for mixed problems of singular fractional differential equations

We investigate the existence of positive solutions to the singular fractional boundary value problem: $^c\hspace{-1.0pt}D^{\alpha }u +f(t,u,u^{\prime },^c\hspace{-2.0pt}D^{\mu }u)=0$, u′(0) = 0, u(1) = 0, where 1 < α < 2, 0 < μ < 1, f is a L^q‐Carathéodory function, $q > \frac{1}{\alpha -1}$, and f(t, x, y, z) may be singular at the value 0 of its space variables x, y, z. Here $^c \hspace{-1.0pt}D$ stands for the Caputo fractional derivative. The results are based on combining regularization and sequential techniques with a fixed point theorem on cones.     

The Fixed Points of Contractions of <Emphasis Type="Italic">f</Emphasis>-Quasimetric Spaces

The recent articles of Arutyunov and Greshnov extend the Banach and Hadler Fixed-Point Theorems and the Arutyunov Coincidence-Point Theorem to the mappings of (q₁, q₂)-quasimetric spaces. This article addresses similar questions for f-quasimetric spaces.Given a function f: R ₊² → R₊ with f(r₁, r₂) → 0 as (r₁, r₂) → (0, 0), an f-quasimetric space is a nonempty set X with a possibly asymmetric distance function ρ: X² → R+ satisfying the f-triangle inequality: ρ(x, z) ≤ f(ρ(x, y), ρ(y, z)) for x, y, z ∈ X. We extend the Banach Contraction Mapping Principle, as well as Krasnoselskii’s and Browder’s Theorems on generalized contractions, to mappings of f-quasimetric spaces.     

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.     

Oscillation of partial difference equations with continuous variables

In this paper, we consider the partial difference equation with continuous variables of the form P₁z(x + a, y + b) + p₂z (x + a, y) + p₃z (x, y + b) − p₄z (x, y) + P (x, y) z (x − τ, y − σ) = 0, where P ϵ C(R⁺ × R⁺, R⁺ − {0}), a, b, τ, σ are real numbers and p_i (i = 1, 2, 3, 4) are nonnegative constants. Some sufficient conditions for all solutions of this equation to be oscillatory are obtained.     

Thompson’s metric and global stability of difference equations

We apply the Thompson’s metric to study the global stability of the equilibium of the following difference equation

The “Full Müntz Theorem” inL p[0, 1] for 0<p<∞

Denote by span {f ₁,f ₂, …} the collection of all finite linear combinations of the functionsf ₁,f ₂, … over ?. The principal result of the paper is the following. Theorem (Full Müntz Theorem in L_p(A) for p ∈ (0, ∞) and for compact sets A ? [0, 1] with positive lower density at 0). Let A ? [0, 1] be a compact set with positive lower density at 0. Let p ∈ (0, ∞). Suppose (λ _j ) _j=1 ^∞ is a sequence of distinct real numbers greater than ?(1/p). Then span {x ^λ1,x ^λ2,…} is dense in L_p(A) if and only if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ . Moreover, if $\sum\limits_{j = 1}^\infty {\frac{{\lambda _j + \left( {1/p} \right)}}{{\left( {\lambda _j + \left( {1/p} \right)} \right)^2 + 1}} = \infty } $ , then every function from the L_p(A) closure of {x ^λ1,x ^λ2,…} can be represented as an analytic function on {z ∈ ? \ (?∞,0] : |z| < r_A} restricted to A ∩ (0, r_A) where $r_A : = \sup \left\{ {y \in \mathbb{R}:\backslash ( - \infty ,0]:\left| z \right|< r_A } \right\}$ (m(·) denotes the one-dimensional Lebesgue measure). This improves and extends earlier results of Müntz, Szász, Clarkson, Erdös, P. Borwein, Erdélyi, and Operstein. Related issues about the denseness of {x ^λ1,x ^λ2,…} are also considered.     

Bounding sup-norms of cusp forms of large level

Let f be an L ²-normalized weight zero Hecke-Maaß cusp form of square-free level N, character χ and Laplacian eigenvalue λ≥1/4. It is shown that ‖f‖_∞? _λ N ^?1/37, from which the hybrid bound ‖f‖_∞?λ ^1/4(N λ)^?δ (for some δ>0) is derived. The first bound holds also for f=y ^k/2 F where F is a holomorphic cusp form of weight k with the implied constant now depending on k.     

Fast Growing Solutions of Linear Differential Equations in the Unit Disc

For $n \in \mathbb{N}$ , the n-order of an analytic function f in the unit disc D is defined by $$\sigma _{{{M,n}}} (f) = {\mathop {\lim \sup }\limits_{r \to 1^{ - } } }\frac{{\log ^{ + }_{{n + 1}} M(r,f)}} {{ - \log (1 - r)}},$$ where log⁺ x  =  max{log x, 0}, log ⁺ ₁ x  =  log ⁺ x, log ⁺ _n+1 x  =  log ⁺ log ⁺ _n x, and M(r, f) is the maximum modulus of f on the circle of radius r centered at the origin. It is shown, for example, that the solutions f of the complex linear differential equation $$f^{{(k)}} + a_{{k - 1}} (z)f^{{(k - 1)}} + \cdots + a_{1} (z)f^{\prime} + a_{0} (z)f = 0,\quad \quad \quad (\dag)$$ where the coefficients are analytic in D, satisfy σ _M,n+1(f)  ≤  α if and only if σ _M,n (a _j )  ≤  α for all j  =  0, ..., k ? 1. Moreover, if q ∈{0, ..., k ? 1} is the largest index for which $\sigma _{M,n} ( a_{q}) = {\mathop {\max }\limits_{0 \leq j \leq k - 1} }{\left\{ {\sigma _{{M,n}} {\left( {a_{j} } \right)}} \right\}}$ , then there are at least k ? q linearly independent solutions f of ( $\dag$ ) such that σ _M,n+1(f) = σ _M,n (a _q ). Some refinements of these results in terms of the n-type of an analytic function in D are also given.     

Modified Dyadic Integral and Fractional Derivative on ℝ+

For functions from the Lebesgue space L(?₊), we introduce the modified strong dyadic integral J _α and the fractional derivative D ^(α) of order α > 0. We establish criteria for their existence for a given function f ∈ L(?₊). We find a countable set of eigenfunctions of the operators D ^(α) and J _α, α > 0. We also prove the relations D ^(α)(J _α(f)) = f and J _α(D ^(α)(f)) = f under the condition that $\smallint _{\mathbb{R}_ + } f(x)dx = 0$ . We show the unboundedness of the linear operator $J_\alpha :L_{J_{_\alpha } } \to L(\mathbb{R}_ + )$ , where L _{J α} is its natural domain of definition. A similar assertion is proved for the operator $D^{(\alpha )} :L_{D^{(\alpha )} } \to L(\mathbb{R}_ + )$ . Moreover, for a function f ∈ L(?₊) and a given point x ∈ ?₊, we introduce the modified dyadic derivative d ^(α)(f)(x) and the modified dyadic integral j _α(f)(x). We prove the relations d ^(α)(J _α(f))(x) = f(x) and j _α(D ^(α)(f)) = f(x) at each dyadic Lebesgue point of the function f.     

Generalized monotone approximation inL p Space

Letf(x) ∈L _p[0,1], 1?p? ∞. We shall say that functionf(x)∈Δ^k (integerk?1) if for anyh ∈ [0, 1/k] andx ∈ [0,1?kh], we have Δ _h ^k f(x)?0. Denote by ∏ _n the space of algebraic polynomials of degree not exceedingn and define $$E_{n,k} (f)_p : = \mathop {\inf }\limits_{\mathop {P_n \in \prod _n }\limits_{P_n^{(\lambda )} \geqslant 0} } \parallel f(x) - P_n (x)\parallel _{L_p [0,1]} .$$ We prove that for any positive integerk, iff(x) ∈ Δ ^k ∩ L _p[0, 1], 1?p?∞, then we have $$E_{n,k} (f)_p \leqslant C\omega _2 \left( {f,\frac{1}{n}} \right)_p ,$$ whereC is a constant only depending onk.