Searcharxiv⌕ Search

arXiv subjects

Janne Heittokangas

Publications and source records attributed to Janne Heittokangas.

17 recordsLinked to original sources
arXiv2024

Convergence of sub-series' and sub-signed series' in terms of the asymptotic $ψ$-density

Given a non-negative real sequence $\{c_n\}_n$ such that the series $\sum_{n=1}^{\infty}c_n$ diverges, it is known that the size of an infinite subset $A\subset\mathbb{N}$ can be measured in terms of the linear density such that the sub-series $\sum_{n\in A}c_n$ either (a) converges or (b) still diverges. The purpose of this research is to study these convergence/divergence questions by measuring the size of the set $A\subset\mathbb{N}$ in a more precise way in terms of the recently introduced asymptotic $ψ$-density. The convergence of the associated sub-signed series $\sum_{n=1 }^{\infty}m_nc_n$ is also discussed, where $\{m_n\}_n$ is a real sequence with values restricted to the set $\{-1, 0, 1\}$.

math.CA↗
arXiv2024

Asymptotic $ψ$-densities of subsets of natural numbers

The sizes of subsets of the natural numbers are typically quantified in terms of asymptotic (linear) and logarithmic densities. These concepts have been generalized to weighted $w$-densities, where a specific weight function $w$ plays a key role. In this paper, a parallel theory of asymptotic $ψ$-densities is introduced, where the weight is expressed slightly differently in terms of differentiable functions $ψ$, which are either concave or convex and satisfy certain asymptotic properties. Alternative new proofs for known results on analytic and Abel densities are also given.

math.CA↗
arXiv2023

Standard solutions of complex differential equations

A meromorphic solution of a complex linear differential equation (with meromorphic coefficients) for which the value zero is the only possible finite deficient/deviated value is called a standard solution. Conditions for the existence and the number of standard solutions are discussed for various types of deficient and deviated values.

math.CV↗
arXiv2022

Value distribution of exponential polynomials and their role in the theories of complex differential equations and oscillation theory

An exponential polynomial is a finite linear sum of terms $P(z)e^{Q(z)}$, where $P(z)$ and $Q(z)$ are polynomials. The early results on the value distribution of exponential polynomials can be traced back to Georg Pólya's paper published in 1920, while the latest results have come out in 2021. Despite of over a century of research work, many intriguing problems on value distribution of exponential polynomials still remain unsolved. The role of exponential polynomials and their quotients in the theories of linear/non-linear differential equations, oscillation theory and differential-difference equations will also be discussed. Thirteen open problems are given to motivate the readers for further research in these topics.

math.CV↗
arXiv2021

Dual exponential polynomials and a problem of Ozawa

Complex linear differential equations with entire coefficients are studied in the situation where one of the coefficients is an exponential polynomial and dominates the growth of all the other coefficients. If such an equation has an exponential polynomial solution $f$, then the order of $f$ and of the dominant coefficient are equal, and the two functions possess a certain duality property. The results presented in this paper improve earlier results by some of the present authors, and the paper adjoins with two open problems.

math.CV↗
arXiv2020

Irregular finite order solutions of complex LDE's in unit disc

It is shown that the order and the lower order of growth are equal for all non-trivial solutions of $f^{(k)}+A f=0$ if and only if the coefficient $A$ is analytic in the unit disc and $\log^+ M(r,A)/\log(1-r)$ tends to a finite limit as $r\to 1^-$. A family of concrete examples is constructed, where the order of solutions remain the same while the lower order may vary on a certain interval depending on the irregular growth of the coefficient. These coefficients emerge as the logarithm of their modulus approximates smooth radial subharmonic functions of prescribed irregular growth on a sufficiently large subset of the unit disc. A result describing the phenomenon behind these highly non-trivial examples is also established. En route to results of general nature, a new sharp logarithmic derivative estimate involving the lower order of growth is discovered. In addition to these estimates, arguments used are based, in particular, on the Wiman-Valiron theory adapted for the lower order, and on a good understanding of the right-derivative of the logarithm of the maximum modulus.

math.CA↗
arXiv2020

Meromorphic functions of finite $φ$-order and linear $q$-difference equations

The $φ$-order was introduced in 2009 for meromorphic functions in the unit disc, and was used as a growth indicator for solutions of linear differential equations. In this paper, the properties of meromorphic functions in the complex plane are investigated in terms of the $φ$-order, which measures the growth of functions between the classical order and the logarithmic order. Several results on value distribution of meromorphic functions are discussed by using the $φ$-order and the $φ$-exponent of convergence. Instead of linear differential equations, the applications in the complex plane lie in linear $q$-difference equations.

