Abstract
In this paper we shall consider the connections between Lyapunov integral operators and Gibbs measures for models with four competing interactions and uncountable (i.e. [0, 1]) set of spin values on a Cayley tree. We prove the existence of fixed points of Lyapunov integral operators and give a condition of uniqueness of a fixed point.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Preliminaries
A Cayley tree \(\Gamma ^k=(V,L)\) of order \(k\in \mathbb {N}\) is an infinite homogeneous tree, i.e., a graph without cycles, with exactly \(k+1\) edges incident to each vertices. Here V is the set of vertices and L that of edges (arcs). Two vertices x and y are called nearest neighbors if there exists an edge \(l\in L\) connecting them. We will use the notation \(l=\langle x,y\rangle \). The distance \(d(x,y), x,y \in V\) on the Cayley tree is defined by the formula
Let \(x^{0}\in V\) be a fixed and we set
The set of the direct successors of x is denoted by S(x), i.e.
We observe that for any vertex \(x\ne x^{0},\ x\) has k direct successors and \(x^{0}\) has \(k+1\). The vertices x and y are called second neighbor which is denoted by \(\rangle x,y\langle ,\) if there exist a vertex \(z\in V\) such that x, z and y, z are nearest neighbors. We will consider only second neighbors \(\rangle x, y \langle ,\) for which there exist n such that \(x, y \in W_n\). Three vertices \(x,\ y\) and z are called a triple of neighbors and they are denoted by \(\langle x, y, z\rangle ,\) if \(\langle x, y \rangle ,\ \langle y, z \rangle \) are nearest neighbors and \(x,\ z \in W_n,\ y \in W_{n-1}\), for some \(n \in \mathbb {N}\).
Now we consider models with four competing interactions where the spin takes values in the set [0, 1]. For some set \(A\subset V\) an arbitrary function \(\sigma _A:A\rightarrow [0,1]\) is called a configuration and the set of all configurations on A we denote by \(\Omega _A=[0,1]^A\). Let \(\sigma (\cdot )\) belong to \(\Omega _{V}=\Omega \) and \(\xi _{1}:(t,u,v)\in [0,1]^{3}\rightarrow \xi _{1}(t,u,v)\in R\), \(\xi _{i}: (u,v)\in [0,1]^2\rightarrow \xi _{i}(u,v)\in R, \ i\in \{2,3\}\) are given bounded, measurable functions. Then we consider the model with four competing interactions on the Cayley tree which is defined by following Hamiltonian
where the sum in the first term ranges all triples of neighbors, the second sum ranges all second neighbors, the third sum ranges all nearest neighbors and \(J, J_{1}, J_{3},\alpha \in R{\setminus } \{0\}\). Let \(h: (t,x)\in [0,1]\times V{\setminus } \{x^{0}\}\rightarrow h_{t,x}\in \mathbb {R}\) and \(|h_{t,x}|<C\) where \(x^{0}\) is a root of Cayley tree and C is a constant which does not depend on t. For some \(n\in \mathbb {N},\) \(\sigma _n:x\in V_n\mapsto \sigma (x)\) and \(Z_n\) is the corresponding partition function we consider the probability distribution \(\mu ^{(n)}\) on \(\Omega _{V_n}\) defined by
where for a set \(A\subset V\) we denoted
Let \(\sigma _{n-1}\in \Omega _{V_{n-1}}\) and \(\sigma _{n-1}\vee \omega _n\in \Omega _{V_n}\) is the concatenation of \(\sigma _{n-1}\) and \(\omega _n.\) For \(n\in \mathbb {N}\) we say that the probability distributions \(\mu ^{(n)}\) are compatible if \(\mu ^{(n)}\) satisfies the following condition:
By Kolmogorov’s extension theorem there exists a unique measure \(\mu \) on \(\Omega _V\) such that, for any n and \(\sigma _n\in \Omega _{V_n}\), \(\mu \left( \left\{ \sigma |_{V_n}=\sigma _n\right\} \right) =\mu ^{(n)}(\sigma _n)\). The measure \(\mu \) is called splitting Gibbs measure corresponding to Hamiltonian (1.1) and function \(x\mapsto h_x=\{h_{x,t}\}\), \(x\ne x^0\) (see [1, 2, 5, 7]).
Denote
and
The following statement describes conditions on \(h_x\) guaranteeing compatibility of the corresponding distributions \(\mu ^{(n)}(\sigma _n).\)
Proposition 1.1
[6] Let \(k=2\). The measure \(\mu ^{(n)}(\sigma _n)\), \(n=1,2,\ldots \) satisfies the consistency condition (1.4) iff for any \(x\in V{\setminus }\{x^0\}\) the following equation holds:
where \(S(x)=\{y,z\}.\)
2 Existence of a fixed point of the operator \(\mathcal {L}\)
Now we prove that there exist at least one fixed point of Lyapunov integral equation, namely there is a splitting Gibbs measure corresponding to Hamiltonian (1.1).
Proposition 2.1
Let \(k=2\), \(J_{3}=J=\alpha =0\) and \(J_{1}\ne 0\). Then (1.6) is equivalent to
where \(f(t,x)=\exp (h_{t,x}-h_{0,x}), \ t\in [0,1],\ x\in V.\)
Proof
For \(J_{3}=J=\alpha =0\) and \(J_{1}\ne 0\) one gets \(K(t,u,v)=\exp \left\{ J_{1}\beta \left( \xi _{3}\left( u,t\right) \right. \right. \left. \left. +\,\xi _{3}\left( v,t\right) \right) \right\} .\) Then (1.6) can be written as
Since \(\rangle y,z\langle =S(x)\) Eq. (2.2) is equivalent to (2.1). \(\square \)
Now we consider the model (1.1) in the class of translational-invariant functions f(t, x) i.e \(f(t,x)=f(t),\) for any \(x\in V\). For such functions Eq. (1.1) can be written as
where \(K(t,u,v)=\exp \left\{ J_{3}\beta \xi _{1}\left( t,u,v\right) +J\beta \xi _{2}\left( u,v\right) +J_{1}\beta \left( \xi _{3}\left( t,u\right) +\xi _{3}\left( t,v\right) \right) \right. \left. +\alpha \beta (u+v)\right\} ,\) \(f(t)>0, \ t,u\in [0,1].\)
We shall find positive continuous solutions to (2.3) i.e. such that \(f\in C^+[0,1]=\{f\in C[0,1]: f(x)>0\}\).
Define a nonlinear operator H on the cone of positive continuous functions on [0, 1] :
We’ll study the existence of positive fixed points for the nonlinear operator H (i.e., solutions of the Eq. (2.3)).
We define the Lyapunov integral operator \(\mathcal {L}\) on C[0, 1] by the equality (see [3])
Put
Lemma 2.2
The equation \(Hf=f\) has a nontrivial positive solution iff the Lyapunov equation \(\mathcal {L}g=g\) has a nontrivial positive solution.
Proof
At first we shall prove that the equation
has a positive solution iff the Lyapunov equation
has a positive solution in \(\mathcal M_0\) for some \(\lambda >0\).
Let \(\lambda _{0}\) be a positive eigenvalue of the Lyapunov operator \(\mathcal {L}.\) Then there exists \(f_{0}\in C_0^+[0,1]\) such that \(\mathcal {L}f_{0}=\lambda _{0}f_{0}.\) Take \(\lambda \in (0,+\infty )\), \(\lambda \ne \lambda _0\). Define the function \(h_0(t)\in C_0^+[0,1]\) by \(h_0(t)={\lambda \over \lambda _0}f_0(t), \ \ t\in [0,1].\) Then \(\mathcal {L} h_0=\lambda h_0,\) i.e., the number \(\lambda \) is an eigenvalue of Lyapunov operator \(\mathcal {L}\) corresponding the eigenfunction \(h_0(t)\). It’s easy to check that if the number \(\lambda _{0}>0\) is an eigenvalue of the operator \(\mathcal {L}\), then an arbitrary positive number is eigenvalue of the operator \(\mathcal {L}\). Now we shall prove the lemma. Let Eq. (2.4) holds then the function \(\frac{1}{\lambda }g(t)\) be a fixed point of the operator \(\mathcal {L}\). Analogously, since H is non-linear operator we can correspond to the fixed point if there exist any eigenvector. \(\square \)
Proposition 2.3
The equation
has at least one solution in \(C_0^+[0,1].\)
Proof
Clearly, that the Lyapunov operator \(\mathcal {L}\) is a compact on the cone \(C^+[0,1]\). By the other hand we have
for all \(f\in C^+[0,1]\), where \(m = \min K(t,s,u)>0.\)
Put \(\Gamma =\{f: \,\ \Vert f\Vert =r, \,\ f\in C[0,1] \}\). We define the set \(\Gamma _+ \) by
Then we obtain
Then by Schauder’s theorem (see [4], p.20) there exists a number \(\lambda _0>0\) and a function \(f_0\in \Gamma _+\) such that, \(\mathcal {L}f_0=\lambda _0 f_0.\) \(\square \)
Denote by \(N_{fix.p}(H)\) and \(N_{fix.p}(\mathcal {L})\) the set of positive numbers of nontrivial positive fixed points of the operators H and L, respectively. By Lemma 2.2 and Proposition 2.3 we can conclude that:
Proposition 2.4
(a) The Eq. (2.4) has at least one solution in \(C_0^+[0,1]\).
(b) The equality \(N_{fix.p}(H)=N_{fix.p}(\mathcal {L})\) is hold.
From Propositions 1.1 and 2.4 we get the following theorem.
Theorem 2.5
The set of splitting Gibbs measures corresponding to Hamiltonian (1.1) is non-empty.
3 The uniqueness of fixed point of the operator \(\mathcal {L}\)
In this section we shall give a condition of the uniqueness of fixed point of the operator \(\mathcal {L}\).
Theorem 3.1
Let the kernel K(t, u, v) satisfies the condition
Then the operator \(\mathcal {L}\) has the unique fixed point in \(C_0^+[0,1]\).
Proof
Let \(\max _{(t,u,v)\in [0,1]^{3}} K(t,u,v)=\mathcal {K}\) and \(\min _{(t,u,v)\in [0,1]^{3}} K(t,u,v)=k\). At first we shall prove that if \(g\in C_0^+[0,1]\) is a solution of the equation \(\mathcal {L}f=f\) then \(g\in \mathcal G\) where
Let \(s\in \mathcal L(C^+[0,1])\) be an arbitrary function. Then there exists a function \(h\in C^+[0,1]\) such that \(s=\mathcal {L}h\). Since s is continuous on [0, 1], there exists \(t_1,t_2\in [0,1]\) such that
Consequently we get
Since g is a fixed point of the operator \(\mathcal L\) we have \(\Vert g\Vert \le \mathcal {K}\Vert g\Vert ^2 \Rightarrow \Vert g\Vert \ge \frac{1}{\mathcal {K}}\).
From (3.2)
Similarly,
Hence
Thus we have \(g\in \mathcal G\).
Now we show that \(\mathcal {L}\) has the unique fixed point. By Proposition 2.4, \(\mathcal {L}g=g\) has at least one solution. Assume that there are two solutions \(g_1\in C_0^+[0,1]\) and \(g_2\in C_0^+[0,1]\), i.e \(\mathcal Lg_i=g_i\), \(i=1,2\).
Let a function \(f\in C[0,1]\) changes its sign on [0, 1]. Then it is easy to check that for every \(a\in \mathbb {R}\) the following inequality holds: \(\Vert f(t)-a\Vert \ge {1\over 2}\Vert f\Vert .\)
Put \(\xi (t)=g_1(t)-g_2(t)\). Since \(\xi (t)\) changes its sign on [0, 1], we get
The last equation can be written as
where
Since \(g_{i}(t)\in \mathcal G , \ i=\overline{1,2}\) we get \(\frac{k}{\mathcal {K}^{2}}\le \eta (u,v)\le \frac{\mathcal {K}}{k^{2}}, \, (u,v)\in [0,1]^{2}.\) Hence
Then
Assume the kernel K(t, u, v) satisfies the condition (3.1). Then \(\mathcal {K}^{4}-k^{4}<(\mathcal {K}k)^{2} \Rightarrow \mathcal {K}<c k\) but it’s contradict to the following: if \(\xi \in C[0,1]\) changes its sign on [0, 1] then for every \(a\in \mathbb {R}\) the following inequality holds \(\Vert \xi -a\Vert \ge \frac{1}{2}\Vert \xi \Vert .\) This completes the proof. \(\square \)
Theorem 3.2
Let \(k\ge 2\). If the function K(t, u, v) which defined in (1.5) satisfies the condition (3.1), then the model (1.1) has the unique-translational invariant Gibbs measure.
References
Eshkabilov, Y.K., Haydarov, F.H., Rozikov, U.A.: Non-uniqueness of Gibbs measure for models with uncountable set of spin values on a Cayley tree. J. Stat. Phys. 147, 779–794 (2012)
Eshkabilov, Y.K., Nodirov, S.D., Haydarov, F.H.: Positive fixed points of quadratic operators and Gibbs measures. Positivity (2016). https://doi.org/10.1007/s11117-015-0394-9
Krasnosel’ski, M.A.: Positive Solutions of Opertor Equations. Gos. Izd, Moscow (1969). (Russian)
Nirenberg, L.: Topics in nonlinear functional analysis. AMS, Courant Lecture Notes in Math, pp. 6 (2001)
Rozikov, U.A.: Gibbs Measures on a Cayley Trees. World Sci. Pub, Singapore (2013)
Rozikov, U.A., Haydarov, F.H.: Four competing interactions for models with an uncountable set of spin values on a Cayley tree. Theor. Math. Phys. 191(2), 748–761 (2017)
Spitzer, F.: Markov random fields on an infinite tree. Ann. Probab. 3, 387–398 (1975)
Acknowledgements
Author thanks the referee for careful reading of the manuscript; in particular, for a number of comments which have improved the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Haydarov, F.H. Fixed points of Lyapunov integral operators and Gibbs measures. Positivity 22, 1165–1172 (2018). https://doi.org/10.1007/s11117-018-0565-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11117-018-0565-6