Homeomorphism of the Revuz correspondence for finite energy integrals

Takumu Ooi

REVIEW 2 major objections 3 minor 35 references

Homeomorphism of the Revuz correspondence for finite energy integrals

T0 review · 2 major / 3 minor · reviewed 2026-08-09 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that the Revuz map is a homeomorphism from the space of finite-energy smooth measures with the metric $\rho$ to the PCAF space with the $L^2(\mathbb{P}_{m+\kappa+\nu_0})$ local uniform topology.

desk verdict The paper's main theorem is not proved as written: the key bilinear identity relies on polarization for a functional the paper itself says is only subadditive. read the letter →

arxiv 2502.01234 v3 pith:JAP76H6V submitted 2025-02-03 math.PR

Takumu Ooi This is my paper · ORCID

classification math.PR MSC 60J4531C2560J55

keywords RevuzcorrespondencepositivecontinuousadditivefunctionalsfiniteenergyintegralssmoothmeasuresDirichletformskillingmeasurefunctionalhomeomorphism

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Classical Dirichlet form theory pairs each smooth measure—the Revuz measure—with a positive continuous additive functional (PCAF) of the associated Hunt process. This paper asks whether that pairing respects convergence, and answers yes: restricted to smooth measures of finite energy integrals, the Revuz map is a homeomorphism when measures carry the metric $\rho$ defined through the Dirichlet form and PCAFs carry the $L^2(\mathbb{P}_{m+\kappa+\nu_0})$ local uniform topology. The topology on PCAFs uses the underlying measure $m$, the killing measure $\kappa$, and a functional $\nu_0$ that measures the energy of the part of the process continuously escaping to the cemetery point. The result matters because convergence of PCAFs is what one needs when constructing or taking limits of time-changed processes, while Revuz measures are often the objects one can compute with.

What carries the argument

The load-bearing object is the energy functional $\nu_0$, defined for non-negative Borel $f$ by $\int f\,d\nu_0 = \lim_{t\searrow 0} \frac{1}{t}\int f(x)\,\mathbb{E}_x[e^{-2\zeta}1_{\{\partial\}}(X_{\zeta-})1_{\{\zeta\le t\}}]\,dm(x)$; it is not a measure but a monotone, subadditive positive functional representing the energy of the part of the process that continuously escapes to the cemetery point. Along with the underlying measure $m$ and the killing measure $\kappa$ of the Beurling–Deny decomposition, $\nu_0$ enters the norm $\mathbb{E}_{m+\kappa+\nu_0}$ and the identity $\mathbb{E}_{\alpha m+\kappa/2+\nu_0/2}[\tilde{A}_\infty \tilde{B}_\infty] = E_\alpha(U_\alpha\mu, U_\alpha\nu)$. That identity is what carries the argument: it makes convergence of PCAFs in $L^2(\mathbb{P}_{m+\kappa+\nu_0})$ equivalent to convergence of 1-potentials in the $E_1$-norm, i.e., to the metric $\rho$. The proofs of the continuity statements additionally use the Fukushima decomposition of potentials and the Beurling–Deny decomposition to handle the $\kappa$ term.

What would settle it

Take the absorbed Brownian motion on $(0,\infty)$ of Example 6.6 with $\mu_n = n^{3/2}1_{(0,1/n)}dx$ and $\mu = 0$. Theorem 1.1 predicts that $\rho(\mu_n, 0)$ fails to converge to 0 and, equivalently, that $\mathbb{E}_{m+\kappa+\nu_0}[\sup_{0\le t\le T}|A^n_t|^2]$ fails to vanish; the paper proves the first divergence. A direct computation of the second quantity for this explicit process—or for the perturbed Dirichlet form of Example 6.5—would check the equivalence claim from the PCAF side.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is Theorem 1.1: for $\mu_n, \mu \in S_0$ with corresponding PCAFs $A_n, A$, convergence $\mu_n \to \mu$ in the metric $\rho$ (the $E_1$-norm of the difference of 1-potentials) holds if and only if, for every $T > 0$, $\mathbb{E}_{m+\kappa+\nu_0}[\sup_{0\le t\le T}|A^n_t - A_t|^2] \to 0$. Equivalently, the Revuz map is a homeomorphism from $(S_0, \rho)$ onto $A_c^+ \cap L^2(\mathbb{P}_{m+\kappa+\nu_0})$ equipped with the local uniform $L^2$ topology. The proof rests on the energy identity (1.1), $\mathbb{E}_{\alpha m+\kappa/2+\nu_0/2}[\tilde{A}_\infty \tilde{B}_\infty] = E_\alpha(U_\alpha\mu, U_\alpha\nu)$, where $\tilde{A}_t = \int_0^t e^{-\alpha s}\,dA_s$ and $U_\alpha\mu$ is the $\alpha$-potential; this identity converts $L^2$ convergence of discounted PCAFs into convergence of potentials in the Dirichlet norm, giving both directions of the bicontinuity. The paper also proves a quantitative $L^1(\mathbb{P}_x)$ continuity theorem for quasi-every $x$ and, under an assumption preventing immediate killing, a vague-convergence theorem going from almost sure PCAF convergence to measure convergence.

