 Research
 Open access
 Published:
The chaos of the solution semigroup for some partial differential equations in weighted Banach spaces
Advances in Difference Equations volume 2014, Article number: 123 (2014)
Abstract
In this paper we deal with the solution semigroup of some partial differential equations in a weighted Banach space on the real axis. We aim at showing the connection between complexanalytic approach and chaotic theory. With the approach of Carleman’s formula and Joel H Shapiro’s construction, we could construct dense systems of functions from which the chaos of the solution semigroup follows. The novelty of our paper is the usage of the complexanalytic approach in investigation on chaos of some partial differential equations. As far as we know, our manuscript is the first paper in this direction.
MSC:35K30, 30E20.
1 Introduction
In [1] and [2], the author considered the following partial differential equation:
with an initial condition
where c(x)=a or c(x)=ax with a a positive constant and h(x) is a continuous bounded function on [0,\mathrm{\infty}). In case of f(x)\in {C}_{0}([0,\mathrm{\infty})), where {C}_{0}([0,\mathrm{\infty})) consists of all complexvalued functions on [0,\mathrm{\infty}) satisfying {lim}_{x\to \mathrm{\infty}}f(x)=0 with the norm \parallel f\parallel ={sup}_{x\in [0,\mathrm{\infty})}f(x), both the hypercyclicity and the chaos of the solution semigroup {\{Q(t)\}}_{t\ge 0} of (1) and (2) in the form
are characterized.
It is natural to ask the following question:
Does the hypercyclicity or chaos of the solution semigroup {\{Q(t)\}}_{t\ge 0} of (1) and (2) still hold when f(x) is in other Banach spaces?
In the present paper we are concerned with the above question. Our study will be focused on the weighted Banach space {C}_{\alpha}. Let \alpha (x) be a nonnegative continuous function defined on {\mathbb{R}}^{+}=[0,\mathrm{\infty}), henceforth called a weight, satisfying
Given a weight \alpha (x), the weighted Banach space {C}_{\alpha} consists of complex continuous functions f defined on the half real axis with f(x)exp(\alpha (x)) vanishing at infinity, and is normed by
for f\in {C}_{\alpha}.
Following [3, 4], and [5], we define the operator {T}_{a}:{C}_{\alpha}\to {C}_{\alpha} of translation by the complex number a by
In [4], the normal family in an open set in the complex plane which is integer translates of an entire function is characterized. The hypercyclicity of bounded translation operators on Hilbert spaces of entire functions which have slow growth is characterized in [3]. The translation operators are engaged in [5] to get the intriguing and beautiful chaotic characterizations of simple connectivity. For the reader’s convenience, we shall recall some basic facts on the concept of chaos.
In the last decade it has been observed that chaotic behavior in the sense of Devaney [6] can occur in some infinitedimensional space for a linear operator. Recall a continuous linear operator T on a topological vector space X is called hypercyclic if there exists a vector x\in X whose orbit \{{T}^{n}xn=0,1,\dots \} is dense in X. A periodic point for T is a vector x\in X such that {T}^{n}x=x for some n\in \mathbb{N}. T is said to be chaotic if it is hypercyclic and its set of periodic points is dense in X.
Much of the work that has been done on hypercyclic operators depends on the following hypercyclicity criterion (see [7] and [5]).
Lemma 1.1 (The hypercyclicity criterion)
Suppose T is an operator on a Fréchet space X. Suppose further that there are dense subsets {X}_{0} and {Y}_{0} of X, and a mapping S:{Y}_{0}\to {Y}_{0}, such that:

(a)
{T}^{n}\to 0 pointwise on {X}_{0},

(b)
{S}^{n}\to 0 pointwise on {Y}_{0},

