Let $a₁,...,a_k$ be arbitrary nonzero real numbers. An $(a₁,...,a_k)$-decomposition of a function f:ℝ → ℝ is a sum $f₁+\cdots +f_k=f$ where $f_i:ℝ\to ℝ$ is an $a_i$-periodic function. Such a decomposition is not unique because there are several solutions of the equation $h₁+\cdots +h_k=0$ with $h_i:ℝ\to ℝa_i$-periodic. We will give solutions of this equation with a certain simple structure (trivial solutions) and study whether there exist other solutions or not. If not, we say that the $(a₁,...,a_k)$-decomposition is essentially unique. We characterize those periods for which essential...

In this paper, we propose an extension of a periodic $GARCH$ ($PGARCH$) model to a Markov-switching periodic $GARCH$ ($MS$-$PGA$ $RCH$), and provide some probabilistic properties of this class of models. In particular, we address the question of strictly periodically and of weakly periodically stationary solutions. We establish necessary and sufficient conditions ensuring the existence of higher order moments. We further provide closed-form expressions for calculating the even-order moments as well...

Consider the following higher order difference equation $$x(n+1)=f(n,x(n\left)\right)+g(n,x(n-k\left)\right),n=0,1,\cdots$$ where $f(n,x)$ and $g(n,x):\{0,1,\cdots \}\times [0,\infty )\to [0,\infty )$ are continuous functions in $x$ and periodic functions in $n$ with period $p$, and $k$ is a nonnegative integer. We show the existence of a periodic solution $\left\{\tilde{x}\left(n\right)\right\}$ under certain conditions, and then establish a sufficient condition for $\left\{\tilde{x}\left(n\right)\right\}$ to be a global attractor of all nonnegative solutions of the equation. Applications to Riccati difference equation and some other difference equations derived from mathematical biology are also...

For a real number $q>1$ and a positive integer $m$, let $Y_m\left(q\right):=\left\{{\sum }_{i=0}^n{ϵ}_i{q}^i:{ϵ}_i\in \left\{0,\pm 1,...,\pm m\right\},n=0,1,...\right\}$. In this paper, we show that $Y_m\left(q\right)$ is dense in $ℝ$ if and only if $q<m+1$ and $q$ is not a Pisot number. This completes several previous results and answers an open question raised by Erdös, Joó and Komornik [8].

This article investigates the long-time behaviour of parabolic scalar conservation laws of the type ${\partial }_{t}u+{div}_{y}A(y,u)-{\Delta }_{y}u=0$, where $y\in {ℝ}^N$ and the flux $A$ is periodic in $y$. More specifically, we consider the case when the initial data is an $L^1$ disturbance of a stationary periodic solution. We show, under polynomial growth assumptions on the flux, that the difference between u and the stationary solution behaves in $L^1$ norm like a self-similar profile for large times. The proof uses a time and space change of variables...