Load-bearing premise

The proof stands on $\nu_0$ being a well-behaved positive functional—finite, monotone, subadditive, and satisfying the integration identity $\int U_2\nu\,d\nu_0 = \int \mathbb{E}_x[e^{-2\zeta}1_{\{\partial\}}(X_{\zeta-})]\,d\nu(x)$—so that the $L^2(\mathbb{P}_{m+\kappa+\nu_0})$ norm and the energy identity (1.1) are genuinely defined on the relevant PCAFs; if $\nu_0$ fails on any approximating sequence, both the topology and the homeomorphism collapse.

Editorial extensions

If this is right

If $\rho(\mu_n, \mu) \to 0$, then for every $T > 0$ the centred $L^2$ sup-norm $\mathbb{E}_{m+\kappa+\nu_0}[\sup_{0\le t\le T}|A^n_t - A_t|^2] \to 0$, and conversely; measure convergence and PCAF convergence are the same fact.
In the conservative case (no killing, no escape to the cemetery), the criterion collapses to $L^2(\mathbb{P}_m)$ local uniform convergence, and the energy identity becomes $\mathbb{E}_{\alpha m}[\tilde{A}_\infty \tilde{B}_\infty] = E_\alpha(U_\alpha\mu, U_\alpha\nu)$.
The Revuz map restricted to $S_0$ becomes a homeomorphism, so the completeness and separability of $(S_0, \rho)$ transfer to the corresponding space of PCAFs with the $L^2(\mathbb{P}_{m+\kappa+\nu_0})$ local uniform topology.
Under Assumption 5.1, almost sure local uniform convergence of PCAFs plus boundedness of their second moments forces vague convergence of the Revuz measures, and under the first part of the assumption the potentials $U_1\mu_n$ converge weakly in the Dirichlet space $E_1$.
The quantitative estimate in Remark 3.9 gives a rate: $\mathbb{P}_\nu(\sup_{t\le T}|A^n_t - A_t| \ge \delta) \le C_\nu \delta^{-1} (E_1(U_1\mu_n - U_1\mu))^{1/2}$ for $\nu \in S_{00}$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The energy identity suggests viewing the Revuz map as an isometry: if $\langle A, B\rangle = \mathbb{E}_{m+\kappa/2+\nu_0/2}[\tilde{A}_\infty \tilde{B}_\infty]$ is positive definite on the relevant PCAF space, the homeomorphism is actually an isometry between metric spaces.
Since $\nu_0$ arises as a limit of entrance laws, one can test whether it coincides with the trace of a genuine measure on the one-point compactification; if so, the theorem would extend to settings where escape-to-cemetery energy is a true measure.
For time-changed processes such as Liouville Brownian motion, the homeomorphism gives a practical route to convergence: verify the Revuz measures converge in $\rho$ by potential computations instead of constructing the limiting PCAF explicitly.
Tracking the constants in Lemma 4.3 should yield an explicit quantitative version of Theorem 1.1, bounding the PCAF error directly by $E_1(U_1\mu_n - U_1\mu)$; the paper's estimates already contain the main terms.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: the main theorem has a load-bearing gap. The result is natural and worth taking seriously, but the proof of Proposition 1.2, stated for pairs of PCAFs, computes only the diagonal case and invokes polarization. Polarization requires the map f to int f d nu_0 to be additive on relevant nonnegative functions. Remark 4.2 says nu_0 is not a measure and satisfies only subadditivity. So the identity E_{nu_0}[gA_infty gB_infty] is not established for distinct A and B. Theorem 1.1 then uses that identity for differences A_n - A to get from L^2(P_{m+kappa+nu_0}) convergence back to rho-convergence. Without a valid bilinear form, that step does not go through. Lemma 4.3 gives one-sided upper bounds, not the two-sided control needed for equivalence. The stress-test note is on target; the reader's clean bill missed this. What is genuinely good: the setup is natural, the counterexamples in Section 6 show that both kappa and nu_0 are needed, and the Section 3 L^1(P_x) convergence theorem is a real strengthening of [24]. The paper is clearly written, the preliminaries are careful, and the construction of nu_0 as a limit of entrance laws is interesting even if the notation int . d nu_0 is doing heavy lifting. The gap is not a typo; it is the central pillar. It might be repairable, e.g., by proving (1.1) for pairs directly via the Revuz formula and Levy system, or by replacing the equivalence with two-sided inequalities plus compactness. But as written, the main theorem is unproven. The paper deserves a serious referee, but not acceptance in this form. I would send it to a specialist with a clear request to verify whether the polarization step can be replaced or repaired. The examples and Section 5 may survive independently, and if the gap is fixed this becomes a solid contribution.