math.CV↗
arXiv2020

Asymptotic integration theory for $f'' + P(z)f = 0$

Asymptotic integration theory gives a collection of results which provide a thorough description of the asymptotic growth and zero distribution of solutions of (*) $f''+P(z)f=~0$, where $P(z)$ is a polynomial. These results have been used by several authors to find interesting properties of solutions of (*). That said, many people have remarked that the proofs and discussion concerning asymptotic integration theory that are, for example, in E.~Hille's 1969 book \emph{Lectures on Ordinary Differential Equations} are difficult to follow. The main purpose of this paper is to make this theory more understandable and accessible by giving complete explanations of the reasoning used to prove the theory and by writing full and clear statements of the results. A considerable part of the presentation and explanation of the material is different from that in Hille's book.

math.CV↗
arXiv2019

On meromorphic solutions of non-linear differential equations of Tumura-Clunie type

Meromorphic solutions of non-linear differential equations of the form $f^n+P(z,f)=h$ are investigated, where $n\geq 2$ is an integer, $h$ is a meromorphic function, and $P(z,f)$ is differential polynomial in $f$ and its derivatives with small functions as its coefficients. In the existing literature this equation has been studied in the case when $h$ has the particular form $h(z)=p_1(z)e^{α_1(z)}+p_2(z)e^{α_2(z)}$, where $p_1, p_2$ are small functions of $f$ and $α_1,α_2$ are entire functions. In such a case the order of $h$ is either a positive integer or equal to infinity. In this article it is assumed that $h$ is a meromorphic solution of the linear differential equation $h'' +r_1(z) h' +r_0(z) h=r_2(z)$ with rational coefficients $r_0,r_1,r_2$, and hence the order of $h$ is a rational number. Recent results by Liao-Yang-Zhang (2013) and Liao (2015) follow as special cases of the main results.

math.CV↗
arXiv2019

On the number of linearly independent rapid solutions to linear differential and linear difference equations

Assuming that $A_0,\ldots,A_{n-1}$ are entire functions and that $p\in \{0,\ldots,n-1\}$ is the smallest index such that $A_p$ is transcendental, then, by a classical theorem of Frei, each solution base of the differential equation $f^{(n)}+A_{n-1}f^{(n-1)}+\cdots +A_{1}f'+A_{0}f=0$ contains at least $n-p$ entire functions of infinite order. Here, the transcendental coefficient $A_p$ dominates the growth of the polynomial coefficients $A_{p+1},\ldots,A_{n-1}$. By expressing the dominance of $A_p$ in different ways, and allowing the coefficients $A_{p+1},\ldots,A_{n-1}$ to be transcendental, we show that the conclusion of Frei's theorem still holds along with an additional estimation on the asymptotic lower bound for the growth of solutions. At times these new refined results give a larger number of linearly independent solutions of infinite order than the original theorem of Frei. For such solutions, we show that $0$ is the only possible finite deficient value. Previously this property has been known to hold for so-called admissible solutions and is commonly cited as Wittich's theorem. Analogous results are discussed for linear differential equations in the unit disc, as well as for complex difference and complex $q$-difference equations.

math.CV↗
arXiv2019

Description of growth and oscillation of solutions of complex LDE's

It is known that, equally well in the unit disc as in the whole complex plane, the growth of the analytic coefficients $A_0,\dotsc,A_{k-2}$ of \begin{equation*} f^{(k)} + A_{k-2} f^{(k-2)} + \dotsb + A_1 f'+ A_0 f = 0, \quad k\geq 2, \end{equation*} determines, under certain growth restrictions, not only the growth but also the oscillation of its non-trivial solutions, and vice versa. A uniform treatment of this principle is given in the disc $D(0,R)$, $0<R\leq \infty$, by using several measures for growth that are more flexible than those in the existing literature, and therefore permit more detailed analysis. In particular, results obtained are not restricted to cases where solutions are of finite (iterated) order of growth in the classical sense. The new findings are based on an accurate integrated estimate for logarithmic derivatives of meromorphic functions, which preserves generality in terms of three free parameters.

math.CA↗
arXiv2019

A continuous transition from $\mathcal{E}$-sets to $R$-sets and beyond

