Yangyang CHEN(陈阳洋) Yun ZHAO(赵云)
Department of Mathematics,Soochow University,Suzhou 215006,China
Wen-Chiao CHENG(郑文巧)†
Department of Applied Mathematics,Chinese Culture University Yangmingshan,Taipei 11114,China
SUB-ADDITIVE PRESSURE ON A BOREL SET∗
Yangyang CHEN(陈阳洋) Yun ZHAO(赵云)
Department of Mathematics,Soochow University,Suzhou 215006,China
E-mail:oufei861155909@163.com;zhaoyun@suda.edu.cn
Wen-Chiao CHENG(郑文巧)†
Department of Applied Mathematics,Chinese Culture University Yangmingshan,Taipei 11114,China
E-mail:zwq2@faculty.pccu.edu.tw
The goal of this paper is to investigate topological conditional pressure of a continuous transformation as defined for sub-additive potentials.This study presents a variational inequality for sub-additive topological conditional pressure on a closed subset,which is the other form of the variational principle for the sub-additive topological pressure presented by Cao,Feng,and Huang in[9].Moreover,under some additional assumptions,this result can be generalized to the non-compact case.
sub-additive potentials;topological pressure;conditional entropy;variational inequality
2010 MR Subject Classification 37A30;37L40
In this study,(X,T)denotes a topological dynamical system(TDS for short)in the sense that T:X→X is a continuous map on a compact metric space X with the metric d.
Entropy is a critical factor in dynamical systems and the study of ergodic theory.Metric entropy was defined by Kolomogorov and Sinai from Shannon's information theory in 1959,while Adler,Konheim and McAndrew[1]used the concept of open covers to introduce topological entropy in 1965,and Bowen[7]later defined topological entropy on a metric space by using generating and separating sets,respectively.These three different definitions of topological entropy was proved equivalent provided the compactness of the space,see[23]for the details. Metric or measure-theoretic entropy measures the maximal loss of information in the iteration of finite partitions in a measure-preserving transformation,whereas topological entropy measures the maximal exponential growth rate of orbits.However,these concepts are not isolated. These two notions are connected by a famous variational principle stating that the topologicalentropy is the supremum of the metric entropies for all invariant probability measures of a given topological system and is described in the following:
where h(T)denotes the topological entropy for T and hµ(T)is the metric entropy.The term M(X,T)denotes all the T-invariant Borel probability measures on X.
As a natural generalization of topological entropy,topological pressure is a quantity which belongs to one of the concepts in the thermodynamic formalism.Topological pressure contains information about the dynamics of the system,which can be extracted by varying the potential energy function.It is well known that the topological pressure with a potential function plays a fundamental role in the study of the Hausdorff dimension of repellers and the hyperbolic set.Related studies include[4,7,13,14,17,19,21-23].The relationship among topological pressure,potential function and metric entropy are formulated by a variational principle,which states that if T:X→X is a continuous map,f:X→R is a continuous function,and P(T,f)denotes the topological pressure of T with respect to f,then
In[11],Falconer considered the topological pressure for sub-additive potentials,and proved the variational principle for sub-additive topological pressure under some Lipschitz conditions and bounded distortion assumptions on the sub-additive potentials.For an arbitrary subset and any non-additive potentials on the compact metric space,Barreira[3]defined non-additive topological pressure and also showed the variational principle under particular convergence conditions on the potentials.Recently,Cao,Feng and Huang[9]generalized the results of Rulle and Walters to the sub-additive potentials on the compact metric space.It deserves to mention that they didn't put any other assumptions on the potentials and their results had relevant applications in dimension theory,see[2].Feng and Huang in[12]introduced the notion of asymptotically additive/subadditive potentials,and proved the variational principle for topological pressure with these two potential.The main goal of demonstration is to study the multifractal analysis of these two potentials.Note that Barreira[5,6]and Mummert[18]dealt with variational principle for topological pressure with almost additive potentials.Huang,Yi[16]and Zhang[24]considered the variational principle for the local topological pressure.For more information,see[25]and[26]for variational principle of conditional topological pressure and coset pressure with sub-additive potentials,respectively.
Furthermore,Li,Chen and Cheng[15]generalized the results of Walters regarding the variational principle for topological pressure and their results can be stated precisely as follows. Let T:X → X be a continuous map,and f:X → R be a continuous function.Given a T-invariant closed subset G of X,i.e.,T-1G=G,and consider the pressure PG(T,f)of T on G with respect to f,then the following variational inequality is obtained
where
Theorem 1.1 Assume T:X→X is a continuous map of the compact metric space X,and F={gn}∞n=1is a sub-additive potential on X.If G is a T-invariant closed subset of X,then
It is of interest to note that Theorem 1.1 is also true if the potential F is asymptotically sub-additive by using Feng and Huang's result[12].Roughly speaking,an asymptotically subadditive potential is a family of continuous functions which can be approximated by sub-additive potentials,see[12]for the precise definition.
The purpose of this paper is to demonstrate Theorem 1.1 and is organized as follows.Using the similar notion of topological pressure,Section 2 establishes conditional entropy,conditional sub-additive topological pressure focused on the T-invariant Borel set and states the variational principle revealed by[9].Section 3 shows how to estimate the supremum of a special type of conditional entropy with a sub-additive potential by calculating the topological conditional pressure.The resulting variational inequality is based on the results presented by Cao,Feng and Huang'work[9].Finally,Section 4 shows that the variational inequality is still true for the non-compact case if some assumptions are added.
A reasonable measure-theoretic or topological entropy should be a measure of the uncertainty of the system.These entropies should be invariant under measurable or topological changes of coordinates,respectively.Topological pressure,which is an extension of topological entropy,is a rich source of dynamical systems.This value roughly measures the orbit complexity of the iterated map on the potential functions.This section first reviews the concept of conditional metric entropy on a probability space and sub-additive potentials.Then the topological pressure concentrated on a Borel set is given in order to present the variational inequality among these invariant values.
The conditional entropy of an ergodic theory is usually defined as follows.Let(X,B,µ)be a probability space.The terms α={A1,A2,···,Am}and β={B1,B2,···,Bn}denote the finite partitions of X.The conditional entropy of α with respect to β is defined as
and is called the metric entropy of T with respect to α.The metric entropy of T is given by the value,where α is any finite partition of X.
The following discussion is based on the assumption that T:X→X is a continuous map of the compact metric space X,and G is a T-invariant closed subset of X.Let
Remark 2.1 If G=X orµ(G)=1,then actually hµ(T)=hµ(T|
This conditional metric entropy hµ(T|
Lemma 2.2(see[10]) The conditional entropy hµ(T|
Lemma 2.3(see[10]) For each positive integer r,hµ(Tr|
Lemma 2.4(see[15])Let(X1,B1,m1)and(X2,B2,m2)be probability spaces and let T1:X1→X1,T2:X2→X2be measure-preserving maps.Then
whereµ=m1×m2,Giis a Ti-invariant subspace of Xi,i=1,2.
Lemma 2.5(see[15])Let T be a measure-preserving map of the probability space(X,B,µ)and let G be a T-invariant subset of X.Then the mapµ→ hµ(T|
For convenience,notations and definitions of the sub-additive potential is adopted by Cao,Feng and Huang's recent work,[9]and can be described in the following.
For a sub-additive potentialandµ∈M(X,T),define
and
Then,define
Due to PG(T,F,ǫ)is a decreasing function of ǫ,the limiting process ǫ→ 0 is reasonable. PG(T,F)is said to be the topological pressure of T restricted on G with respect to the subadditive potential F.
Remark 2.8 If G=X,for simplicity,we just note PX(T,F)as P(T,F).Set PG(T,F)= -∞by convention when G=∅.If F={gn}n≥1is additive,i.e.,there exists a ϕ:X →R such that gn(x)=ϕ+ϕ◦T+···+ϕ◦Tn-1,then the above definition reduces to the additive topological pressure.
The theory about the topological pressure,variational principle and equilibrium states plays a fundamental role in statistical mechanics,ergodic theory and dynamical systems.The variational principle of the sub-additive topological pressure was shown by Cao,Feng and Huang's work on the whole space X in[9].
Theorem 2.9(see[9,Theorem 1.1])Let F={gn}∞n=1be a sub-additive potential on a TDS(X,T).This leads to
For a continuous function T of a compact metric space(X,d),the well-known variational principle of topological pressure shows the relationships among pressure,entropy invariants,and potential energy from probabilistic and topological perspectives.This section provides a detailed proof of the variational principle for the topological conditional pressure with a subadditive potential.
Unavoidable,we will face the special case that F∗(µ)=-∞,∀µ∈M(X,T),while it doesn't exist in the additive case,since if F={gn}n≥1is additive,that means the existence of a continuous function ϕ:X → R such that gn(x)=ϕ+ϕ◦T+···+ϕ◦Tn-1,then |F∗(µ)|=|Rϕdµ|≤||ϕ||∞is always finite.It is worthwhile to point out that Li,Chen and Cheng used the standard technique of variational principle developed by P.Walters to prove the first inequality in their Theorem 1.1,see[15].Following previous research by Cao,Feng and Huang's work[9],this study derives the proof of the presented variational inequality by using a series of modifications.
Proof of Theorem 1.1 We divide the proof into three small steps.
Part I If∀µ∈M(X,T),F∗(µ)=-∞,i.e.,P(T,F)=-∞.For G is a closed T-invariant subset of X,it is not hard to show thatThus,the topological pressure on the compact subsetis well-defined.Since M(G,T)⊆M(X,T),andwe haveby an application of Theorem 2.9 on these subsystems(G,T|G)andDefine sup∅=-∞,then Theorem 1.1 still holds.Therefore, we always assume that there existsµ∈M(X,T)such that F∗(µ)/=-∞in the following two parts.
Part II This part will prove
If PG(T,F)=-∞,then the above inequality holds obviously.If PG(T,F)/=-∞,Theorem 2.9 on the subsystem(G,T|G)ensures that there existsµ∈M(G,T)⊆M(X,T)such that.By Theorem 2.9,one has
where the second equality follows from Remark 2.1,sinceµ(G)=1,∀µ∈M(G,T).
Part III Finally,we show that for eachµ∈M(X,T)satisfying F∗(µ)/=-∞,one has
Given aµ∈M(X,T)with F∗(µ)/=-∞.Ifµ(G)=1,by Remark 2.1 we have hµ(T|
Using a similar argument,ifµ(G)=0 then we have
Hence,in the following we assume that 0<µ(G)<1.Let η be a finite partition of the space X,then
where Gc=XG,µGandµGcdenotes the conditional probability measures induced byµon G and Gc,respectively.Dividing by n on both sides of the above equality and let n→∞,one has
Moreover,
On the other hand,we first assume that hµG(T)and hµG(T)are finite.Then for any ǫ>0 there exists finite partitions η,ξ of X such that
Set ζ=η∨ξ,using the property of refinement of entropy,which implies
Multiply the above two inequalities byµ(G)andµ(Gc),respectively,together with(3.1)one has
Since ǫ>0 is arbitrary,we obtain
Finally,if hµG(T)=+∞or hµGc(T)=+∞,modifying slightly the above arguments we have hµ(T|
Furthermore,
and F∗(µ)/=-∞,which implies
Note thatµG∈M(G,T),µGc∈M(Gc,T)⊆M(Gc,T),the application of Theorem 2.9 on subsystems(G,T)and(Gc,T)gives
and
Multiply the above two inequalities byµ(G)andµ(Gc),respectively,adding them,one easily obtains
as desired.□
If this closed T-invariant subset G represents the whole space X,then XG=∅.This allows Theorem 2.1,which is the variational principle presented by Cao,Feng and Huang[9].
This section will consider the non-compact case,i.e.,the T-invariant subset G of X can be not closed.Different definitions of topological pressure can be used to obtain an even more general variational inequality.First,define the topological pressure of any subset.The following notations are adopted from Barreira[3].
Let T:X → X be a continuous map on the compact metric space X.If U is a finite open cover of X and n≥1,denote by Wn(U)the collection of strings U=U1U2···Unwith U1,U2,···,Un∈U.For each U∈Wn(U),call the integer m(U)=n the length of U,and define the open set
This section is based on the assumption that the following property holds:
Given any subset Z⊂X,sub-additive potentials F={gn}n≥1and open cover U of X,for α∈R,define
the reasonablenessof the above definition can be ensured by the structure theory of Carath´eodory(see[20]).Moreover,the topological pressure of T restricted on Z with respect to F is defined by
The following paragraphs present some lemmas.
Lemma 4.1(see[3,Corollary1.8])Let F={gn}n≥1be a sub-additive potential on a TDS(X,T),and G a T-invariant Borel subset of X.If there exists a continuous function ψ:X→R,such that gn+1-gn◦T→ψ uniformly on G as n→∞,and V(x)∩M(G)/=∅,∀x∈G,then
where M(G)denotes all the invariant measures that satisfyµ(G)=1 and T|G denotes the map T restricted on G.
Remark 4.2(see[3,Lemma 2])In the above lemma,without the condition V(x)∩M(G)/=∅,∀x∈G,we can obtain
Lemma 4.3(see[15,Lemma 4.1])Let(X,T)be a TDS,and G a T-invariant Borel subset.For eachµ∈M(G),we have
We still need the following lemma.
Lemma 4.4 Let F={gn}n≥1be a sub-additive potential on a TDS(X,T),and G a T-invariant Borel subset of X.If there exists a continuous function ψ:X → R,such that gn+1-gn◦T→ψ uniformly on G as n→∞,then for eachµ∈M(G)one has
Since gn+1-gn◦T→ψ uniformly on G as n→∞,set an=G(gn+1-gn◦T)dµ.In this case,an→RGψdµas n→∞.Letting n→∞on both sides of the above formula,then the desired result is obtained.
Theorem 4.5 Let F={gn}n≥1be a sub-additive potential on X,and G a T-invariant Borel subset of X.If there exists a continuous function ψ:X→R,such that gn+1-gn◦T→ψ uniformly on X as n→∞,in addition,we assume V(x)∩M(G)/=∅,∀x∈G,then
Proof Using Lemmas 4.1,4.3 and 4.4,we have
On the other hand,for eachµ∈M(X,T),in Section 3,we have established
and
whereµGandµGcdenotes the conditional probability induced byµon G and Gc,respectively. Obviously,µG∈M(G),µGc∈M(Gc),By Remark 4.2,we have
and
Multiply the above two inequalities byµGandµGcrespectively,and add them,we have
It follows from Lemma 4.4 that
Hence,
as desired.
At last,the following question is proposed:
Question Given a TDS(X,T)and a sub-additive potential F={gn}n≥1on X.Let G be a T-invariant Borel subset of X.If we only assume that V(x)∩M(G)/=∅,∀x∈G,does the following variational inequality still hold?
[1]Adler R L,Konheim A G,McAndrew M H.Topological entropy.Trans Amer Math Soc,1965,114: 309-319
[2]Ban Jungchao,Cao Yongluo,Hu Huyi.Dimensions of average conformal repeller and average.Trans Amer Math Soc,2010,362:727-751
[3]Barreira L M.A non-additive thermodynamic formalism and applications to dimension theory of hyperbolic dynamical systems.Ergod Th Dynam Syst,1996,16:871-927
[4]Barreira L M.Dimension and recurrence in hyperbolic dynamics//Progress in Mathematics,272.Basel: Birkh¨auser Verlag,2008
[5]Barreira L.Nonadditive thermodynamic formalism:equilibrium and Gibbs measures.Disc Contin Dyn Syst,2006,16:279-305
[6]Barreira L.Almost additive thermodynamic formalism:some recent developments.Rev Math Phys,2010,22(10):1147-1179
[7]Bowen R.Topological entropy for noncompact sets.Trans Amer Math Soc,1973,184:125-136
[8]Bowen R.Equilibrium states and the ergodic theory of Anosov diffeomorphism//Lecture Notes in Math,Vol 470.New York:Springer-Verlag,1975
[9]Cao Y,Feng D,Huang W.The thermodynamic formalism for sub-additive potentials.Disc Contin Dyn Sys,2008,20(3):639-657
[10]Cheng W.Estimate for supremum of conditional entropy on a closed subset.Taiwanese J Math,2008,12(7):1791-1803
[11]Falconer K J.A subadditive thermodynamic formalism for mixing repellers.J Phys A,1988,21(14): L737-L742
[12]Feng D,Huang W.Lyapunov spectrum of asymptotically sub-additive potentials.Commun Math Phys,2010,297:1-43
[13]Gelfert K.Equality of pressures for diffeomorphisms preserving hyperbolic measures.Math Z,2009,261(4): 711-724
[14]Gelfert K,Wolf C.Topological pressure via saddle points.Trans Amer Math Soc,2008,360(1):545-561[15]Li Y,Chen E,Cheng W.Variational inequality for conditional pressure on a Borel subset.Pacific J Math,2012,256(1):151-164
[16]Huang W,Yi Y.A local variational principle of pressure and its applications to equilibrium states.Israel J Math,2007,161:29-94
[17]Molaeo M R.Dynamically defined topological pressure.J Dyn Syst Geom Theor,2008,6(1):75-81
[18]Mummert A.The thermodynamic formalism for almost-additive sequences.Discrete Contin Dyn Syst,2006,16:435-454
[19]Pesin Y,Pitskel B.Topological pressure and the variational principle for noncompact sets.Funct Anal Appl,1984,18:307-318
[20]Pesin Y.Dimension Theory in Dynamical Systems,Contemporary Views and Applications.Chicago: University of Chicago Press,1997
[21]Ruelle D.Statistical mechanics on a compact set with Zvaction satisfying expansiveness and specification. Trans Ame Math Soc,1973,187:237-251
[22]Walters P.A variational principle for the pressure of continuous transformations.Amer J Math,1975,97(4):937-971
[23]Walters P.An Introduction to Ergodic Theory.Berlin,Heidelberg,New York:Springer-Verlag,1982
[24]Zhang G.Variational principles of pressure.Dis Contin Dyn Syst,2009,24(4):1409-1435
[25]Zhao Y,Cheng W.Variational principle for conditional pressure with subadditive potential.Open Syst Inf Dyn,2011,18(4):389-404
[26]Zhao Y,Cheng W.Coset pressure with sub-additive potentials.Stoch Dyn,2014,14(1):1350012
∗Received July 23,2013;revised October 24,2014.For this research,Chen was partially supported by National University Student Innovation Program(111028508).Cheng was supported by NSC Grant NSC 101-2115-M-034-001.Zhao was partially supported by NSFC(11371271).This work was partially supported by the Priority Academic Program Development of Jiangsu Higher Education Institutions.
†Corresponding author:Wen-Chiao CHENG.
Acta Mathematica Scientia(English Series)2015年5期