Referee Report

2 major / 3 minor

Summary. The paper studies the Revuz correspondence between the set S0 of smooth measures of finite energy integrals and the set of positive continuous additive functionals (PCAFs) of an m-symmetric Hunt process associated with a regular Dirichlet form. The main result, Theorem 1.1, asserts that the Revuz map is a homeomorphism when S0 is equipped with the metric ρ introduced by Nishimori--Tomisaki--Tsuchida--Uemura and the space of PCAFs is equipped with the topology induced by L2(P_{m+κ+ν0}) with the local uniform topology, where κ is the killing measure and ν0 is a newly introduced functional representing the energy of the part of the process continuously escaping to the cemetery point. The key identity is Proposition 1.2, which equates the L2(P_{αm+κ/2+ν0/2}) inner product of the exponentialized PCAF limits to the Dirichlet-form inner product of the corresponding potentials. The paper also proves a strengthening of a known almost-sure convergence result (Theorem 3.7) and a vague-convergence criterion under a boundedness assumption (Theorem 5.2). Examples illustrate the necessity of both κ and ν0.

Significance. If the main theorem is correct, it provides a complete and natural topological characterization of the Revuz correspondence for finite-energy measures, answering a natural question in Dirichlet form theory. The introduction of the functional ν0 and the explicit use of the Beurling--Deny killing measure are novel. The paper is careful to state hypotheses, gives detailed proofs based on standard Dirichlet form machinery, and supplies examples showing that both κ and ν0 are generally needed. The claimed homeomorphism, if established, would be a useful tool for proving convergence of time-changed processes and associated measures.

major comments (2)

[Section 4, proof of Proposition 1.2] The reduction 'By using the polarization identity, it is enough to consider the case of A = B' is not justified. The functional ν0 is explicitly stated in Remark 4.2 to be subadditive but not additive in general, so the map Q(A) = E_{ν0}[(gA∞)^2] need not satisfy the parallelogram law, and the cross term E_{ν0}[gA∞ gB∞] cannot be obtained from the diagonal case by polarization. Since Proposition 1.2 is the load-bearing identity used in Theorem 1.1 to identify L2(P_{m+κ+ν0}) convergence of differences of PCAFs with ρ-convergence of their Revuz measures, this gap directly affects the central claim. The authors should either prove additivity/bilinearity of ν0 on the relevant subspace of functions, or prove identity (1.1) directly for distinct A and B by repeating the calculation with cross terms.
[Theorem 1.1 and Remark 4.8] The statement that the PCAF space is equipped with the topology induced by the L2(P_{m+κ+ν0})-norm is ambiguous because ν0 is not a measure and is only subadditive. The notation L2(P_{m+κ+ν0}) suggests a genuine normed space, but the paper does not prove that the expression evaluated on differences of PCAFs defines a norm (in particular, that the triangle inequality and the parallelogram law hold). The homeomorphism statement requires a well-defined topology on the PCAF side; otherwise the 'if and only if' in Theorem 1.1 is not meaningful. The authors should define the topology explicitly and establish that it is a norm topology on the relevant set of differences.