(c)
TS is the identity map on {Y}_{0}.
Then T is hypercyclic on X.
In this paper we shall show that the solution semigroup of (1) which is defined in (3) is chaotic in some {C}_{\alpha}. Our proof is based on constructing function system which is dense and periodic under the acting of the solution semigroup, which is a totally complexanalytic approach. In Section 2, we introduce some basic results from complex analysis. Our theorem on chaos of the solution semigroup of (1) will be proved in Section 3.
2 Preliminary lemmas
From now on, A denotes positive constants and it may be different at each occurrence.
Let us recall Carleman’s formula, which connects the zeros of a holomorphic function with its behavior on the boundary of a circle.
With a sequence of numbers \mathrm{\Lambda}=\{{\lambda}_{n}={\lambda}_{n}{e}^{i{\theta}_{n}}:n=1,2,\dots \}, {\lambda}_{n}\in \mathbb{C}, we associate the function
Carleman’s formula is as follows (see [8] and [9] for more details).
Lemma 2.1 Let f(w) be a function analytic on S=\{w=u+iv:\mathrm{\Re}w\ge 0,w\le R\}, then
where {N}_{\mathrm{\Lambda}}(R) is the function associated with the zeros of f(w) in S defined by (5) and \{{\theta}_{n}\} is the corresponding sequence of arguments. Furthermore, {d}_{f}(R) is a function of R depends on f, satisfying
It will be important for us to investigate the denseness of some particular systems of functions in the {C}_{\alpha}. The basic idea of the following lemma originates from [10, 11] and [12].
Let \alpha (x) be a positive continuous function on the halfaxis, if for every fixed R\ge 0, the quantity
is finite. It is called the Legendre transform or the Young dual function for α (see [9]).
Denote by
Lemma 2.2 Let \alpha (x) be a nonnegative continuous function satisfying (4), let \mathrm{\Lambda}=\{{\lambda}_{n}={\lambda}_{n}{e}^{i{\theta}_{n}}:n=1,2,\dots \} be a sequence of complex numbers satisfying \mathrm{\Re}{\lambda}_{n}>0, furthermore, let {N}_{\mathrm{\Lambda}}(R) be the function associated to Λ defined by (5), {\alpha}^{\ast}(R) and {M}_{{\alpha}^{\ast}}(R) be defined by (6) and (7) separately. If
then the system \{{e}^{{\lambda}_{n}x}\} is dense in {C}_{\alpha}.
Proof We use the HahnBanach theorem. Suppose ϕ is a continuous linear functional on {C}_{\alpha} that annihilates each exponential function \{{e}^{{\lambda}_{n}x}\} for {\lambda}_{n}\in \mathrm{\Lambda}. By HahnBanach we will be done if we can show that \varphi =0 on {C}_{\alpha}.
The Riesz representation theorem provides a complex measure μ satisfying
such that
for f\in {C}_{\alpha}. In particular,
for each {\lambda}_{n}\in \mathrm{\Lambda}. Now the last equation shows that the function defined on the complex plane by
is holomorphic in the closed right half plane {\mathbb{C}}_{+}=\{w:\mathrm{\Re}w\ge 0\}, satisfying
for each {\lambda}_{n}\in \mathrm{\Lambda}.
By the definition of μ, we have
Thanks to Lemma 2.1, we will see that (8) verifies Lemma 2.2. Consider \mathrm{\Phi}(w) in the closed half circle S=\{w:\mathrm{\Re}w\ge 0,w\le R\}. Without loss of generality, we can suppose that {\lambda}_{n}>1. Application of Carleman’s formula in Lemma 2.1 yields
Recall the function {d}_{f}(R) defined in Lemma 2.1 remains bounded as R\to \mathrm{\infty}. This forces
which gives \mathrm{\Phi}(w)\equiv 0, proving Lemma 2.2. □
For a function f(z) regular in the right half plane \mathrm{\Re}z\ge 0, the indicator function of f(z) is defined by (see [8])
We also need the following uniqueness theorem on holomorphic functions of exponential type growth on the right half plane characterized by the indicator functions (see [8]).
Lemma 2.3 (Carleson’s theorem)
Suppose that f(z) is regular and exponential type in \mathrm{\Re}z\ge 0 and h(\frac{\pi}{2})+h(\frac{\pi}{2})<2\pi; then f(z)\equiv 0 if and only if f(k)=0, k=1,2,\dots .
3 The chaotic theorem
With the useful criteria for the density in Lemma 2.2 and Lemma 2.3 in hand, we are able to prove Theorem 3.1, which is the main result of this paper.
Theorem 3.1 Let Q(t) be the solution semigroup of (1) defined in (3) with f(x)\in {C}_{\alpha}, where x\in [0,+\mathrm{\infty}) and h(x) is a bounded continuous function. If
holds for some positive constant a, then the discrete semigroup {\{Q(na)\}}_{n=1}^{\mathrm{\infty}} is chaotic in {C}_{\alpha}.
Proof It is obvious that the discrete semigroup {\{Q(na)\}}_{n=1}^{\mathrm{\infty}} is very close to the translation operators {T}_{a}. We shall follow the proof for {T}_{a} in [5]. We will proceed with the proof in two steps.
Step 1: The solution semigroup {Q}_{a} is hypercyclic in {C}_{\alpha}.
Our business is to find the dense subspaces {X}_{0} and {Y}_{0} and the inverting operator S required by the hypercyclicity criterion in Lemma 1.1.
Let us define
and
By the density Lemma 2.2, it is obvious that {F}_{+} is dense in {C}_{\alpha}. The case of {F}_{} can be done in a similar fashion, that is, applying Carleman’s formula in Lemma 2.1 to the closed half circle on the left half plane {S}_{}=\{w:\mathrm{\Re}w\le 0,w\le R\}. This argument works as well for Lemma 2.1 and Lemma 2.2. Thus, we have obtained the dense subspaces of {C}_{\alpha}.
Let us verify the hypercyclicity criterion for the dense subset {F}_{+},{F}_{}\subset {C}_{\alpha}:

