{"entities":{"Q5932125":{"pageid":8108927,"ns":120,"title":"Item:Q5932125","lastrevid":97629110,"modified":"2026-06-05T15:07:33Z","type":"item","id":"Q5932125","labels":{"en":{"language":"en","value":"A family of diffusion processes on Sierpi\u0144ski carpets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1595268"}},"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":"Q5932125$AD8B7BD7-0FEB-4362-9B24-9F335306E8E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0422c9098a1cc9c42a0d5cd613a7b3ed125332d0","datavalue":{"value":{"text":"A family of diffusion processes on Sierpi\u0144ski carpets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932125$27FD2BF5-73A9-42B9-B6A5-9FDAF62F7032","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b653341ea869366ad039f33fe2b8c33a33cf6ebf","datavalue":{"value":"0990.60076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932125$7E8D262D-6BB9-424D-8510-88754333C133","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99e5def4df888bbb760838cf8567890d359d688","datavalue":{"value":{"entity-type":"item","numeric-id":177310,"id":"Q177310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932125$618D33D7-C61E-469F-9A34-EB473DD31412","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfd9fe0ffe645990a25b4b0074538b646a1d9a19","datavalue":{"value":{"time":"+2002-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5932125$4A222F37-1BE8-4AF9-80BA-7B76A8E5C141","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"165a8576f1d7f8ec642aa6d3a197d643b26f134c","datavalue":{"value":"Let \\(F\\) be the unbounded \\(d\\)-dimensional Sierpi\u0144ski carpet, \\(B_{i}\\) be the set of all \\(x \\in F\\) with an integer \\(i\\)-coordinate and noninteger \\(j \\neq i\\) coordinates, \\(B =\\) \\(\\bigcup_{i} B_{i}\\), \\(B^{n} = 3^{- n} B\\), \\(A^{n} = B^{n+1} \\backslash B^{n}\\), \\(A^{\\infty} = \\bigcup_{n \\in {\\mathbb Z}} A^{n}\\), \\(A = A^{0} \\cap F \\cap [0,1]^{d}\\), \\(d_{H} = \\log(3^{d}-1)/\\log 3\\) (the Hausdorff dimension of \\(F\\)). Since \\(A^{\\infty}\\) is a disjoint union of \\((d-1)\\)-dimensional cubes, consider the sum \\(\\lambda\\) of the corresponding Lebesgue measures. Let \\(m:A \\rightarrow [ 0,\\infty)\\) be lower semicontinuous, \\(\\int m d \\lambda \\in(0,\\infty)\\) and let \\(d_{H} < \\alpha < \\infty\\). Construct a measure \\(\\mu = \\mu^{[ \\alpha,m ]}\\) on \\(F\\) such that on \\(A\\) it is \\(cm\\lambda\\) with a constant \\(c\\), \\(\\mu(3 X) = 3^{\\alpha} \\mu(X)\\), \\(\\mu(X+a) = \\mu(X)\\) if \\(X \\subset F \\cap(0,1^{) d}\\) and \\(a \\in {\\mathbb Z}^{d}\\), \\(\\mu(F \\cap(0,1)^{d}) = 1\\) and \\(\\mu\\) is concentrated on \\(A^{\\infty} = \\bigcup_{n \\in {\\mathbb Z}} 3^{n} A^{0}\\). Consider \\({\\mathcal D}_{0} \\subset L^{2}(\\mu)\\) consisting of all (restrictions to \\(F\\) of) Lipschitz functions \\(f\\) with compact support such that \\(D(f,f) =(1/2) \\sum(\\partial f/\\partial x_{i})^{2}\\) is in \\(L^{\\infty}(\\lambda)\\) and \\(\\nabla_{N} f = 0\\) \\(\\lambda\\)-a.e., where \\(\\nabla_{N}\\) is the derivative in the direction perpendicular to ``the \\((d-1)\\)-dimensional cube'', and \\({\\mathcal E}(f,f) = \\int D(f,f) d \\mu\\).    The author proves that \\(({\\mathcal E},{\\mathcal D}_{0})\\) is a closable Dirichlet form and that its closure \\(({\\mathcal E},{\\mathcal D})\\) is strongly local, regular, in the sense of \\textit{M. Fukushima, Y. Oshima} and \\textit{M. Takeda} [``Dirichlet forms and symmetric Markov processes'' (1994; Zbl 0838.31001)]; let \\(P_{t}\\) be the transition probabilities of the diffusion corresponding to \\(({\\mathcal E},{\\mathcal D})\\), \\(\\mu^{n} = \\chi_{_{A} n} \\mu\\), \\(\\sigma^{n}(S) = \\liminf_{\\varepsilon \\downarrow 0} \\mu^{n}(S^{\\varepsilon} \\backslash S)\\), \\(S^{\\varepsilon} = \\{x;d(x,S) \\leq \\varepsilon \\} \\), \\(\\sigma = \\sum_{n \\in {\\mathbb Z}} \\sigma^{n}\\). For an open \\(G \\subset {\\mathbb R}^{d}\\) consider the family \\(Q(G)\\) of all bounded open \\(H\\) with a piecewise smooth boundary \\(\\partial H\\) and \\(\\mu(H) \\in(0,\\mu(G)/2)\\) and define \\({\\mathcal I}_{\\mu}(G) = \\inf_{H \\in Q(G)}(\\sigma(\\partial H \\cap G)/\\mu(H \\cap G)^{1-(1/\\alpha)})\\). If  \\[ {\\mathcal I}_{\\mu}({\\mathbb R}^{d}) > 0,\\tag{1} \\]  the author proves that for quasi all \\(x \\in F\\), \\(P_{t}(x,\\cdot) = p(t,x,\\cdot) \\mu\\) with \\(p(t,x,y) \\leq c ' t^{- \\alpha/2} e^{- c |x-y |^{2}/t}\\) for all \\(t,y\\). If moreover  \\[ \\text{ for all }C = a+(F \\cap [ 0,1 ]^{d}) \\subset F,\\;a \\in {\\mathbb Z}^{d},\\text{ we have }\\inf_{\\delta \\in D}({\\mathcal I}_{\\mu}(C^{\\delta})) > 0, \\]  where \\(D\\) is the set of all \\((1/2) 3^{- n}+b\\), \\(b = 1/3\\), \\(1/9\\), \\(n \\geq 2\\), together with \\(1/2\\), then, for every compact \\(I \\subset(0,\\infty)\\), \\(K \\subset F\\), \\(p(t,x,y) \\geq c(I,K) > 0\\) for all \\((t,y) \\in I \\times K\\), quasi for all \\(x \\in K\\). The conditions (1), (2) are implied by: \\(\\inf m > 0\\), \\(\\sup m < \\infty\\). If \\(\\alpha < d_{H}+2\\) and (1), (2) are valid, then the Hausdorff measure \\(\\nu_{H}\\) charges no set of \\(0\\) capacity. The same conclusions are stated for \\(D^{a}(f,f) =(1/2) \\sum a_{ij}(\\partial f/\\partial x_{i})(\\partial f/\\partial x_{j})\\) with uniform elliptic and uniformly bounded \\((a_{ij})\\).    Titles of paragraphs in the proofs: Nash and Poincar\u00e9 inequalities, parabolic Harnack inequalities and lower bounds, time change with respect to the Hausdorff measure, a covering and the global isoperimetric inequality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932125$9A8DD257-01ED-4168-8124-E3F90B4B87B7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"240665897b6aaa15b127c0c4fb4b9de94cd94446","datavalue":{"value":{"entity-type":"item","numeric-id":1400142,"id":"Q1400142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932125$CF263829-B874-4405-A054-DCCC1A08C8F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2823797a7ed5886f5555bd10af24fd0d7821c4f3","datavalue":{"value":"60J60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932125$705488AF-62B2-478F-AD78-AD80CDC48197","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b881c851d06cb984dd68fac026788ca3c08ea00","datavalue":{"value":"1595268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932125$ECA58F28-8EA4-4EF2-BAF5-8D56FE029695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01e666af26bb459e952d11754e0f7c9f7f27c56","datavalue":{"value":"Sierpinski carpet","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932125$F79BED23-F7D4-41DC-A4E0-4C33A35CE9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25e29b85f5cf398c55042a1b7906ef77ce87b97f","datavalue":{"value":"Dirichlet form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932125$180A6925-FE80-4468-9B76-5053B69D403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f87a7c8a0b5cb39f4ecc9cfd7b184a2c3c2f3b0","datavalue":{"value":"diffusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932125$7105A098-593B-44CD-89F3-E310AB3B4B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c24751b53a4dc6ca4e8fa8c37a6bc0e592b082a","datavalue":{"value":"transition density","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932125$987C6D57-0B82-4F0E-AD14-D2AB925E3EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503eef430877388010a1feeac5f5a36a3dfe3fb2","datavalue":{"value":"Hausdorff measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932125$0034CB45-228E-4734-9DBE-CFC470EEB97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"373b35b8cbb4ef2bd546becf72a1ea227eb23693","datavalue":{"value":"parabolic Harnack and isoperimetric inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932125$D0ADE59C-B28A-4CD7-8857-4E64B51B1382","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":"Q5932125$B90FAFBD-4464-47BA-966B-481979327010","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a1b79fd2c195dbe6cdc0f75dfad41f35abf6174","datavalue":{"value":"10.1007/S004400000108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932125$CADBD91E-F6BA-4DF1-A838-D1607C9D407D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3e4ddda27c7b76772b0a1708a44a37e8574d8b29","datavalue":{"value":{"entity-type":"item","numeric-id":3036360,"id":"Q3036360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932125$B7400C7C-09E3-48F6-A8C1-5059FB05491C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75babbb425b801a2b1a5cb5c26e5eff54964f76","datavalue":{"value":{"entity-type":"item","numeric-id":4544396,"id":"Q4544396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2593392e26a1b6720e3ec2e03c31e11d0089a026","datavalue":{"value":{"amount":"+0.8181098103523254","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":"Q5932125$B2509971-BBB7-4D6F-B3A9-F88550424335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc281485a8399a0ac71d067ae0f143f16832b124","datavalue":{"value":{"entity-type":"item","numeric-id":909353,"id":"Q909353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc462b3e4d68c8d129485982c7996d81ff5a335","datavalue":{"value":{"amount":"+0.8107188940048218","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":"Q5932125$C519241F-3274-4E7D-AF2E-04983577F57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda870841c22b1520236859faa2bc20fa9db8498","datavalue":{"value":{"entity-type":"item","numeric-id":2490051,"id":"Q2490051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe42d283d78a9addb8b51af1fdda33b51cd95f6","datavalue":{"value":{"amount":"+0.809844970703125","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":"Q5932125$C3A88FD4-9E4C-4541-B6AA-1A00AB70FA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42df0bad501658e4e9b596ecde6e4b9dd8f796db","datavalue":{"value":{"entity-type":"item","numeric-id":1574805,"id":"Q1574805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67305f3f14d0f9fbd6789e795245c8fe15e77bc","datavalue":{"value":{"amount":"+0.8010005950927734","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":"Q5932125$8091CE0F-3587-4ABA-B389-A764AB550EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de41c82549e0ad579fa40410e9192a6efdcf150","datavalue":{"value":{"entity-type":"item","numeric-id":4266172,"id":"Q4266172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d487e0768df4ecd8b67a4ba3019a329e373ed405","datavalue":{"value":{"amount":"+0.7996466755867004","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":"Q5932125$E62B5EB9-B4B3-4DA6-AD77-2B32DAF87C8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A family of diffusion processes on Sierpi\u0144ski carpets","badges":[]}}}}}