Vekua theory for the Helmholtz operator

Vekua operators map harmonic functions defined on domain in \({\mathbb R^{2}}\) to solutions of elliptic partial differential equations on the same domain and vice versa. In this paper, following the original work of I. Vekua (Ilja Vekua (1907–1977), Soviet-Georgian mathematician), we define Vekua operators in the case of the Helmholtz equation in a completely explicit fashion, in any space dimension N ≥ 2. We prove (i) that they actually transform harmonic functions and Helmholtz solutions into each other; (ii) that they are inverse to each other; and (iii) that they are continuous in any Sobolev norm in star-shaped Lipschitz domains. Finally, we define and compute the generalized harmonic polynomials as the Vekua transforms of harmonic polynomials. These results are instrumental in proving approximation estimates for solutions of the Helmholtz equation in spaces of circular, spherical, and plane waves.     

Plane wave approximation of homogeneous Helmholtz solutions

In this paper, we study the approximation of solutions of the homogeneous Helmholtz equation Δu + ω ² u = 0 by linear combinations of plane waves with different directions. We combine approximation estimates for homogeneous Helmholtz solutions by generalized harmonic polynomials, obtained from Vekua’s theory, with estimates for the approximation of generalized harmonic polynomials by plane waves. The latter is the focus of this paper. We establish best approximation error estimates in Sobolev norms, which are explicit in terms of the degree of the generalized polynomial to be approximated, the domain size, and the number of plane waves used in the approximations.     

Approximation by (<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)-Lorentz Polynomials on a Compact Disk

The (p, q)-factors were introduced in order to generalize or unify several forms of q-oscillator algebras well known in the physics literature related to the representation theory of single parameter quantum algebras. This notion has been recently used in approximation by positive linear operators via (p, q)-calculus which has emerged a very active area of research. In this paper, we introduce a new analogue of Lorentz polynomials based on (p, q)-integers. We obtain quantitative estimate in the Voronovskaja’s type theorem and exact orders in simultaneous approximation by the complex (p, q)-Lorentz polynomials of degree \(n\in \mathbb {N}\) (\(q>p>1)\), attached to analytic functions on compact disks of the complex plane. In this way, we put in evidence the overconvergence phenomenon for the (p, q)-Lorentz polynomial, namely the extensions of approximation properties (with quantitative estimates) from real intervals to compact disks in the complex plane.     

Approximation by a complex <Emphasis Type="Italic">q</Emphasis>-durrmeyer type operator

Very recently, for 0 < q < 1 Govil and Gupta [10] introduced a certain q-Durrmeyer type operators of real variable \({x \in [0,1]}\) and established some approximation properties. In the present paper, for these q-Durrmeyer operators, 0 < q < 1, but of complex variable z attached to analytic functions in compact disks, we study the exact order of simultaneous approximation and a Voronovskaja kind result with quantitative estimate. In this way, we put in evidence the overconvergence phenomenon for these q-Durrmeyer polynomials, namely the extensions of approximation properties (with quantitative estimates) from the real interval [0, 1] to compact disks in the complex plane. For q = 1 the results were recently proved in Gal-Gupta [8].     

On the Monge–Ampère equation with boundary blow-up: existence,uniqueness and asymptotics

We consider the Monge–Ampère equation det D ² u = b(x)f(u) > 0 in Ω, subject to the singular boundary condition u = ∞ on ?Ω. We assume that \(b\in C^\infty(\overline{\Omega})\) is positive in Ω and non-negative on ?Ω. Under suitable conditions on f, we establish the existence of positive strictly convex solutions if Ω is a smooth strictly convex, bounded domain in \({\mathbb R}^N\) with N ≥ 2. We give asymptotic estimates of the behaviour of such solutions near ?Ω and a uniqueness result when the variation of f at ∞ is regular of index q greater than N (that is, \(\lim_{u\to \infty} f(\lambda u)/f(u)=\lambda^q\) , for every λ > 0). Using regular variation theory, we treat both cases: b > 0 on ?Ω and \(b\equiv 0\) on ?Ω.     

Critical exponent for a quasilinear parabolic equation with inhomogeneous density in a cone