(a)
For every {e}^{{\lambda}_{j}x}\in {F}_{}, {Q}_{a}^{n}{e}^{{\lambda}_{j}x}=exp({\int}_{x}^{x+a}h(s)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s){e}^{{\lambda}_{j}x+na{\lambda}_{j}}. Note that {e}^{na{\lambda}_{j}x} can be written as {e}^{na{\lambda}_{j}x}={e}^{{\lambda}_{j}x}(cos(na{\lambda}_{j})+isin(na{\lambda}_{j})), therefore, {lim}_{n\to \mathrm{\infty}}{Q}_{a}^{n}{e}^{{\lambda}_{j}x}=0.

(b)
Let {S}_{a} be the operator translation by −a, i.e. {S}_{a}={Q}_{a}^{1}. For every {e}^{{\lambda}_{j}x}\in {F}_{+}, {S}_{a}^{n}{e}^{{\lambda}_{j}x}=exp({\int}_{xa}^{x}h(s)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s){e}^{{\lambda}_{j}tna{\lambda}_{j}}. Note that {e}^{na{\lambda}_{j}x} can be written as {e}^{na{\lambda}_{j}}={e}^{na\mathrm{\Re}{\lambda}_{j}}(cos(na\mathrm{\Im}{\lambda}_{j}x)+isin(na\mathrm{\Im}{\lambda}_{j}x)), therefore, {lim}_{n\to \mathrm{\infty}}{S}_{a}^{n}{e}^{{\lambda}_{j}x}=0.

