{"entities":{"Q882963":{"pageid":884811,"ns":120,"title":"Item:Q882963","lastrevid":65077032,"modified":"2026-04-12T00:10:02Z","type":"item","id":"Q882963","labels":{"en":{"language":"en","value":"On Tanaka formulae for \\((\\alpha, d,\\beta)\\)-superprocesses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5157273"}},"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":"Q882963$13304CF6-3024-4409-A215-22C7322D3C49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da67a092813e74522d16e3038977f7a2ca485c0f","datavalue":{"value":{"text":"On Tanaka formulae for \\((\\alpha, d,\\beta)\\)-superprocesses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882963$CF47B990-7570-46AC-808A-1C5CE87F8B63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c801503696daa104c783d4e29895bce3582c188","datavalue":{"value":"1123.60066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882963$E07EEC9A-8779-48BB-AAB8-6799881249F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882963$907E50A8-C121-4DC1-835C-3BE94E32C9EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"326d1aa492c2881fdbfbd9632ea765a7b6767976","datavalue":{"value":{"time":"+2007-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882963$EB5CEC47-CA2B-4C6E-9829-3EEABFF1C958","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c9017463888325126a696c2212603268cbf0b0c","datavalue":{"value":"This work treats \\((\\alpha, d, \\beta)\\)-superprocesses, and the aim of this paper is to establish Tanaka formulae for \\(( \\alpha, d, \\beta)\\)-superprocesses in dimensions where the local time exists, under the optimal initial condition.  More precisely, let \\({\\mathcal M}(\\mathbb R^d)\\) be the set of Radon measures on \\(\\mathbb R^d\\), and \\({\\mathcal M}_r(\\mathbb R^d)\\) the whole set of all elements \\(\\mu \\in {\\mathcal M}(\\mathbb R^d)\\) such that \\(\\langle \\mu, \\phi_r \\rangle < \\infty\\) with \\(\\varphi_r(x)=( 1 + | x |^2)^{- r}\\),  \\(x\\in \\mathbb R^d\\) for \\(r > d/2\\). \\({\\mathcal B}_b\\) denotes the family of all bounded Borel measurable functions on \\(\\mathbb R^d\\). A c\u00e0dl\u00e0g \\({\\mathcal M}_r(\\mathbb R^d)\\)-valued process \\(X =( X_t)_{t \\geq 0}\\) is called an \\(( \\alpha, d, \\beta)\\)-superprocess if it is a time homogeneous and strongly Markov process such that for all \\(\\varphi, \\psi\\in {\\mathcal B}_b^+\\),   \\[  {\\mathbb E} \\left\\{ \\exp \\left. \\left( - \\langle X_t, \\varphi \\rangle - \\int_0^t \\langle X_s, \\psi \\rangle \\,ds \\right) \\,\\right|\\, X_0 = \\mu \\right\\} = \\exp ( - \\langle \\mu, V_t ( \\varphi, \\psi ) \\rangle ), \\tag{1}  \\]  where \\(\\mu \\in {\\mathcal M}_r(\\mathbb R^d)\\), \\(\\langle \\mu, f \\rangle\\) denotes integral of \\(f\\) over \\(\\mathbb R^d\\) with respect to measure \\(\\mu\\), and \\(V_t(\\varphi, \\psi)\\) is the unique non-negative solution of   \\[  v_t = S_t^{\\alpha} \\varphi + \\int_0^t S_s^{\\alpha} \\psi\\, ds - \\int_0^t S_{t-s}^{\\alpha}( (v_s)^{1 + \\beta})\\, ds, \\quad t \\geq 0; \\tag{2}  \\]   see, e.g., [\\textit{I. Iscoe}, Probab. Theory Relat. Fields 71, 85--116 (1986; Zbl 0555.60034)]. If the weighted occupation time \\(Y_t(dx):=\\int_0^t X_s\\, ds\\), \\(\\forall t \\geq 0\\), is absolutely continuous with respect to Lebesgue measure on \\(\\mathbb R^d\\), then the local time of \\(X\\) at \\(x \\in \\mathbb R^d\\) is defined as   \\[ L_t^x := \\begin{cases}\\lim\\limits_{n \\to \\infty} \\langle Y_t, \\varphi_{n,x} \\rangle, &\\text{if it exists}, \\\\ 0, & \\text{otherwise}, \\end{cases}\\tag{3}  \\]   where \\(\\{ \\varphi_{n,x} \\}_{n \\geq 1}\\) is a sequence of non-negative functions on \\(\\mathbb R^d\\) such that \\(\\varphi_{n,x}(y) dy\\) converges weakly to the Dirac measure \\(\\delta_x\\) at \\(x\\) as \\(n \\to \\infty\\). For the \\(( \\alpha, d, \\beta)\\)-superprocess \\(X\\) with \\(X_0 \\not\\equiv 0\\), only when \\(d < \\alpha + \\alpha / \\beta\\), the local time \\(( L_t^x)\\) of \\(X\\) at \\(x \\in \\mathbb R^d\\) exists, and then its distribution does not depend on the choice of \\(\\{ \\varphi_{n, x} \\}_{n \\geq 1}\\), and for any \\(t > 0\\), \\(\\langle Y_t, \\varphi_{n, x} \\rangle\\to L_t^x\\) in probability as \\(n \\to \\infty\\). Moreover, when \\(X_0\\) is the Lebesgue measure or \\(X_0(dx)\\) \\(=\\) \\(h(x) dx\\) \\(\\not= 0\\) with \\(h \\in {\\mathcal B}_b^+\\), then the \\(( \\alpha, d, \\beta)\\)-superprocess \\(X\\) with \\(d < \\alpha + \\alpha / \\beta\\) has local time \\(( L_t^x)_{t \\geq 0}\\) for any \\(x \\in \\mathbb R^d\\) [cf. \\textit{K. Fleischmann}, Math.\\ Nachr.\\ 135, 131--147 (1988; Zbl 0655.60071) and \\textit{E. B. Dynkin}, [Ast\u00e9risque, 157-158, 147--171 (1988; Zbl 0659.60105); see also \\textit{R. J. Adler}, and \\textit{M. Lewin}, Stochastic Processes\\ Appl.\\ 41, No.~1, 45--67 (1992; Zbl 0754.60086) and \\textit{S. M. Krone}, Ann.\\ Probab.\\ 21, No.~3, 1599--1623 (1993; Zbl 0778.60056)]. Let \\(p_t^{\\alpha}( \\cdot)\\) be the transition density function of an \\(\\alpha\\)-stable process with generator \\(\\Delta_{\\alpha}\\) \\(=\\) \\(- ( - \\Delta)^{\\alpha / 2}\\). Then the author assumes:   (A.1): For fixed \\(x \\in \\mathbb R^d\\), \\(X_0 \\in {\\mathcal M}_r(\\mathbb R^d) \\setminus \\{ 0 \\}\\) satisfies   \\[  \\int_0^1 \\int_{\\mathbb R^d} p_s^{\\alpha}(x-y)\\, X_0 ( dy) \\,ds < \\infty.\\tag{4}  \\]   Then the local time \\(L_t^x\\) satisfies   \\[  {\\mathbb E}_{\\mu}^{\\alpha, \\beta} [ L_t^x] = \\int_0^t \\int_{\\mathbb R^d} p_s^{\\alpha} (x -y)\\, \\mu(dy) \\,ds,  \\]   and \\(L_t^x\\) is continuous in \\(t\\), \\({\\mathbb P}_{\\mu}^{\\alpha, \\beta}\\)-a.s. [cf. \\textit{E. B. Dynkin}, and \\textit{S. E. Kuznetsov}, Ann.\\ Probab.\\ 25, No.~2, 640--661 (1997; Zbl 0880.60079)], where \\(\\Omega = D_{ {\\mathcal M}_r(\\mathbb R^d) }\\) is the space of c\u00e0dl\u00e0g \\({\\mathcal M}_r(\\mathbb R^d)\\)-valued paths with Skorokhod topology, and \\({\\mathbb P}_{\\mu}^{\\alpha, \\beta}\\) denotes the law of \\(( \\alpha, d, \\beta)\\)-superprocess \\(X\\) on \\(\\Omega\\) with \\(X_0 = \\mu\\in {\\mathcal M}_r(\\mathbb R^d)\\). Define   \\[  G_{\\alpha}^{\\lambda}(y) := \\int_0^{\\infty} \\exp \\{ - \\lambda \\tau \\} p_t^{\\alpha} (y)\\, dt, \\quad \\forall \\lambda > 0, \\quad y \\in \\mathbb R^d. \\]   Then \\((-\\Delta_{\\alpha} + \\lambda) G_{\\alpha}^{\\lambda}( \\cdot - y) = \\delta_y\\) holds in the distribution sense for all \\(y \\in \\mathbb R^d\\). The following is the main result of this paper, which asserts that the Tanaka formulae of \\((\\alpha, d, \\beta)\\)-superprocesses \\(X\\) hold for all \\(t \\in [0, \\infty)\\).  Theorem. For \\(0 < \\beta \\leqslant 1\\), \\(0 < \\alpha \\leqslant 2\\) and \\(d < \\alpha + \\alpha / \\beta\\), let \\(X =( X_t)_{t \\geq 0}\\) be an \\(( \\alpha, d, \\beta)\\)-superprocess with \\(X_0 = \\mu\\) satisfying (A.1). Then for any \\(\\lambda \\in (0, \\infty)\\),  \\[  \\begin{aligned} \\langle X_t, G_{\\alpha}^{\\lambda} ( \\cdot - x) \\rangle = \\langle X_0, G_{\\alpha}^{\\lambda} ( \\cdot - x) \\rangle & + \\lambda \\int_0^t \\langle X_s, G_{\\alpha}^{\\lambda} ( \\cdot - x) \\rangle \\,ds\\tag{5}\\\\  + M_t( G_{\\alpha}^{\\lambda}( \\cdot - x)) & - L_t^x, \\quad \\forall t \\geq 0, \\quad {\\mathbb P}_{\\mu}^{\\alpha, \\beta}-a.s.\\end{aligned} \\]  holds, where \\(M_t( G_{\\alpha}^{\\lambda}( \\cdot - x))\\) is a c\u00e0dl\u00e0g \\({\\mathcal F}_t\\)-measurable, and for any \\(T \\in [0, \\infty)\\) and any \\(\\theta \\in [0, \\beta)\\),   \\[ \\begin{aligned} {\\mathbb E}_{\\mu}^{\\alpha, \\beta} \\left\\{ \\sup_{t \\leqslant T} | \\langle X_t, G_{\\alpha}^{\\lambda}( \\cdot - x) \\rangle |^{1 + \\theta} \\right\\} < \\infty, \\qquad & {\\mathbb E}_{\\mu}^{\\alpha, \\beta} \\left\\{ \\sup_{t \\leqslant T} | M_t( G_{\\alpha}^{\\lambda}( \\cdot - x)) |^{1 + \\theta} \\right\\} < \\infty, \\\\ \\text{and} \\qquad {\\mathbb E}_{\\mu}^{\\alpha, \\beta} \\left\\{ \\sup_{ t \\leqslant T} ( L_t^x)^{ 1 + \\theta} \\right\\} & = {\\mathbb E}_{\\mu}^{\\alpha, \\beta} \\left\\{ (L_T^x)^{1 + \\theta} \\right\\} < \\infty \\end{aligned}  \\]   hold, where \\(( {\\mathcal F}_t )\\) is a filtration given by \\({\\mathcal F}_t = \\bigcap_{s > t} \\sigma( X_u, u \\leqslant s)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q882963$9FC6B311-6AF5-43E0-9A20-A3565304689A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"017530053cdce0db1ed588563a178c9e95e3ac09","datavalue":{"value":{"entity-type":"item","numeric-id":190604,"id":"Q190604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882963$A69E0C06-5AED-4C75-882C-A9FD57204938","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e0e439813fbf5e4d372bca5db5b7a21ee3e3e8d","datavalue":{"value":"60J55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882963$393EC3E4-3068-4621-85B4-7702494465A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb49b8508392362aa740e2b183cb1e8550ee8efb","datavalue":{"value":"60G57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882963$1309C596-2BE2-46AD-89F3-034E64794853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c506f797ec4a8bb75510c9e0faf4d20dcdf029d0","datavalue":{"value":"5157273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882963$0BB2ABF0-1D5C-4AE5-A641-89D53FF9A704","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816106b39d6078bf67e19c5be961854b9387bc66","datavalue":{"value":"Local time","type":"string"},"datatype":"string"},"type":"statement","id":"Q882963$51D41157-740C-4C64-9DC7-E8D093DB9255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62051da47ec7a0a6200dcfd6b35925875c55e157","datavalue":{"value":"Tanaka formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q882963$382CDC7E-73B9-4C99-83EC-F889A80D86FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e4864b368f5edfa1ff63a4e9d604c3620f2a6a2","datavalue":{"value":"superprocess","type":"string"},"datatype":"string"},"type":"statement","id":"Q882963$B00B1E30-9CC1-4C8F-B686-CB3F43D44CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"723dfb00d7b1b7e012e3064fdd2d9c7a4903fe8a","datavalue":{"value":"weighted occupation time","type":"string"},"datatype":"string"},"type":"statement","id":"Q882963$7CA3DC70-157B-4F41-BB9B-BE9DD4AD127F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdb8d0d0c6f28d732265cc66daa74d1c1e2ef168","datavalue":{"value":{"entity-type":"item","numeric-id":414637,"id":"Q414637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882963$08CD036C-578B-4936-BBC5-380F1D119272","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882963$96AA560F-C8BD-4E9E-9613-95375FC98015","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd065512af46f6eccd3bb7582aa4dc62c4df8bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1827457,"id":"Q1827457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3801601d13b2764af0a85bff4535e72037d42788","datavalue":{"value":{"amount":"+0.9316762685775756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882963$238E42DD-BACB-417F-9AD9-FC5100E48487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5deb56ad92e425eea3f9cc999c923a688404f454","datavalue":{"value":{"entity-type":"item","numeric-id":1198553,"id":"Q1198553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba00b620454057b7968b30f4342f963045ce72a","datavalue":{"value":{"amount":"+0.8781955242156982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882963$2DA83CB1-4B30-459B-AF8D-D6F3713548C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b8cb092db10c045b0a99b9dabec3457d65fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":5227566,"id":"Q5227566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f4d18cb30084655f915b4c91c2e618337bf198","datavalue":{"value":{"amount":"+0.8673341870307922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882963$B7AF47CF-AC7F-4240-AEA5-9654BC33AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e05b3c4afdbc885e46ec08be4b251c8600394c","datavalue":{"value":{"entity-type":"item","numeric-id":3419651,"id":"Q3419651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdc985fc08768f22e1f94237cf6e18e50d2c289","datavalue":{"value":{"amount":"+0.857327401638031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882963$4567CB11-DB63-4BEE-B450-D32D93817AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf150cd474574d247d57ceb496e136437295ce03","datavalue":{"value":{"entity-type":"item","numeric-id":3423694,"id":"Q3423694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb7b370b52adfa9690e7e71360bbfcf966a3493","datavalue":{"value":{"amount":"+0.841435432434082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q882963$296AB76A-AFAA-4253-8033-A04082465B31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Tanaka formulae for \\((\\alpha, d,\\beta)\\)-superprocesses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Tanaka_formulae_for_%5C((%5Calpha,_d,%5Cbeta)%5C)-superprocesses"}}}}}