The well-known $\mathcal{E}$-sets introduced by Hayman in 1960 are collections of Euclidean discs in the complex plane with the following property: The set of angles $θ$ for which the ray $\arg(z)=θ$ meets infinitely many discs in a given $\mathcal{E}$-set has linear measure zero. An important special case of an $\mathcal{E}$-set is known as the $R$-set. These sets appear in numerous papers in the theories of complex differential and functional equations. This paper offers a continuous transition from $\mathcal{E}$-sets to $R$-sets, and then to much thinner sets. In addition to rays, plane curves that originate from the zero distribution theory of exponential polynomials will be considered. It turns out that almost every such curve meets at most finitely many discs in the collection in question. Analogous discussions are provided in the case of the unit disc $\mathbb{D}$, where the curves tend to the boundary $\partial\mathbb{D}$ tangentially or non-tangentially. Finally, these findings will be used for improving well-known estimates for logarithmic derivatives, logarithmic differences and logarithmic $q$-differences of meromorphic functions, as well as for improving standard results on exceptional sets.

math.CV↗
arXiv2019

Deficient values of solutions of linear differential equations

Differential equations of the form $f'' + A(z)f' + B(z)f = 0$ (*) are considered, where $A(z)$ and $B(z) \not\equiv 0$ are entire functions. The Lindelöf function is used to show that for any $ρ\in (1/2, \infty)$, there exists an equation of the form (*) which possesses a solution $f$ of order $ρ$ with a Nevanlinna deficient value at $0$, where $f, A(z), B(z)$ satisfy a common growth condition. It is known that such an example cannot exist when $ρ\leq 1/2$. For smaller growth functions, a geometrical modification of an example of Anderson and Clunie is used to show that for any $ρ\in (2, \infty)$, there exists an equation of the form (*) which possesses a solution $f$ of logarithmic order $ρ$ with a Valiron deficient value of at $0$, where $f, A(z), B(z)$ satisfy an analogous growth condition. This result is essentially sharp. In both proofs, the separation of the zeros of the indicated solution plays a key role. Observations on the deficient values of solutions of linear differential equations are also given, which include a discussion of Wittich's theorem on Nevanlinna deficient values, a modified Wittich theorem for Valiron deficient values, consequences of Gol'dberg's theorem, and examples to illustrate possibilities that can occur.

math.CV↗
arXiv2019

Exponential polynomials in the oscillation theory

Supposing that $A(z)$ is an exponential polynomial of the form $$ A(z)=H_0(z)+H_1(z)e^{ζ_1z^n}+\cdots +H_m(z)e^{ζ_mz^n}, $$ where $H_j$'s are entire and of order $<n$, it is demonstrated that the function $H_0(z)$ and the geometric location of the leading coefficients $ζ_1,\ldots,ζ_m$ play a key role in the oscillation of solutions of the differential equation $f''+A(z)f=0$. The key tools consist of value distribution properties of exponential polynomials, and elementary properties of the Phragmén-Lindelöf indicator function. In addition to results in the whole complex plane, results on sectorial oscillation are proved.

math.CV↗
arXiv2019

Generalization of Pólya's zero distribution theory for exponential polynomials, plus sharp results for asymptotic growth

An exponential polynomial of order $q$ is an entire function of the form $$ f(z)=P_1(z)e^{Q_1(z)}+\cdots +P_k(z)e^{Q_k(z)}, $$ where the coefficients $P_j(z),Q_j(z)$ are polynomials in $z$ such that $$ \max\{°{Q_j}\}=q. $$ In 1977 Steinmetz proved that the zeros of $f$ lying outside of finitely many logarithmic strips around so called critical rays have exponent of convergence $\leq q-1$. This result does not say nothing about the zero distribution of $f$ in each individual logarithmic strip. Here, it is shown that the asymptotic growth of the non-integrated counting function of zeros of $f$ is asymptotically comparable to $r^q$ in each logarithmic strip. The result generalizes the first order results by Pólya and Schwengeler from the 1920's, and it shows, among other things, that the critical rays of $f$ are precisely the Borel directions of order $q$ of $f$. The error terms in the asymptotic equations for $T(r,f)$ and $N(r,1/f)$ originally due to Steinmetz are also improved.

math.CV↗
arXiv2019

Oscillation of solutions of LDE's in domains conformally equivalent to unit disc

Oscillation of solutions of $f^{(k)} + a_{k-2} f^{(k-2)} + \dotsb + a_1 f' +a_0 f = 0$ is studied in domains conformally equivalent to the unit disc. The results are applied, for example, to Stolz angles, horodiscs, sectors and strips. The method relies on a new conformal transformation of higher order linear differential equations. Information on the existence of zero-free solution bases is also obtained.

math.CA↗