minor comments (3)

[Proof of Theorem 3.7] The formula displayed as 'Eν[(gAn∞)2] = 2 R E U 2 An U 1 An 1dν' contains garbled notation and should be typeset and explained more clearly.
[Lemma 4.1(iii)] The statement says the right-hand side of (4.1) is well-defined for an α-excessive function f, but it would be clearer to specify that the limit is an increasing limit for such f, as is standard for energy functionals.
[Example 6.1] In the displayed computation of lim_{n→∞} Ex[A^n_t], the expression 't(1 + sin(nx) sinh t / e^t)' appears to contain a typographical error and should be checked for consistency with the preceding line.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.1 is derived from standard Dirichlet-form identities, and the sole self-citation is an external convergence lemma that does not presuppose the theorem.

full rationale

Walking the derivation chain, the proof of Theorem 1.1 is self-contained against standard Dirichlet form theory. The forward direction uses Lemma 4.5 and Lemma 4.3 together with Proposition 1.2 to turn ρ-convergence into L2(P_{m+κ+ν0}) local-uniform convergence, and the reverse direction uses the same identity in the opposite order. Proposition 1.2 is not assumed: it is proved by computing E_m[(gA∞)^2], E_κ[(gA∞)^2], and E_ν0[(gA∞)^2] individually from the Fukushima decomposition, the Beurling-Deny decomposition, and [11, Theorem 5.4.3], and then observing that the φ_{2α} terms cancel algebraically. The functional ν0 is introduced by an explicit limiting formula, not by fitting; the energy identity is a nontrivial computation, not a definitional restatement. The only self-citation is [27, Lemma 4.8] in the proof of Theorem 5.2, an externally published lemma on stochastic integrals with respect to convergent additive functionals; nothing indicates it is equivalent to or derived from Theorem 1.1, so it does not make the argument circular. The possible technical concern that ν0 is only subadditive and not a measure is a correctness risk about extending the energy identity to differences, but it is not an instance of circular reasoning: the paper does not define the ρ-distance to be the L2(P_{m+κ+ν0})-distance by fiat, and the displayed proof does the substantive work of identifying them.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

The paper is a self-contained proof in standard Dirichlet form theory; it introduces no fitted constants. Its central claim rests on the Revuz correspondence, the Fukushima decomposition, and the energy-functional theory for excessive functions, all cited from [11], [17], and [19]. The new functional ν0 is defined explicitly from the process, not fitted.

assumptions (6)

standard math Revuz correspondence between PCAFs and smooth measures (Theorem 2.4, from [11]).
Used throughout to associate each µ∈S0 with a PCAF A and to identify potentials; the paper relies on this as background.
standard math Fukushima decomposition for functions in the extended Dirichlet space (Theorem 2.5).
Central in the proofs of Theorems 3.7, 4.3 and Appendix A to split PCAFs into martingale and zero-energy parts.
standard math Beurling-Deny decomposition with killing measure κ (Theorem 2.6).
Provides the killing measure κ that appears in the topology L2(P_{m+κ+ν0}) and in the energy identity.
domain assumption Existence and regularity of an m-symmetric Hunt process X associated with the regular Dirichlet form.
The entire framework requires a regular Dirichlet form on L2(E;m) with associated Hunt process; stated at the start of Section 2.
standard math Energy functional theory for excessive functions (Chen-Fukushima [11, Section 5.4], Getoor [19]).
Used to define ν0, to prove Lemma 4.1, and to evaluate E_{ν0}[(gA∞)^2] via Theorem 5.4.3(iv).
domain assumption Assumption 5.1, uniform L2 boundedness or no immediate killing on compacts.
This is an explicit extra condition for Theorem 5.2 on vague convergence; it is not needed for Theorem 1.1.

invented entities (1)