(c)
Finally, we have {Q}_{a}{S}_{a}=I on {F}_{+} where I is the identity operator.
Step 2: {C}_{\alpha} admits a dense periodic points subset.
Since the obvious periodic points {e}^{\lambda x} for a\lambda =2\pi iq, where q is a (real) rational number, no longer span a dense subspace of {C}_{\alpha}, it requires a bit more work.
Denote by E=\{\frac{1}{{(x+an)}^{k}},k=1,2,\dots \}. Since \alpha (x) satisfies (4), we know that E is a subset of {C}_{\alpha}. We are going to show that E is also dense in {C}_{\alpha}. We proceed with the proof in Lemma 2.2 word by word. Denote by \mathrm{\Phi}(w) the function induced by the bounded linear functional ϕ, then
Denote by w=u+iv=r{e}^{i\theta}, then for fixed n, we have
where A is some positive constant depend on n. Thus \mathrm{\Phi}(w) is regular and exponential type in the closed right half plane {\mathbb{C}}_{+}=\{w:\mathrm{\Re}w\ge 0\}, satisfying h(\frac{\pi}{2})+h(\frac{\pi}{2})<2\pi. By Lemma 2.3, we can deduce \mathrm{\Phi}(w)\equiv 0 from \mathrm{\Phi}(k)=0 for all k\in \mathbb{N}. Thus E is dense in {C}_{\alpha}.
Now we proceed to construct dense periodic subset of {C}_{\alpha} with the help of E. We claim that for each point λ of the unit circle, the series
converges in the norm of {C}_{\alpha} to an eigenvector f of {Q}_{\lambda} corresponding to the eigenvalue λ. Since k\ge 2, for fixed x\in {\mathbb{R}}^{+}, we have
Thus the absolute series
converges.
Let {E}_{\mathrm{\Sigma}} denote the collection of all these eigenvectors where λ is a root of unity, it is obvious that {E}_{\mathrm{\Sigma}} is a set of periodic points of {Q}_{a}. As aforementioned, the set
is another collection of periodic points for {Q}_{a}. Thus the linear span of {E}_{0}\cup {E}_{\mathrm{\Sigma}} also consists entirely of periodic points. To prove Theorem 3.1, it remains to show that {E}_{0}\cup {E}_{\mathrm{\Sigma}} is dense in {C}_{\alpha}. We will see that it reduces to show that {E}_{\mathrm{\Sigma}} is dense in {H}_{\alpha}.
Recall that we have proved the density of the systems E. So it is just a job for the HahnBanach theorem to show that the closure of the span of {E}_{\mathrm{\Sigma}} contains E. Suppose ϕ is a nontrivial bounded linear functional that annihilates every function in {E}_{\mathrm{\Sigma}}. By the HahnBanach theorem it is enough to prove that ϕ also annihilates every function in {E}_{\mathrm{\Sigma}}. That is, we are assuming that \varphi (f)=0 for all \lambda =1 and we want to prove \varphi (exp({\int}_{x}^{x+a}h(s)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s)\frac{1}{{(x+na)}^{k}})=0 for n=0,1,2,\dots .
Denote by {a}_{n}(x)=exp({\int}_{x}^{x+a}h(s)\phantom{\rule{0.2em}{0ex}}\mathrm{d}s)\frac{1}{{(x+na)}^{k}} and write
for which we will prove are zero. Since ϕ is continuous and the series in (10) converges to f in the norm of {C}_{\alpha}, it follows that
We will show that the lefthand side of (11) has squaresummable coefficients. Thus we can deduce all of the coefficients {b}_{n} must be zero by the uniqueness theorem from the {L}^{2} theory of Fourier series.
By the definition of the continuity of a linear functional, there exists some positive constant A such that
In particularly, (4) yields
for all n=0,1,2,\dots , where {A}_{1}=A{\int}_{0}^{+\mathrm{\infty}}{x}^{2}\phantom{\rule{0.2em}{0ex}}\mathrm{d}\mu (x). Since k>1, we have {\sum}_{n=0}^{+\mathrm{\infty}}{{a}_{n}}^{2}<\mathrm{\infty}, which show that the righthand side of (11) belongs to {L}^{2} of the unit circle. Thus by (11) all the coefficients {a}_{n} must be zero, proving Theorem 3.1. □
References
Takeo F: Chaos and hypercyclicity for solution semigroups to some partial differential equations. Nonlinear Anal. 2005, 63: 1943–1953. 10.1016/j.na.2005.02.010
Takeo F:Chaotic or hypercyclic semigroups on a function space {C}_{0} or {L}^{p}(I,C). SUT J. Math. 2005, 41(1):43–61.
Chan KC, Shapiro JH: The cyclic behavior of translation operators on Hilbert spaces of entire functions. Indiana Univ. Math. J. 1991, 40: 1421–1449. 10.1512/iumj.1991.40.40064
Kim JH, Rubel LA: Integer translation of meromorphic functions. Trans. Am. Math. Soc. 1997, 349: 1447–1462. 10.1090/S0002994797015043
Shapiro JH: Simple connectivity and linear chaos. Rend. Circ. Mat. Palermo Suppl. 1998, 56: 27–48.
Devaney RL: An Introduction to Chaotic Dynamical Systems. AddisonWesley, New York; 1989.
Shapiro JH: Composition Operators and Classical Function Theory. Springer, New York; 1991.
Boas RP Jr.: Entire Functions. Academic Press, New York; 1954.
Levin BY: Lectures on Entire Functions. Cambridge University Press, New York; 1987.
Deng GT: Incompleteness and closure of a linear span of exponential system in a weighted Banach space. J. Approx. Theory 2003, 125: 1–9. 10.1016/j.jat.2003.09.004
Yang XD: Incompleteness of exponential system in the weighted Banach space. J. Approx. Theory 2008, 153: 73–79. 10.1016/j.jat.2008.01.004
Yang XD, Tu J:On the completeness of the system \{{t}^{{\lambda}_{n}}\} in {C}_{0}(E). J. Math. Anal. Appl. 2010, 368: 429–437. 10.1016/j.jmaa.2010.03.039
Acknowledgements
The author gratefully acknowledges the help of the referees and the editors, which lead to the improvement of the original manuscript. His thanks also goes to Prof. Hui Fang who introduced the work of Fukiko Takeo to the author. This work was supported by National Natural Science Foundation of China (Grant No. 11261024).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Yang, X. The chaos of the solution semigroup for some partial differential equations in weighted Banach spaces. Adv Differ Equ 2014, 123 (2014). https://doi.org/10.1186/168718472014123
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472014123