We consider the problem $$\left\{\begin{array}{cc}-\Delta u=u^{\frac{N+2}{N-2}+\lambda }\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u\&gt;0\hfill & \text{in}\Omega \setminus \epsilon \omega ,\hfill \\ u=0\hfill & \text{on}\partial \left(\Omega \setminus \epsilon \omega \right),\hfill \end{array}\right.$$ where $\Omega$ and $\omega$ are smooth bounded domains in ${ℝ}^N$, $N\ge 3$, $\epsilon \&gt;0$ and $\lambda \in ℝ.$ We prove that if the size of the hole $\epsilon$ goes to zero and if, simultaneously, the parameter $\lambda$ goes to zero at the appropriate rate, then the problem has a solution which blows up at the origin.

We use the genus theory to prove the existence and multiplicity of solutions for the fractional $p$-Kirchhoff problem $$\left\{\begin{array}{c}{\displaystyle -{\left[M\left({\int }_Q{\displaystyle \frac{{|u\left(x\right)-u\left(y\right)|}^p}{{|x-y|}^{N+ps}}}\mathrm{d}x\mathrm{d}y\right)\right]}^{p-1}{(-\Delta )}_p^{s}u=\lambda h(x,u)\text{in}\Omega ,}\hfill \\ u=0\text{on}{ℝ}^N\setminus \Omega ,\hfill \end{array}\right.$$ where $\Omega$ is an open bounded smooth domain of ${ℝ}^N$, $p>1$, $N>ps$ with $s\in (0,1)$ fixed, $Q={ℝ}^{2N}\setminus (C\Omega \times C\Omega )$, $\lambda >0$ is a numerical parameter, $M$ and $h$ are continuous functions.

Let $P\left(z\right)={\sum }_{\nu =0}^n{a}_{\nu }{z}^{\nu }$ be a polynomial of degree at most $n$ which does not vanish in the disk $\left|z\right|<1$, then for $1\le p<\infty$ and $R>1$, Boas and Rahman proved $${∥P\left(Rz\right)∥}_p\le ({∥R^n+z∥}_p/{∥1+z∥}_p){∥P∥}_p.$$ In this paper, we improve the above inequality for $0\le p<\infty$ by involving some of the coefficients of the polynomial $P\left(z\right)$. Analogous result for the class of polynomials $P\left(z\right)$ having no zero in $\left|z\right|>1$ is also given.

The seminal theorem of Cobham has given rise during the last 40 years to a lot of work about non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $\alpha$ and $\beta$ be two multiplicatively independent Perron numbers. Then a sequence $x\in A^{\mathbb{N}}$, where $A$ is a finite alphabet, is both $\alpha$-substitutive and $\beta$-substitutive if and only if $x$ is ultimately...

We consider the linear Schrödinger equation under periodic boundary conditions, driven by a random force and damped by a quasilinear damping: $$\frac{\mathrm{d}}{\mathrm{d}t}u+\mathrm{i}\left(-\Delta +V\left(x\right)\right)u=\nu \left(\Delta u-{\gamma }_R{\left|u\right|}^{2p}u-\mathrm{i}{\gamma }_I{\left|u\right|}^{2q}u\right)+\sqrt{\nu }\eta (t,x).(*)$$ The force $\eta$ is white in time and smooth in $x$; the potential $V\left(x\right)$ is typical. We are concerned with the limiting, as $\nu \to 0$, behaviour of solutions on long time-intervals $0\le t\le {\nu }^{-1}T$, and with behaviour of these solutions under the double limit $t\to \infty$ and $\nu \to 0$. We show that these two limiting behaviours may be described in terms of solutions for the($*$) which is a well...

We consider on a two-dimensional flat torus $T$ defined by a rectangular periodic cell the following equation $$\Delta u+\rho \left(\frac{e^u}{{\int }_T{e}^u}-\frac{1}{\left|T\right|}\right)=0,{\int }_{T}u=0.$$ It is well-known that the associated energy functional admits a minimizer for each $\rho \le 8\pi$. The present paper shows that these minimizers depend actually only on one variable. As a consequence, setting ${\lambda }_1\left(T\right)$ to be the first eigenvalue of the Laplacian on the torus, the minimizers are identically zero whenever $\rho \le min\{8\pi ,{\lambda }_1\left(T\right)|T\left|\right\}$. Our results hold more generally for solutions that...

We investigate the existence of infinitely many periodic solutions for the $p\left(t\right)$-Laplacian Hamiltonian systems. By virtue of several auxiliary functions, we obtain a series of new super-$p^{+}$ growth and asymptotic-$p^{+}$ growth conditions. Using the minimax methods in critical point theory, some multiplicity theorems are established, which unify and generalize some known results in the literature. Meanwhile, we also present an example to illustrate our main results are new even in the case $p\left(t\right)\equiv p=2$. ...

In this paper, we consider solutions to the following chemotaxis system with general sensitivity $$\left\{\begin{array}{c}\tau u_t=\Delta u-\nabla ·\left(u\nabla \chi \left(v\right)\right)\text{in}\Omega \times (0,\infty ),\hfill \\ \eta v_t=\Delta v-v+u\text{in}\Omega \times (0,\infty ),\hfill \\ {\displaystyle \frac{\partial u}{\partial \nu }=\frac{\partial u}{\partial \nu }=0\text{on}\partial \Omega \times (0,\infty ).}\hfill \end{array}\right.$$ Here, $\tau$ and $\eta$ are positive constants, $\chi$ is a smooth function on $(0,\infty )$ satisfying ${\chi }^{\text{'}}(·)>0$ and $\Omega$ is a bounded domain of ${𝐑}^n$ ($n\ge 2$). It is well known that the chemotaxis system with direct sensitivity ($\chi \left(v\right)={\chi }_{0}v$, ${\chi }_0>0$) has blowup solutions in the case where $n\ge 2$. On the other hand, in the case where $\chi \left(v\right)={\chi }_{0}logv$ with $0<{\chi }_0\ll 1$, any solution to the system exists globally in time and is bounded. We present a sufficient condition for the boundedness...

Let $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...

We identify the torus with the unit interval [0,1) and let n,ν ∈ ℕ with 0 ≤ ν ≤ n-1 and N:= n+ν. Then we define the (partially equally spaced) knots $t_j$ = ⎧ j/(2n) for j = 0,…,2ν, ⎨ ⎩ (j-ν)/n for for j = 2ν+1,…,N-1. Furthermore, given n,ν we let $V_{n,\nu }$ be the space of piecewise linear continuous functions on the torus with knots $t_j:0\le j\le N-1$. Finally, let $P_{n,\nu }$ be the orthogonal projection operator from L²([0,1)) onto $V_{n,\nu }$. The main result is $li{m}_{n\to \infty ,\nu =1}\left|\right|P_{n,\nu }:L^{\infty }\to L^{\infty }\left|\right|=su{p}_{n\in \mathbb{N},0\le \nu \le n}\left|\right|P_{n,\nu }:L^{\infty }\to L^{\infty }\left|\right|=2+(33-18\surd 3)/13$. This shows in particular that the Lebesgue constant of the classical...

Let $\mathbb{N}$ be the set of positive integers and let $s\in \mathbb{N}$. We denote by $d^s$ the arithmetic function given by $d^s\left(n\right)={\left(d\left(n\right)\right)}^s$, where $d\left(n\right)$ is the number of positive divisors of $n$. Moreover, for every $\ell ,m\in \mathbb{N}$ we denote by ${\delta }^{s,\ell ,m}\left(n\right)$ the sequence $$\underset{m\text{-times}}{\underbrace{d^s(d^s(...d^s(d^s\left(n\right)+\ell )+\ell ...)+\ell )}}=\left\{\begin{array}{cc}{d}^s\left(n\right)\hfill & \text{for}m=1,\hfill \\ d^s(d^s\left(n\right)+\ell )\hfill & \text{for}m=2,\hfill \\ d^s(d^s(d^s\left(n\right)+\ell )+\ell )\hfill & \text{for}m=3,\hfill \\ ⋮\hfill \end{array}\right.$$ We present classical and nonclassical notes on the sequence ${\left({\delta }^{s,\ell ,m}\left(n\right)\right)}_{m\ge 1}$, where $\ell$, $n$, $s$ are understood as parameters.

Let $\mathrm{T}$ be the family of all typically real functions, i.e. functions that are analytic in the unit disk $\Delta :=\{z\in ℂ:|z|<1\}$, normalized by $f\left(0\right)=f^{\text{'}}\left(0\right)-1=0$ and such that Im $z$ Im $f\left(z\right)$ $\ge 0$ for $z\in \Delta$. Moreover, let us denote: ${\mathrm{T}}^{\left(2\right)}:=\{f\in \mathrm{T}:f\left(z\right)=-f(-z)\text{for}z\in \Delta \}$ and ${\mathrm{T}}^{M,g}:=\{f\in \mathrm{T}:f\prec Mg\text{in}\Delta \}$, where $M>1$, $g\in \mathrm{T}\cap \mathrm{S}$ and $\mathrm{S}$ consists of all analytic functions, normalized and univalent in $\Delta$.We investigate  classes in which the subordination is replaced with the majorization and the function $g$ is typically real but does not necessarily univalent, i.e. classes $\{f\in \mathrm{T}:f\ll Mg\text{in}\Delta \}$, where $M>1$, $g\in \mathrm{T}$, which we denote...

The paper considers a scalar differential equation of an advance-delay type $$\dot{y}\left(t\right)=-\left(a_0+\frac{a_1}{t}\right)y(t-\tau )+\left(b_0+\frac{b_1}{t}\right)y(t+\sigma ),$$ where constants $a_0$, $b_0$, $\tau$ and $\sigma$ are positive, and $a_1$ and $b_1$ are arbitrary. The behavior of its solutions for $t\to \infty$ is analyzed provided that the transcendental equation $$\lambda =-a_0{\mathrm{e}}^{-\lambda \tau }+b_0{\mathrm{e}}^{\lambda \sigma }$$ has a positive real root. An exponential-type function approximating the solution is searched for to be used in proving the existence of a semi-global solution. Moreover, the lower and upper estimates are given for such a solution.

Let $p,q\in ℝ$ with $p-q\ge 0$, $\sigma =\frac{1}{2}(p+q-1)$ and $s=\frac{1}{2}(1-p+q)$, and let $${𝒟}_m(x;p,q)={𝒟}_0(x;p,q)+\sum _{k=1}^m\frac{B_{2k}\left(s\right)}{2k{(x+\sigma )}^{2k}},$$ where $${𝒟}_0(x;p,q)=\frac{\psi (x+p)+\psi (x+q)}{2}-ln(x+\sigma ).$$ We establish the asymptotic expansion $${𝒟}_0(x;p,q)\sim -\sum _{n=1}^{\infty }\frac{B_{2n}\left(s\right)}{2n{(x+\sigma )}^{2n}}\text{as}x\to \infty ,$$ where $B_{2n}\left(s\right)$ stands for the Bernoulli polynomials. Further, we prove that the functions ${(-1)}^m{𝒟}_m(x;p,q)$ and ${(-1)}^{m+1}{𝒟}_m(x;p,q)$ are completely monotonic in $x$ on $(-\sigma ,\infty )$ for every $m\in {\mathbb{N}}_0$ if and only if $p-q\in [0,\frac{1}{2}]$ and $p-q=1$, respectively. This not only unifies the two known results but also yields some new results.

We consider limit cycles of a class of polynomial differential systems of the form $$\left\{\begin{array}{c}\dot{x}=y,\hfill \\ \dot{y}=-x-\epsilon (g_{21}\left(x\right)y^{2\alpha +1}+f_{21}\left(x\right)y^{2\beta })-{\epsilon }^2(g_{22}\left(x\right)y^{2\alpha +1}+f_{22}\left(x\right)y^{2\beta }),\hfill \end{array}\right.$$ where $\beta$ and $\alpha$ are positive integers, $g_{2j}$ and $f_{2j}$ have degree $m$ and $n$, respectively, for each $j=1,2$, and $\epsilon$ is a small parameter. We obtain the maximum number of limit cycles that bifurcate from the periodic orbits of the linear center $\dot{x}=y$, $\dot{y}=-x$ using the averaging theory of first and second order.

We give new results on square functions $${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$ associated to a sectorial operator $A$ on $L^p$ for $1\&lt;p\&lt;\infty$. Under the assumption that $A$ is actually $R$-sectorial, we prove equivalences of the form $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ for suitable functions $F,G$. We also show that $A$ has a bounded $H^{\infty }$ functional calculus with respect to ${\parallel .\parallel }_F$. Then we apply our results to the study of conditions under which we have an estimate $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, when $-A$ generates a bounded semigroup ${\mathrm{e}}^{-tA}$ on $L^p$ and $C:D\left(A\right)\to L^q$ is a linear mapping.