ν0, the energy functional for the part of the process continuously escaping to the cemetery point. independent evidence
purpose: Augments the reference measure m and κ in the L2(P_{m+κ+ν0}) topology and in the energy identity (1.1), making the Revuz map bicontinuous.
ν0 is not an arbitrary fitted object: it is defined as a limit of entrance laws from the process and is shown in Examples 6.5 and 6.6 to be necessary. Its defining formula gives a computable handle for any regular Dirichlet form.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Homeomorphism of the Revuz correspondence for finite energy integrals." pith.science (2026). https://pith.science/paper/JAP76H6V

@misc{pith2026250201234,
  author       = {Pith},
  title        = {Pith review of: Homeomorphism of the Revuz correspondence for finite energy integrals},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JAP76H6V}},
  note         = {Machine review of arXiv:2502.01234}
}

abstract

We provide necessary and sufficient conditions for the convergence of Revuz measures of finite energy integrals. More precisely, the Revuz map from the set of all smooth measures of finite energy integrals, equipped with the topology induced by the norm given by the sum of the Dirichlet form and the $L^2(m)$-norm, to the space of positive continuous additive functionals, equipped with the topology induced by the $L^2(\mathbb{P}_{m+\kappa+\nu_0})$-norm with the local uniform topology, is a homeomorphism, where $m$ is the underlying measure, $\kappa$ is the killing measure of a Dirichlet form and $\nu_0$ is an energy functional for the part that the process continuously escaping to the cemetery point.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 29 canonical work pages

[24]

Nishimori, M

Y. Nishimori, M. Tomisaki, K. Tsuchida, T. Uemura, On a convergence of positive continuous additive functionals in terms of their smooth measures, Published online 2025:1-30. doi:10.4153/S0008414X25000173

doi:10.4153/s0008414x25000173 2025
[1]

Andres, N

S. Andres, N. Kajino, Continuity and estimates of the Liouville heat kernel with applications to spectral dimensions, Probab. Theory Related Fields 166 (2016) 713-752. https://doi.org/10.1007/s00440-015-0670-4

work page doi:10.1007/s00440-015-0670-4 2016
[2]

Az´ ema, Th´ eorie g´ en´ erale des processus et retournement du temps

J. Az´ ema, Th´ eorie g´ en´ erale des processus et retournement du temps. Annales scientifiques de l’´Ecole Normale Sup´ erieure, Serie 4, Volume 6 (1973) 459-519. doi:10.24033/asens.1256

work page doi:10.24033/asens.1256 1973
[3]

Az´ ema, M

J. Az´ ema, M. Kaplan-Duflo, D. Revuz, Mesure invariante sur les classes r´ ecurrentes des processus de Markov, Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 8 (1967) 157–181. https://doi.org/10.1007/BF00531519

work page doi:10.1007/bf00531519 1967
[4]

BenAmor, K

A. BenAmor, K. Kuwae, Feller property and convergence for semigroups of time-changed processes, preprint, arXiv:2411.19543

work page arXiv
[5]

Beznea, N

L. Beznea, N. Boboc, Strongly supermedian kernels and Revuz measures, Ann. Probab. 29 (2001), 418–436. https://doi.org/10.1214/aop/1008956337

arXiv 2001
[6]

Beznea, N

L. Beznea, N. Boboc, Smooth measures and regular strongly supermedian kernels generating sub-Markovian resolvents, ICPA98 (Hammamet). Potential Anal. 15 (2001) 77–87. https://doi.org/10.1023/A:1011276203807

work page doi:10.1023/a:1011276203807 2001
[7]

Beznea, N

L. Beznea, N. Boboc, Fine Densities for Excessive Measures and the Revuz Correspondence. Potential Analysis 20 (2004) 61–83. https://doi.org/10.1023/A:1025527902503

work page doi:10.1023/a:1025527902503 2004

Show all 35 references

[8]

Beznea, N

L. Beznea, N. Boboc, Potential theory and right processes, Mathematics and its Applications, 572. Kluwer Academic Publishers, Dordrecht, 2004. vi+370 pp

2004
[9]

R. M. Blumenthal, R. K. Getoor, Markov processes and potential theory, Pure and Applied Mathematics, Vol. 29. Academic Press, New York-London, 1968

1968
[10]

