1. Introduction
This chapter treats a topic on probabilistic representations of solutions to a certain class of deterministic nonlinear integral equations. Indeed, this is a short review article to introduce the star-product functional and a probabilistic construction of solutions to nonlinear integral equations treated in [1]. The principal parts for the existence and uniqueness of solutions are taken from [1] with slight modification. Since the nonlinear integral equations which we handle are deterministic, they have nothing to do with random world. Hence, we assume that an integral formula may hold, which plays an essential role in connecting a deterministic world with a random one. Once this relationship has been established, we begin with constructing a branching model and we are able to construct a star-product functional based upon the model. At the end we prove that the function provided by the expectation of the functional with respect to the law of a branching process in question solves the original integral equations (see also [2, 3, 4]).
More precisely, in this chapter we consider the deterministic nonlinear integral equation of the type:
eλtx2utx=u0x+λ2∫0tdseλsx2∫psxyunxydy+λ2∫0teλsx2fsxds.E1
One of the reasons why we are interested in this kind of integral equations consists in its importance in applicatory fields, especially in mathematical physics. For instance, in quantum physics or applied mathematics, a variety of differential equations have been dealt with by many researchers (e.g., [5, 6]), and in most cases, their integral forms have been discussed more than their differential forms on a practical basis. There can be found plenty of integral equations similar to Eq. (1) appearing in mathematical physics.
The purpose of this article is to provide with a quite general method of giving a probabilistic interpretation to deterministic equations. Any deterministic representation of the solutions to Eq. (1) has not been known yet in analysis. The main contents of the study consist in derivation of the probabilistic representation of the solutions to Eq. (1). Our mathematical model is a kind of generalization of the integral equations that were treated in [7], and our kernel appearing in Eq. (1) is given in a more abstract setting. We are aiming at establishment of new probabilistic representations of the solutions.
This paper is organized as follows: In Section 2 we introduce notations which are used in what follows. In Section 3 principal results are stated, where we refer the probabilistic representation of the solutions to a class of deterministic nonlinear integral equations in question. Section 4 deals with branching model and its treelike structure. Section 5 treats construction of star-product functional based upon those tree structures of branching model described in the previous section. The proof of the main theorem will be stated in Sections 6 and 7. Section 6 provides with the proof of existence of the probabilistic solutions to the integral equations. We also consider ∗-product functional, which is a sister functional of the star-product functional. This newly presented functionals play an essential role in governing the behaviors of star-product functionals via control inequality. Section 7 deals with the proof of uniqueness for the constructed solutions, in terms of the martingale theory [8].
We think that it would not be enough to derive simply explicit representations of probabilistic solutions to the equations, but it is extremely important to make use of the formulae practically in the problem of computations. We hope that our result shall be a trigger to further development on the study in this direction.
2. Notations
Let D0≔R3\0and R+≔0∞. For every α,β∈C3, the symbol α⋅βmeans the inner product, and we define ex≔x/∣x∣for every x∈D0. We consider the following deterministic nonlinear integral equation:
eλtx2utx=u0x+λ2∫0tdseλsx2∫psxyunxydy+λ2∫0teλsx2fsxs,for∀tx∈R+×D0.E2
Here, u≡utxis an unknown function: R+×D0→C3, λ>0, and u0:D0→C3are the initial data such that utxt=0=u0x. Moreover, ftx: R+×D0→C3is a given function satisfying ftx/x2=:f˜∈L1R+for each x∈D0. The integrand pin Eq. (2) is actually given by
ptxyu=uty⋅exutx−y−exutx−y⋅ex.E3
Suppose that the integral kernel nxyis bounded and measurable with respect to x×y. On the other hand, we consider a Markov kernel K: D0→D0×D0. Namely, for every z∈D0, Kzxylies in the space PD0×D0of all probability measures on a product space D0×D0. When the kernel kis given by kxy=ix−2nxy, then we define Kzas a Markov kernel satisfying that for any positive measurable function h=hxyon D0×D0,
∬hxyKzxy=∫hxz−xkxzdx.E4
Moreover, we assume that for every measurable functions f,g>0on R+,
∫hzνz∫gxKzxy=∫gzνz∫hyKzdxdyE5
holds, where the measure νis given by νdz=z−3dz.
The equality (Eq. (4)) is not only a simple integral transform formula. In fact, in the analytical point of view, it merely says that the double integral with respect to Kzis changed into a single integral with respect to xjust after the execution of iterative integration of hxywith respect to the second parameter y. However, our point here consists in establishing a great bridge between a deterministic world and a stochastic world. The validity of the assumed equality (Eq. (5)) means that a sort of symmetry in a wide sense may be posed on our kernel K.
3. Main results
In this section we shall introduce our main results, which assert the existence and uniqueness of solutions to the nonlinear integral equation. That is to say, we derive a probabilistic representation of the solutions to Eq. (2) by employing the star-product functional. As a matter of fact, the solution utxcan be expressed as the expectation of a star-product functional, which is nothing but a probabilistic solution constructed by making use of the below-mentioned branching particle systems and branching models. Let
M⋆u0fω=∏⋆xm˜Ξm2.m3m1u0fω,E6
be a probabilistic representation in terms of tree-based star-product functional with weight u0f(see Section 5 for the details of the definition). On the other hand, M∗UFωdenotes the associated ∗-product functional with weight UF, which is indexed by the nodes xmof a binary tree. Here, we suppose that U=Ux(resp. F=Ftx) is a nonnegative measurable function on D0(resp. R+×D0), respectively, and also that F⋅x∈L1R+for each x. Indeed, in construction of the ∗-product functional, the product in question is taken as ordinary multiplication ∗instead of the star-product ★ in the definition of star-product functional.
Theorem 1. Suppose that ∣u0x∣⩽Uxfor every xand ∣ f˜tx∣⩽Ftxfor every t,xand also that for some T>0(T>>1, sufficiently large)
ET,xM∗UFω<∞,a.e.−xE7
holds. Then, there exists a u0f-weighted tree-based star ★-product functional M★u0fω, indexed by a set of node labels accordingly to the tree structure which a binary critical branching process ZKxtdetermines. Furthermore, the function
utx=Et,xM★u0fωE8
gives a unique solution to the integral equation (Eq. (2)). Here, Et,xdenotes the expectation with respect to a probability measure Pt,xas the time-reversed law of ZKxt.
4. Branching model and its associated treelike structure
In this section we consider a continuous time binary critical branching process ZKxton D0[9], whose branching rate is given by a parameter λx2, whose branching mechanism is binary with equiprobability, and whose descendant branching particle behavior is determined by the kernel Kx(cf. [10]). Next, taking notice of the tree structure which the process ZKxtdetermines, we denote the space of marked trees
ω=ttmxmηmm∈VE9
by Ω(see [11]). We also consider the time-reversed law of ZKxtbeing a probability measure on Ωas Pt,x∈PΩ. Here, tdenotes the birth time of common ancestor, and the particle xmdies when ηm=0, while it generates two descendants xm1,xm2when ηm=1. On the other hand,
V=⋃ℓ≥012ℓ
is a set of all labels, namely, finite sequences of symbols with length ℓ, which describe the whole tree structure given [12]. For ω∈Ωwe denote by Nωthe totality of nodes being the branching points of tree; let N+ωbe the set of all nodes mbeing a member of V \ Nω, whose direct predecessor lies in Nωand which satisfies the condition tmω>0, and let N−ωbe the same set as described above but satisfying tmω⩽0. Finally, we put
Nω=N+ω∪N−ω.E10
5. Star-product functional
This section treats a tree-based star-product functional. First of all, we denote by the symbol Projz⋅a projection of the objective element onto its orthogonal part of the zcomponent in C3, and we define a ★-product of β,γfor z∈D0as
β★zγ=−iβ⋅ezProjzγ.E11
Notice that this product ★ is noncommutative. This property will be the key point in defining the star-product functional below, especially as far as the uniqueness of functional is concerned. We shall define Θmωfor each ω∈Ωrealized as follows. When m∈N+ω, then Θmω=f˜tmωxmω, while Θmω=u0xmωif m∈N−ω. Then, we define
Ξm2.m3m1ω≡Ξm2,m3m1u0fω≔Θm2ω★xm1Θm3ω,E12
whereas for the product order in the star-product ★, when we write m≺m′lexicographically with respect to the natural order ≺, the term Θmlabeled by mnecessarily occupies the left-hand side, and the other Θm′labeled by m′occupies the right-hand side by all means. And besides, as abuse of notation, we write
Ξm,∅∅ω≡Ξm,∅∅u0fω≔Θmω,E13
especially when m∈Vis a label of single terminal point in the restricted tree structure in question.
Under these circumstances, we consider a random quantity which is obtained by executing the star-product ★ inductively at each node in Nω, we call it a tree-based ★-product functional, and we express it symbolically as
M★u0fω=Π★xm˜Ξm2⋅m3m1u0fω,E14
where m1∈Nωand m2,m3∈Nω, and by the symbol ∏★(as a product relative to the star-product), we mean that the star-products ★’s should be succeedingly executed in a lexicographical manner with respect to xm˜such that m˜∈Nω∩m˜=ℓ−1when ∣m1∣=ℓ. At any rate it is of the extreme importance that once a branching pattern ω∈Ωis realized, its tree structure is uniquely determined, and there can be found the unique explicit representation of the corresponding star-product functional M★u0fω.
Example 2. Let us consider a typical realization ω∈Ω. Suppose that we have Nω2=ϕ,1,2,11,12,22, N+ω2=21,112,221, and N−ω2=111,121,122,222. This case is nothing but an all-the-members participating type of game. For the case of particle located at x111and x112(with nodes of the level ∣m∣=ℓ=3) with its pivoting node x11, we have
Ξ111,11211ω2=Θ111ω2★x11Θ112ω2=u0x111ω2★x11f˜t112ω2x112ω2.
Similarly, for the pair of particles x121and x122, we have
Ξ121,12212ω2=Θ121ω2★x12Θ122ω2=u0x121ω2★x12u0x122ω2.
For the pair of particles x221and x222, we also have
Ξ221,22222ω2=Θ221ω2★x22Θ222ω2=f˜t221ω2x221ω2★x22u0x222ω2.
Next, when we take a look at the groups of particles with nodes of the level ∣m∣=ℓ=2. For instance, as to a pair of particles located at x11and x12with its pivoting node x1, we get an expression
Ξ11,121ω2=Θ11ω2★x1Θ12ω2=Ξ111,11211ω2★x1Ξ121,12212ω2=u0x111★x11f˜(t112x112)★x1u0x121★x12u0x122.
Therefore, it follows by a similar argument that the explicit representation of star-product functional for ω2is given by
M★u0fω2=u0x111★x11f˜(t112x112)★x1u0x121★x12u0x122★xϕf˜t21x21★x2u0x221★x22u0x222
6. The ∗-product functional and existence
In this section we first begin with constructing a UF-weighted tree-based ∗-product functional M∗UFω, which is indexed by the nodes xmof a binary tree. Recall that U=Ux(resp. F=Ftx) is a nonnegative measurable function on D0(resp. R+×D0), respectively, and also that F⋅x∈L1R+for each x. Moreover, in construction of the functional, the product is taken as ordinary multiplication ∗instead of the star-product ★.
In what follows we shall give an outline of the existence in Theorem 1. We need the following lemma, which is essentially important for the proof.
Lemma 3. For 0⩽t⩽Tand x∈D0, the function Vtx=Et,xM∗UFωsatisfies
eλtx2Vtx=Ux+∫0tdsx22eλsx2Fsx+∫VsyV(sz)Kx(dyz).E15
Proof of Lemma 3. By making use of the conditional expectation, we may decompose Vtxas follows:
Vtx=Et,xM∗U,Fω=Et,xM∗UFωtϕ⩽0+Et,xM∗UFωtϕ>0=Et,xM∗U,Fωtϕ⩽0+Et,xM∗UFωtϕ>0ηϕ=0+Et,xM∗UFωtϕ>0ηϕ=1.E16
We are next going to take into consideration an equivalence between the events tϕ⩽0and T∉0t. Indeed, as to the first term in the third line of Eq. (16), since the condition tϕ⩽0implies that Tnever lies in an interval 0t, and since m=ϕ∈N−ωleads to a nonrandom expression
M∗=Θϕ=Ux,
the tree-based ∗-product functional is allowed to possess a simple representation:
Et,xM∗UFtϕ⩽0=Et,xM∗UF⋅1tϕ⩽⩽0=Ux⋅Pt,xtϕ⩽0=Ux⋅PT∉0t=Ux⋅PT∈t∞=Ux∫t∞fTsds=Ux∫t∞λx2e−λsx2ds=Ux⋅exp−λtx2.E17
As to the third term, we need to note the following matters. A particle generates two offsprings or descendants x1,x2with probability 12under the condition ηϕ=1; since tϕ>0, when the branching occurs at tϕ=s, then, under the conditioning operation at tϕ, the Markov property [13] guarantees that the lower tree structure below the first-generation branching node point x1is independent to that below the location x2with realized ω∈Ω; hence, a tree-based ∗-product functional branched after time sis also probabilistically independent of the other tree-based ∗-product functional branched after time s, and besides the distributions of x1and x2are totally controlled by the Markov kernel Kx. Therefore, an easy computation provides with an impressive expression:
Et,xM∗UFtϕ>0ηϕ=1=12∫0tdsλx2e−λx2t−s⋅×∬Es,x1M∗⋅Es,x2M∗Kxdx1dx2.
Note that as for the second term, it goes almost similarly as the computation of the above-mentioned third one. Finally, summing up we obtain
Vtx=Et,xM∗UFω=Uxr−λtx2+∫0tλx22e−λx2t−sFsxds+∫0tλx22e−λx2t−s∬VsyVszKxdydzds.E18
On this account, if we multiply both sides of Eq. (18) by expλtx2, then the required expression Eq. (15) in Lemma 3 can be derived, which completes the proof.□
By a glance at the expression Eq. (15) obtained in Lemma 3, it is quite obvious that, for each x∈D0, the mapping 0T∍t↦eλx2tVtx∈R¯+is a nondecreasing function. Taking the above fact into consideration, we can deduce with ease that
Et,xM∗UFω<∞E19
holds for ∀t∈0Tand x∈Ec, where the measurable set Ecdenotes the totality of all the elements xin D0such that ET,xM∗UF<∞holds for a.e.‐x, namely, it is the same condition Eq. (7) appearing in the assertion of Theorem 1. Another important aspect for the proof consists in establishment of the M∗-control inequality, which is a basic property of the star-product ★. That is to say, we have.
Lemma 4. (M∗-control inequality) The following inequality
∣M★u0fω∣⩽M∗UFω.E20
holds Pt,x-a.s.
This inequality enables us to govern the behavior of the star-product functional with a very complicated structure by that of the ∗-product functional with a rather simplified structure. In fact, the M∗-control inequality yields immediately from a simple fact:
∣w★xv∣⩽∣w∣⋅∣v∣for everyw,v∈C3and everyx∈D0.
Next, we are going to derive the space of solutions to Eq. (2). If we define
utx≔Et,xM⋆u0fω,onEc,0,otherwise,
then
utxis well defined on the whole space
D0under the assumptions of the main theorem (Theorem 1). Moreover, it follows from the
M∗-control inequality (
Eq. (20)) that
∣utx∣⩽Vtxon0T×D0.E21
On this account, from Eq. (15) in Lemma 3, by finiteness of the expectation of tree-based ∗-product functional M∗UFω, by the M∗-control inequality, and from Eq. (21), it is easy to see that
∫0Tds∫∣usy∣⋅∣usz∣Kxdydz<∞forx∈Ec.E22
Hence, taking Eq. (22) into consideration, we define the space Dof solutions to Eq. (2) as follows:
D≔{φ:R+×D0→C3;φis continuous intand measurable such that∫0∞ds∫eλx2s∣φsy∣⋅∣sz∣Kxdydz<∞holdsa.e.−x}E23
By employing the Markov property [13] with respect to time tϕand by a similar technique as in the proof of Lemma 3, we may proceed in rewriting and calculating the expectation for ∀t>0and x∈Ec:
utx=Et,xM★u0fω=Et,xM★u0fωtϕ⩽0+Et,xM★u0fωtϕ>0=Et,xM★u0fωtϕ⩽0+Et,xM★u0fωtϕ>0ηϕ=0+Et,xM★u0fωtϕ>0ηϕ=1=e−tx2u0x+∫0tsx2e−t−sx2×12f˜sx+∬Es,x1M★★xEs,x2M★Kx(dx1dx2).E24
Furthermore, we may apply the integral equality Eq. (4) in the assumption on the Markov kernel for Eq. (24) to obtain
Et,xM★u0fω=e−λtx2u0x+∫0tdsλx2e−λt−sx2×12f˜sx+∬Es,x1M★★xEs,x2M★Kx(dx1dx2)=e−λtx2u0x+∫0tdsλx2e−λt−sx2×12f˜sx+∬u(sy)★xu(sz)Kx(dydz)=e−λtx2u0x+λ2∫0teλsx2f(sx)ds+λ2∫0tds∫eλsx2psxyun(xy)dy,E25
because in the above last equality we need to rewrite its double integral relative to the space parameters into a single integral. Finally, we attain that utx=Et,xM★u0fωsatisfies the integral equation Eq. (2), and this utxis a solution lying in the space D. This completes the proof of the existence.
7. Uniqueness
First of all, note that we can choose a proper measurable subset F0⊂D0with mF0c=mD0 \ F0=0(meaning that its complement F0cis a null set with respect to Lebesgue measure mx), such that
Et,xM∗UFω<∞onF0E26
and
∫0Tds∬eλx2s∣usy∣⋅∣usz∣Kxdydz,for∀T>0,
is convergent for a.e.-x∈F0, and utxsatisfies the nonlinear integral equation (Eq. (2)) for a.e.‐x∈F0. Suggested by the argument in [7], we adopt here a martingale method in order to prove the uniqueness of the solutions to Eq. (2). The leading philosophy for the proof of uniqueness consists in extraction of the martingale part from the realized tree structure and in representation of the solution uin terms of martingale language. In so doing, we need to construct a martingale term from the given functional and to settle down the required σ-algebra with respect to which its constructed term may become a martingale. Let Ω+be the set of all the elements ω's corresponding to time tmω>0for the label m. Next, we consider a kind of the notion like n-section of the set of labels for n∈N0≔N∪0. We define several families of Ωin what follows, in order to facilitate the extraction of its martingale part from our star-product functional M★u0fω. For each realized tree ω, N˜nωis the totality of the labels
m∈⋃0⩽ℓ⩽n12ℓ
satisfying tmω>0and ηmω=1. Namely, this family N˜nωis a subset of labels restricted up to the nth generation and limited to the nodes related to branching at positive time. Moreover, let N˜nωbe the set of labels lying in N\N˜nωwhose direct predecessor belongs to N˜nω. By convention, we define N˜nω=∅if N˜nω=∅. We shall introduce a new family N˜ncutωof cutoff labels, which is determined by the set of labels m∈Vwhose direct predecessor belongs to N˜nωand has length ∣m∣=n, and we call this family N˜ncutωthe cutoff part of N˜nω, while N⌣nnctωis the non-cutoff part of N˜nω, which is defined by
N⌣nnctω≔N˜nω \ N˜ncutω.E27
We are now in a position to introduce a new class M★n,u0fuωof ★-product functional, which should be called the n-section of the star-product functional. In fact, by taking the above argument in Example 2 into account, we can define its n-section as follows. In fact, if the label mis a member of the cutoff family N˜ncutω, the input data of the functional attached to mis given by utpmωxmωinstead of the usual initial data u0xmωor f˜tmωxmω, where pmindicates the direct ancestor m′of mhaving length n. On the other hand, if mlies in the non-cutoff family N⌣nnctω, then the input data of the functional attached to mis completely the same as before with no change, that is, we use u0xmif tm⩽0and use f˜tmxmif tm>0. In such a way, we can construct a new ★-product functional M★n,u0fuωby the almost sure procedure, and we call it the n-section ★-product functional. Similarly, we can also define the corresponding n-section ★-product functional M∗n,UFVω. Simply enough, to get the ∗-product counterpart, we have only to replace those functions u0,f˜and uby U,Fand Vin the definition of ★-product functional. As easily imagined, we can also derive an n-section version of M∗n-control inequality:
Lemma 5. (M∗n-control inequality) The following inequality
∣M★n,u0fuω∣⩽M∗n,UFVωE28
holds Pt,x-a.s.
because of the domination property: ∣utx∣⩽Vtxfor 0T×D0, ∣u0x∣⩽Uxfor ∀x, ∣f˜tx∣⩽Ftxfor ∀t,x, and a simple inequality ∣w★xv∣⩽∣w∣⋅∣v∣for ∀w,v∈C3and ∀x∈D0.
Let us now introduce a filtration Fnfor n∈N0on Ω+, according to the discussion in Example 2. As a matter of fact, we define
Fn≔σN˜nωtmxmm∈N˜nω∪N⌣nnctωηmm∈N˜ncutωE29
for each n∈N0. Notice that N˜nωitself determines the other two families N˜ncutωand N⌣nnctω. Then, it is readily observed that both functionals M★n,u0fuωand M∗n,UFVωare Fn-adapted.
Lemma 6. For each n∈N0, the equality
M∗n,UFVω=Et,xM∗UFωFnE30
holds Pt,x-a.s. for every t∈0Tand every x∈F0.
Proof. By its construction, we can conclude the equality of Eq. (30) from the strong Markov property [13] applied at times tms for m∈Vof length non the set m∈N˜nω∈Fn.□
Moreover, an application of Lemma 6 with the n-section M∗n-control inequality (Eq. (28)) shows the Pt,x-integrability of M★n,u0fuωfor every t∈0Tand every x∈F0. Actually, it proves to be true that a martingale part, in question, extracted by the star-product functional relative to those n-section families, is given by the n-section ★-product functional M★n,u0fuω.
Lemma 7. The n-section M★n,u0fuωof ★-product functional with weight functions u0and fis an Fn-martingale [8].
Proof. When we set =Et,xM★nωFn, then ξnturns out to be a Fn-martingale, since
Et,xξnFn−1=Et,xEt,xM★nFnFn−1]=Et,x[M★nn−1=ξn−1
by virtue of the inclusion property of the σ-algebras. Consequently, it suffices to show that
Et,xM★u0fωFn=M★n,u0fuωE31
holds a.s. By employing the representation formula (Eq. (8)), an conditioning argument leads to Eq. (31), because the establishment is verified by the Markov property applied at tmand on the event m∈N˜nbeing Fn-measurable.□
Finally, the uniqueness yields from the following assertion.
Proposition 8. When utxis a solution to the nonlinear integral equation (Eq. (2)), then we have
utx=Et,xM★u0fωE32
holds for every t∈0Tand for a.e.‐x.
Proof. Our proof is technically due to a martingale method. We need the following lemma.
Lemma 9. Let M★n,u0fuωbe the n-section of ★-product functional, and let utxbe a solution of the nonlinear integral equation (Eq. (2)). Then, we have the following identity: for each n∈N0
utx=Et,xM★n,u0fuωE33
holds for every t0⩽t⩽Tand every x∈F0.
Proof of Lemma 9. Recall that M★n,u0fuωis a martingale relative to Fn. For n=0, it follows from the identity (Eq. (31)) and by the martingale property that
Et,xM★0,u0fuω=Et,xEt,xM★u0fωF0=Et,xM★u0fω=utx.E34
Next, for the case n=1, by the same reason, we can get
Et,xM★1,u0fuω=Et,xEt,xM★u0fωF1=Et,xM★u0fω=utx.E35
We resort to the mathematical induction with respect to n∈N0. If we assume the identity (Eq. (33)) for the case of n, then the case of n+1reads at once
Et,xM★n+1,u0fuω=Et,xEt,xM★n+1,u0fuωFn=Et,xM★n,u0fuω=utx,E36
where we made use of the martingale property in the first equality and employed the hypothesis of induction in the last identity. This concludes the assertion. □
To go back to the proof of Proposition 8. We define an Fn-measurable event Anas the set of ω∈Ω+such that N˜nωcontains some label mof length n. From the definition, it holds immediately that
M★u0fω=M★n,u0fuωonΩ+\An.E37
Hence, for every x∈F0and 0⩽t⩽Tand ∀n∈N0, we may apply Lemma 9 for the expression below with the identity (Eq. (31)) to obtain
∣utx−Et,xM★u0fω∣=∣Et,xM★n,u0fuω−Et,xM★u0fω∣⩽∣Et,xM★n,u0fuω−M★u0fωAn∣+∣Et,xM★n,u0fuω−M★u0fωAnc∣=∣Et,xM★n,u0fuω−M★u0fω⋅1An∣E38
where the symbol Et,xXωAdenotes the integral of Xωover a measurable event Awith respect to the probability measure Pt,xdω, namely,
Et,xXωA=Et,xXω⋅1A=∫AXωPt,xdω.
Furthermore, we continue computing
38⩽∣Et,xM★n,u0fuω1An∣+∣Et,xM★u0fω1An∣=∣Et,xEt,xM★u0fωFn1An∣+∣Et,xM★u0fω1An∣=2∣Et,xM★u0fω1An∣.E39
Since ∩nAn=∅by the binary critical tree structure [12], and since we have an natural estimate
∣M★u0fω1Anω∣<M★UFω,a.s.andlimn→∞M★u0fω1Anω=0,a.s.E40
it follows by the bounded convergence theorem of Lebesgue that
limn→∞∣Et,xM★u0fω1An∣=0.E41
Consequently, from Eq. (39) and Eq. (41), we readily obtain
∣utx−Et,xM★u0fω∣→0asn→∞E42
holds for every tx∈0T×F0. Thus, we attain that utx=Et,xM★u0fω, a.e.‐x∈F0. This finishes the proof of Proposition 8.□
Concurrently, this completes the proof of the uniqueness.
Acknowledgments
This work is supported in part by the Japan MEXT Grant-in-Aids SR(C) 17 K05358 and also by ISM Coop. Res. Program: 2011-CRP-5010.