{"entities":{"Q888542":{"pageid":890390,"ns":120,"title":"Item:Q888542","lastrevid":57224763,"modified":"2026-03-27T13:14:18Z","type":"item","id":"Q888542","labels":{"en":{"language":"en","value":"Multifractal analysis of superprocesses with stable branching in dimension one"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6502687"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888542$B7DA322A-8F4A-4AE8-9CFD-F47854D392E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0da2c1b095ba440dcf434398c2c58ce573b33008","datavalue":{"value":{"text":"Multifractal analysis of superprocesses with stable branching in dimension one","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q888542$0875A2D9-5968-4BCF-8B68-2A97BC88C943","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0b61b473732b2dabdcca6e64d582dc9c9791b4c","datavalue":{"value":"1332.60122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888542$35EDCFE6-F555-4161-80C0-0ED9A76ECBFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14de28c6532dd727dae5f721f6fe624d8c5723dd","datavalue":{"value":"10.1214/14-AOP951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q888542$02ED720E-2F83-4520-A595-7304BE1B7A83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cff77d7ddcdf1719678760bafe86e2897ac650bc","datavalue":{"value":{"entity-type":"item","numeric-id":281499,"id":"Q281499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888542$89F6A489-0870-4FCE-B720-7693F956CF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3354e9bd5936b8dcdce9e9c547e595eff610858","datavalue":{"value":{"entity-type":"item","numeric-id":287767,"id":"Q287767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888542$2B157BB6-B782-4086-84E3-2BEFE5C37929","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c9d829dece3e2d330deed49a6cb836edc666e294","datavalue":{"value":{"entity-type":"item","numeric-id":107063,"id":"Q107063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q888542$731C6611-A643-4069-A56C-CB7ECF8041C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fedb92f8006ce865a5ead1bfbb356102d7f9117a","datavalue":{"value":{"time":"+2015-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q888542$421422BC-180A-4E05-965C-75237C1E32EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4c5adbb6032205f4b585ca456f5bec16e67c736","datavalue":{"value":"https://arxiv.org/abs/1508.02081","type":"string"},"datatype":"url"},"type":"statement","id":"Q888542$5C51D052-9A51-4377-AC7A-49F45093A5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d67dfe7d1a634cb050fd4ae9ffcefe0f325c251d","datavalue":{"value":"https://projecteuclid.org/euclid.aop/1441792298","type":"string"},"datatype":"url"},"type":"statement","id":"Q888542$747C36ED-1AD6-4A9D-A14C-EA37AAC91444","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7608f16d4c06dc163634b66b6ddf890fd33841f1","datavalue":{"value":"The paper under review concerns the multifractal analysis of superprocesses with stable branching in dimension one. The \\((\\alpha, d, \\beta)\\)-superprocess \\(X_t\\) in \\(\\mathbb{R}^d\\) is a finite measure-valued process related to the log-Laplace equation \\[ \\frac{du}{dt}= - (-\\Delta)^{\\alpha/2} u + a u -b u^{1+\\beta}, \\] where \\(a\\in \\mathbb{R}\\) and \\(b>0\\) are fixed constants and \\(0<\\alpha \\leq 2, \\beta \\in (0, 1]\\). The fractional Laplacian \\(\\Delta_{\\alpha} = - (-\\Delta)^{\\alpha/2}\\) determines a symmetric \\(\\alpha\\)-stable motion in \\(\\mathbb{R}^d\\) of index \\(\\alpha \\in (0, 2]\\) and its continuous-state branching mechanism \\(v\\mapsto -av +bv^{1+\\beta}\\) for \\(v\\geq 0\\). \\textit{K. Fleischmann} [Math. Nachr. 135, 131--147 (1988; Zbl 0655.60071)] showed that the process \\(X_t\\) is almost surely absolutely continuous with respect to the Lebesgue measure for \\(d<\\frac{\\alpha}{\\beta}\\) and \\(a=0\\); \\textit{N. Konno} and \\textit{T. Shiga} [Probab. Theory Relat. Fields 79, No. 2, 201--225 (1988; Zbl 0631.60058)] showed that there is a continuous version of the density of \\(X_t\\) for all \\(\\alpha > 1\\) and \\(\\beta =1\\); \\textit{K. Fleischmann} et al. [Ann. Probab. 38, No. 3, 1180--1220 (2010; Zbl 1207.60055)] showed that there is a continuous version of the density of \\(X_t\\) if \\(d=1\\) and \\(\\alpha > 1+\\beta\\), otherwise the density is unbounded on open sets of positive \\(X_t(dx)\\)-measure, and the optimal index for local H\u00f6lder continuity of \\(X_t\\) is determined as \\(\\eta_c=\\frac{\\alpha}{1+\\beta}-1 \\in (0, 1)\\). The main result of the paper under review is Theorem 1.2 (Multifractal spectrum) that the Hausdorff dimension \\(D_U(\\eta)\\) with probability one is given by \\((1+\\beta)(\\eta - \\eta_c)\\) for any open set \\(U\\subset \\mathbb{R}\\) and \\(\\eta \\in [\\eta_c, \\overline{\\eta}_c)\\setminus \\{1\\}\\) whenever \\(X_t(U) > 0\\), where \\(\\overline{\\eta}_c = H_X(x) = \\frac{\\alpha - \\beta}{1+\\beta}\\). The result fails in the case \\(\\eta=1\\) due to the critical borderline between differentiable and nondifferentiable functions. Section 2 starts with some estimates for the transition kernel of the \\(\\alpha\\)-stable motion and a bound for stable processes. By the martingale decomposition of the \\((\\alpha, 1, \\beta)\\)-superprocess \\(X\\), the density function of \\(X_t(dx)\\) can be decomposed into \\(Z^1(x)=\\mu \\star p_t^{\\alpha}(x)\\) (twice differentiable), \\(Z^2(x) =\\int_{(0, t]\\times R}M(d(s, y))p^{\\alpha}_{t-s}(y-x)\\) (jumps of the martingale measure \\(M\\) try to destroy smoothness of \\(X_t\\) and \\(p^{\\alpha}\\) tries to make \\(X_t\\) smoother) and \\(Z^3(x)= a\\int_{(0, t]\\times \\mathbb R}I(d(s, y))p^{\\alpha}_{t-s}(y-x)\\) (H\u00f6lder continuous of index \\(\\alpha 1_{\\overline{\\eta}_c >1} +1_{\\overline{\\eta}_c \\leq 1}\\)). Lemma 2.6 shows that \\(\\frac{dZ^3(x)}{dx}\\) is \\(P\\)-a.s. H\u00f6lder continuous with any exponent \\(\\eta < \\alpha -1\\) and \\(\\beta < (\\alpha -1)/2\\). Section 3 is devoted to the proof of the upper bound for the Hausdorff dimension in Proposition 3.1, which depends on the construction of a random set \\(S_{\\eta}\\) such that \\(\\dim S_{\\eta} \\leq (1+\\beta) (\\eta - \\eta_c)\\) \\(P\\)-a.s. in Lemma 3.3. Lemma 3.12 shows H\u00f6lder continuity with index \\(\\eta - 2 \\alpha \\gamma\\) for \\(Z^2\\) on the domain \\((0, 1)\\setminus S_{\\eta}(J)\\). Section 4 is devoted to the proof of the lower bound for the Hausdorff dimension for \\(Z^2\\) with \\(\\eta \\in (\\eta_c, \\overline{\\eta}-c)\\setminus \\{1\\}\\) almost surely on \\(X_t(0, 1)>0\\) in Proposition 4.1. The proof of Proposition 4.1 is more involved than the proof of the upper bound. The strategy is to derive some uniform estimate on the masses of \\(X_s\\) of dyadic intervals at time \\(s\\) close to \\(t\\) (Section 4.1), then to construct a set \\(\\tilde{J}_{\\eta, 1}\\) with \\(\\dim \\tilde{J}_{\\eta, 1} \\geq (1+\\beta) (\\eta - \\eta_c)\\) on those big jumps of \\(X\\) that occur close to time \\(t\\) (Section 4.2), to link those jumps with the ones of the auxiliary processes \\(L^+\\), and to further understand the compensation of the impact of the jumps of \\(X\\) encoded in \\(L^+\\). The most difficult part is to show that a compensation is possible on a set of Hausdorff dimension strictly smaller than \\((1+\\beta) (\\eta - \\eta_c)\\) and hence does not influence the dimension lower bound in Proposition 4.1. Hence Theorem 1.2 follows. The multifractal spectrum results in this paper for \\(1