R. M. Blumenthal, R. K. Getoor, Additive functionals of Markov processes in duality. Trans. Amer. Math. Soc. 112 (1964), 131–163. https://doi.org/10.1090/S0002-9947-1964-0160269-0

1964 doi
[11]

Z.-Q. Chen, M. Fukushima, Symmetric Markov processes, time change, and boundary theory, Princeton University Press, Princeton, NJ, 2012

2012
[12]

D. A. Croydon, Scaling limits of stochastic processes associated with resistance forms, Ann. Inst. Henri Poincar´ e Probab. Stat. 54 (2018), 1939–1968. https://doi.org/10.1214/17-AIHP861

2018 doi
[13]

D. A. Croydon, B. Hambly, T. Kumagai, Time-changes of stochastic processes associated with resistance forms, Electron. J. Probab. 22 (2017), 1-41. https://doi.org/10.1214/17-EJP99

2017 doi
[14]

E. B. Dynkin, Additive functionals of Markov processes and stochastic systems, Ann. Inst. Fourier (Grenoble)25 (1975), 177–200. doi:10.5802/aif.578

1975 doi
[15]

P. J. Fitzsimmons, R. K. Getoor, Smooth measures and continuous additive functionals of right Markov processes, It˜ o’s stochastic calculus and probability theory, 31-49, Springer, Tokyo, 1996

1996
[16]

P. J. Fitzsimmons, R. K. Getoor, Homogeneous random measures and strongly supermedian kernels of a Markov process, Electron. J. Probab. 8 (2003), 1-55. https://doi.org/10.1214/EJP.v8-142

2003 doi
[17]

Fukushima, Y

M. Fukushima, Y. Oshima, M. Takeda, Dirichlet forms and symmetric Markov processes. 2nd rev. and ext. ed, Walter de Gruyter & Co., Berlin, 2011

2011
[18]

Garban, R

C. Garban, R. Rhodes, V. Vargas, Liouville Brownian motion. Ann. Probab. 44 (2016) 3076-3110. https://doi.org/10.1214/15-AOP1042

2016 doi
[19]

Getoor, Excessive Measures

R.K. Getoor, Excessive Measures. Birkh¨ auser Boston, Inc., Boston, 1990

1990
[20]

Jacod, A

J. Jacod, A. N. Shiryaev, Limit theorems for stochastic processes, Second edition. Springer-Verlag, Berlin, 2003

2003
[21]

N. S. Landkof, Foundations of modern potential theory, Springer-Verlag, New York-Heidelberg, 1972

1972
[22]

Meyer, Fonctionnelles multiplicatives et additives de Markov

P.-A. Meyer, Fonctionnelles multiplicatives et additives de Markov. Annales de l’Institut Fourier, Volume 12 (1962), pp. 125-230. doi : 10.5802/aif.121

1962 doi
[23]

H. P. McKean Jr., H. Tanaka, Additive functionals of the Brownian path. Mem. Coll. Sci. Univ. Kyoto Ser. A. Math. 33 (1960/61), 479–506. https://doi.org/10.1215/kjm/1250711998

1960
[25]

Noda, Convergence of local times of stochastic processes associated with resistance forms, preprint, arXiv:2305.13224

R. Noda, Convergence of local times of stochastic processes associated with resistance forms, preprint, arXiv:2305.13224

arXiv
[26]

Noda, Continuity of the Revuz correspondence under the absolute continuity condition, preprint, arXiv:2501.10994

R. Noda, Continuity of the Revuz correspondence under the absolute continuity condition, preprint, arXiv:2501.10994
[27]

Ooi, Convergence of processes time-changed by Gaussian multiplicative chaos, Potential Analysis (Online first), https://doi.org/10.1007/s11118-025-10206-3

T. Ooi, Convergence of processes time-changed by Gaussian multiplicative chaos, Potential Analysis (Online first), https://doi.org/10.1007/s11118-025-10206-3

doi
[28]

Oshima, Semi-Dirichlet forms and Markov processes

Y. Oshima, Semi-Dirichlet forms and Markov processes. De Gruyter Studies in Mathematics, 48. Walter de Gruyter & Co., Berlin, 2013

2013
[29]

Revuz, Mesures Associees Aux Fonctionnelles Additives de Markov