In this paper, we study the initial-boundary value problem of porous medium equation ρ(x)u _t  = Δu ^m  + V(x)h(t)u ^p in a cone D = (0, ∞) × Ω, where \({V(x)\,{\sim}\, |x|^\sigma, h(t)\,{\sim}\, t^s}\). Let ω ₁ denote the smallest Dirichlet eigenvalue for the Laplace-Beltrami operator on Ω and let l denote the positive root of l ² + (n ? 2)l = ω ₁. We prove that if \({m < p \leq 1+(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}\), then the problem has no global nonnegative solutions for any nonnegative u ₀ unless u ₀ = 0; if \({p >1 +(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}\), then the problem has global solutions for some u ₀ ≥ 0.     

On the complexity of generalized polynomials of <Emphasis Type="Italic">k</Emphasis>-valued functions

Specification of k-valued functions with generalized polynomials (for simple k) is considered. A generalized polynomial is a mod k polynomial in which each variable may also occur with one or several Post negations. The upper and lower estimates of the complexity of generalized polynomials are found for k-valued functions.     

Strong factorization property of Macdonald polynomials and higher-order Macdonald’s positivity conjecture

We prove a strong factorization property of interpolation Macdonald polynomials when q tends to 1. As a consequence, we show that Macdonald polynomials have a strong factorization property when q tends to 1, which was posed as an open question in our previous paper with Féray. Furthermore, we introduce multivariate q, t-Kostka numbers and we show that they are polynomials in q, t with integer coefficients by using the strong factorization property of Macdonald polynomials. We conjecture that multivariate q, t-Kostka numbers are in fact polynomials in q, t with nonnegative integer coefficients, which generalizes the celebrated Macdonald’s positivity conjecture.     

Boundary blow-up solutions of <Emphasis Type="Italic">p</Emphasis>-Laplacian elliptic equations with lower order terms

We study the existence, uniqueness, and asymptotic behavior of blow-up solutions for a general quasilinear elliptic equation of the type ?Δ _p u = a(x)u ^m ?b(x)f(u) with p >  1 and 0 <  m <  p?1. The main technical tool is a new comparison principle that enables us to extend arguments for semilinear equations to quasilinear ones. Indeed, this paper is an attempt to generalize all available results for the semilinear case with p =  2 to the quasilinear case with p >  1.     

A fractional spectral method with applications to some singular problems

In this paper we propose and analyze fractional spectral methods for a class of integro-differential equations and fractional differential equations. The proposed methods make new use of the classical fractional polynomials, also known as Müntz polynomials. We first develop a kind of fractional Jacobi polynomials as the approximating space, and derive basic approximation results for some weighted projection operators defined in suitable weighted Sobolev spaces. We then construct efficient fractional spectral methods for some integro-differential equations which can achieve spectral accuracy for solutions with limited regularity. The main novelty of the proposed methods is that the exponential convergence can be attained for any solution u(x) with u(x ^1/λ ) being smooth, where λ is a real number between 0 and 1 and it is supposed that the problem is defined in the interval (0,1). This covers a large number of problems, including integro-differential equations with weakly singular kernels, fractional differential equations, and so on. A detailed convergence analysis is carried out, and several error estimates are established. Finally a series of numerical examples are provided to verify the efficiency of the methods.     

The one-dimensional wave equation with general boundary conditions

We show that a realization of the Laplace operator Au := u′′ with general nonlocal Robin boundary conditions α _j u′(j) + β _j u(j) + γ _1–j u(1 ? j) = 0, (j = 0, 1) generates a cosine family on L ^p (0, 1) for every \({p\,{\in}\,[1,\infty)}\). Here α _j , β _j and γ _j are complex numbers satisfying α ₀, α ₁ ≠ 0. We also obtain an explicit representation of local solutions to the associated wave equation by using the classical d’Alembert’s formula.     

On the equation Δ<Emphasis Type="Italic">u</Emphasis> + <Emphasis Type="Italic">q</Emphasis>(<Emphasis Type="Italic">x</Emphasis>)<Emphasis Type="Italic">u</Emphasis> = 0

Sufficient conditions for the blow-up of nontrivial generalized solutions of the interior Dirichlet problem with homogeneous boundary condition for the homogeneous elliptic-type equation Δu + q(x)u = 0, where either q(x) ≠ const or q(x) = const= λ > 0, are obtained. A priori upper bounds (Theorem 4 and Remark 6) for the exact constants in the well-known Sobolev and Steklov inequalities are established.     

A New Class of Generalized Polynomials Associated with Hermite and Euler Polynomials

In this paper, we introduce a new class of generalized polynomials associated with the modified Milne-Thomson’s polynomials \({\Phi_{n}^{(\alpha)}(x,\nu)}\) of degree n and order α introduced by Dere and Simsek. The concepts of Euler numbers E _n , Euler polynomials E _n (x), generalized Euler numbers E _n (a, b), generalized Euler polynomials E _n (x; a, b, c) of Luo et al., Hermite–Bernoulli polynomials \({{_HE}_n(x,y)}\) of Dattoli et al. and \({{_HE}_n^{(\alpha)} (x,y)}\) of Pathan are generalized to the one \({ {_HE}_n^{(\alpha)}(x,y,a,b,c)}\) which is called the generalized polynomials depending on three positive real parameters. Numerous properties of these polynomials and some relationships between E _n , E _n (x), E _n (a, b), E _n (x; a, b, c) and \({{}_HE_n^{(\alpha)}(x,y;a,b,c)}\) are established. Some implicit summation formulae and general symmetry identities are derived using different analytical means and applying generating functions.     

Symmetries of Fundamental Solutions and Their Application in Continuum Mechanics

This paper is a brief survey of the recent results in problems of approximating functions by solutions of homogeneous elliptic systems of PDEs on compact sets in the plane in the norms of C^m spaces, m ≥ 0. We focus on general second-order systems. For such systems the paper complements the recent survey by M. Mazalov, P. Paramonov, and K. Fedorovskiy (2012), where the problems of C^m approximation of functions by holomorphic, harmonic, and polyanalytic functions as well as by solutions of homogeneous elliptic PDEs with constant complex coefficients were considered.     

On the curve of critical exponents for nonlinear elliptic problems in the case of a zero mass

For semilinear elliptic equations ?Δu = λ|u| ^p?2 u?|u| ^q?2 u, boundary value problems in bounded and unbounded domains are considered. In the plane of exponents p × q, the so-called curves of critical exponents are defined that divide this plane into domains with qualitatively different properties of the boundary value problems and the corresponding parabolic equations. New solvability conditions for boundary value problems, conditions for the stability and instability of stationary solutions, and conditions for the existence of global solutions to parabolic equations are found.     

Cylindrical Dyck paths and the Mazorchuk–Turowska equation

We classify all solutions (p, q) to the equation \(p(u)q(u)=p(u+\beta )q(u+\alpha )\) where p and q are complex polynomials in one indeterminate u, and \(\alpha \) and \(\beta \) are fixed but arbitrary complex numbers. This equation is a special case of a system of equations which ensures that certain algebras defined by generators and relations are non-trivial. We first give a necessary condition for the existence of non-trivial solutions to the equation. Then, under this condition, we use combinatorics of generalized Dyck paths to describe all solutions and a canonical way to factor each solution into a product of irreducible solutions.     

Positive-fraction intersection results and variations of weak epsilon-nets

A connected Finsler space (M, F) is said to be homogeneous if it admits a transitive connected Lie group G of isometries. A geodesic in a homogeneous Finsler space (G / H, F) is called a homogeneous geodesic if it is an orbit of a one-parameter subgroup of G. In this paper, we study the problem of the existence of homogeneous geodesics on a homogeneous Finsler space, and prove that any homogeneous Finsler space of odd dimension admits at least one homogeneous geodesic through each point.     

A construction for modified generalized Hadamard matrices using QGH matrices

Let G be a group of order mu and U a normal subgroup of G of order u. Let G/U = {U ₁,U ₂, . . . ,U _m } be the set of cosets of U in G. We say a matrix H = [h _ij ] of order k with entries from G is a quasi-generalized Hadamard matrix with respect to the cosets G/U if \({\sum_{1\le t \le k} h_{it}h_{jt}^{-1} = \lambda_{ij1}U_1+\cdots+\lambda_{ijm}U_m (\exists\lambda_{ij1},\ldots, \exists \lambda_{ijm} \in \mathbb{Z})}\) for any i ≠ j. On the other hand, in our previous article we defined a modified generalized Hadamard matrix GH(s, u, λ) over a group G, from which a TD _λ (uλ, u) admitting G as a semiregular automorphism group is obtained. In this article, we present a method for combining quasi-generalized Hadamard matrices and semiregular relative difference sets to produce modified generalized Hadamard matrices.     

Minimum Difference Representations of Graphs

Define a k-minimum-difference-representation (k-MDR) of a graph G to be a family of sets \({\{S(v): v\in V(G)\}}\) such that u and v are adjacent in G if and only if min{|S(u)?S(v)|, |S(v)?S(u)|} ≥ k. Define ρ _min(G) to be the smallest k for which G has a k-MDR. In this note, we show that {ρ _min(G)} is unbounded. In particular, we prove that for every k there is an n ₀ such that for n > n ₀ ‘almost all’ graphs of order n satisfy ρ _min(G) > k. As our main tool, we prove a Ramsey-type result on traces of hypergraphs.     

Irreducibility criteria of Schur-type and Pólya-type

Let \({f(x)=(x-a_1)\cdots (x-a_m)}\), where a ₁, . . . , a _m are distinct rational integers. In 1908 Schur raised the question whether f(x) ± 1 is irreducible over the rationals. One year later he asked whether \({(f(x))^{2^k}+1}\) is irreducible for every k ≥ 1. In 1919 Pólya proved that if \({P(x)\in\mathbb{Z}[x]}\) is of degree m and there are m rational integer values a for which 0 < |P(a)| < 2^?N N! where \({N=\lceil m/2\rceil}\), then P(x) is irreducible. A great number of authors have published results of Schur-type or Pólya-type afterwards. Our paper contains various extensions, generalizations and improvements of results from the literature. To indicate some of them, in Theorem 3.1 a Pólya-type result is established when the ground ring is the ring of integers of an arbitrary imaginary quadratic number field. In Theorem 4.1 we describe the form of the factors of polynomials of the shape h(x) f(x) + c, where h(x) is a polynomial and c is a constant such that |c| is small with respect to the degree of h(x) f(x). We obtain irreducibility results for polynomials of the form g(f(x)) where g(x) is a monic irreducible polynomial of degree ≤ 3 or of CM-type. Besides elementary arguments we apply methods and results from algebraic number theory, interpolation theory and diophantine approximation.