D. Revuz, Mesures Associees Aux Fonctionnelles Additives de Markov. I. Transactions of the American Mathematical Society 48 (1970) 501–531. https://doi.org/10.2307/1995386. HOMEOMORPHISM OF THE REVUZ CORRESPONDENCE 27

1970 doi
[30]

Rudin, Real and complex analysis, third edition

W. Rudin, Real and complex analysis, third edition. McGraw-Hill, New York, 1987

1987
[31]

Sharpe, General theory of Markov processes, Pure and Applied Mathematics, 133, Academic Press, Boston, MA, 1988

M. Sharpe, General theory of Markov processes, Pure and Applied Mathematics, 133, Academic Press, Boston, MA, 1988

1988
[32]

Takeda, Explosion by Killing and Maximum Principle in Symmetric Markov Processes, preprint, arXiv:2406.15974

M. Takeda, Explosion by Killing and Maximum Principle in Symmetric Markov Processes, preprint, arXiv:2406.15974

arXiv
[33]

Volkonski ˘ ı, Random substitution of time in strong Markov processes, Teor

V .A. Volkonski ˘ ı, Random substitution of time in strong Markov processes, Teor. Veroyatnost. i Primenen. 3 (1958) 332–350. https://doi.org/10.1137/1103025

1958 doi
[34]

A. D. Wentzell, Non-negative additive functionals of Markov processes, Dokl. Akad. Nauk SSSR, 137 (1961) 17–20 https://www.mathnet.ru/eng/dan24689

1961
[35]

Whitt, Stochastic-process limits

W. Whitt, Stochastic-process limits. An introduction to stochastic-process limits and their application to queues. Springer-Verlag, New York, 2002. xxiv+602 pp

2002

Pith tools

Reviewed August 9, 2026 · model on record in the stance chip above.

[1] [24]

Nishimori, M

Y. Nishimori, M. Tomisaki, K. Tsuchida, T. Uemura, On a convergence of positive continuous additive functionals in terms of their smooth measures, Published online 2025:1-30. doi:10.4153/S0008414X25000173

doi:10.4153/s0008414x25000173 2025

[2] [1]

Andres, N

S. Andres, N. Kajino, Continuity and estimates of the Liouville heat kernel with applications to spectral dimensions, Probab. Theory Related Fields 166 (2016) 713-752. https://doi.org/10.1007/s00440-015-0670-4

work page doi:10.1007/s00440-015-0670-4 2016

[3] [2]

Az´ ema, Th´ eorie g´ en´ erale des processus et retournement du temps

J. Az´ ema, Th´ eorie g´ en´ erale des processus et retournement du temps. Annales scientifiques de l’´Ecole Normale Sup´ erieure, Serie 4, Volume 6 (1973) 459-519. doi:10.24033/asens.1256

work page doi:10.24033/asens.1256 1973

[4] [3]

Az´ ema, M

J. Az´ ema, M. Kaplan-Duflo, D. Revuz, Mesure invariante sur les classes r´ ecurrentes des processus de Markov, Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 8 (1967) 157–181. https://doi.org/10.1007/BF00531519

work page doi:10.1007/bf00531519 1967

[5] [4]

BenAmor, K

A. BenAmor, K. Kuwae, Feller property and convergence for semigroups of time-changed processes, preprint, arXiv:2411.19543

work page arXiv

[6] [5]

Beznea, N

L. Beznea, N. Boboc, Strongly supermedian kernels and Revuz measures, Ann. Probab. 29 (2001), 418–436. https://doi.org/10.1214/aop/1008956337

arXiv 2001

[7] [6]

Beznea, N

L. Beznea, N. Boboc, Smooth measures and regular strongly supermedian kernels generating sub-Markovian resolvents, ICPA98 (Hammamet). Potential Anal. 15 (2001) 77–87. https://doi.org/10.1023/A:1011276203807

work page doi:10.1023/a:1011276203807 2001

[8] [7]

Beznea, N

L. Beznea, N. Boboc, Fine Densities for Excessive Measures and the Revuz Correspondence. Potential Analysis 20 (2004) 61–83. https://doi.org/10.1023/A:1025527902503

work page doi:10.1023/a:1025527902503 2004