{"entities":{"Q5955167":{"pageid":8131969,"ns":120,"title":"Item:Q5955167","lastrevid":47740327,"modified":"2026-01-02T14:05:33Z","type":"item","id":"Q5955167","labels":{"en":{"language":"en","value":"Comparison theorems for exit times"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1703313"}},"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":"Q5955167$E97DDEC6-B628-485C-A78E-705312D9E61E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0079721242bf531e71e8467afbc896682216e01e","datavalue":{"value":{"text":"Comparison theorems for exit times","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955167$12FE2EA6-6199-4C5C-BC1A-AFF04EC9622C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86adee1fa2f8ac8c601ba4b0be4f2162a403f126","datavalue":{"value":"0995.60018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955167$EEC26FCF-99D8-46F9-A137-A1FF4FDF1C4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"073516e3349235de33de20586735e5202aeb090d","datavalue":{"value":"10.1007/PL00001681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955167$E455C71D-75E4-4F86-9B28-B830C350868F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3f249fa49f09a58529bc5562087ab427fb641","datavalue":{"value":{"entity-type":"item","numeric-id":525509,"id":"Q525509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955167$9F3177F5-D947-4EB5-8BBD-E372B553265F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b4cbdefe0ad2ee3c7e12b4295e6e4f93bcde1ba","datavalue":{"value":{"entity-type":"item","numeric-id":1312322,"id":"Q1312322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955167$B99138C1-1F9B-4BC1-8FAA-F301BC1FED2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9f7ed99dde37a1ed2b712f0eb37bcc96b8743b93","datavalue":{"value":{"entity-type":"item","numeric-id":172246,"id":"Q172246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955167$9070AB6B-FF74-479F-9594-A3FD6E92D0C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"823da9fe56b47703dab41bcbcac401af118423d2","datavalue":{"value":{"time":"+2002-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5955167$930D9679-AF82-464F-8A5C-2A58D2A8F77B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"59b92acbde10c128d6133e0f32bf4af642a84ed8","datavalue":{"value":"Let \\(\\mathbb M_{\\kappa}\\) be the sphere, the Euclidean space or the hyperbolic space, with curvature \\(\\kappa\\), and \\(X_t\\) a Brownian motion on \\(\\mathbb M_{\\kappa}\\). If \\(A\\) is a Borel set of finite volume and \\(T_A:=\\inf\\{t>0:\\;X_t\\not\\in A\\}\\), denote by \\(u_A(t,x)\\) the probability \\(P_x\\{T_A>t\\}\\), where \\(x\\) is the starting point of \\(X_t\\).    Theorem 1. Let \\(A^*\\) be an open geodesic disc of the same volume as \\(A\\), and \\(F\\) a convex increasing function. Then  \\[  \\int_A F(u_A(t,x)) dx \\leq \\int_A F(u_A^*(t,x)) dx, \\]  where equality for non-constant \\(F(u_A^*(t,\\cdot))\\) holds only when there is a disc \\(D\\) for which \\(A-D\\) has zero volume and \\(D-A\\) is a polar set.    This statement can be reformulated in the form:  \\[  \\int_B u_A(t,x) dx \\leq \\int_{B^*} u_A^*(t,x) dx, \\]  for any Borel set \\(B\\subset A\\). Theorem 1 can be applied to inequalities of exit times and the spectrum of Dirichlet heat kernels.    Fix a point \\(x^*\\in \\mathbb M_{\\kappa}\\). The spherical rearrangement \\(A^*\\) of a set \\(A\\subset\\mathbb M_{\\kappa}\\) of finite volume is the disc centred at \\(x^*\\) with the same volume as \\(A\\). If \\(f\\) is a nonnegative measurable function ``vanishing at infinity'', its spherically decreasing rearrangement \\(f^*\\) is the non-increasing and lower semicontinuous function of the distance \\(d(x,x^*)\\) which is equimeasurable with \\(f\\).    Theorem 2. Denote  \\[  \\mathcal J(f_1,\\dots,f_n):= \\int\\cdots\\int \\prod_{1\\leq i\\leq n} f_i(x_i) \\prod_{1\\leq i<j\\leq n} k_{ij}(x_i,x_j) dx_1\\cdots dx_n, \\]  where the kernels \\(k\\) are nonincreasing functions of distance. Then, for any nonnegative measurable functions \\(f_1,\\dots,f_n\\) on \\(\\mathbb M_{\\kappa}\\), \\( \\mathcal J(f_1,\\dots,f_n) \\leq \\mathcal J(f_1^*,\\dots,f_n^*),\\) where the \\(f^*\\) are the spherically decreasing rearrangements of the \\(f\\) about a point \\(x^*\\in\\mathbb M_{\\kappa}\\).    Theorem 2 allows to prove the above reformulation of Theorem 1, taking limits as \\(n\\to\\infty\\).    Theorem 3: If \\(P^t\\) is the heat semigroup on \\(\\mathbb M_{\\kappa}\\), \\(A\\) is a Borel subset of finite volume, and \\(\\text{Per}(A)\\) denotes its perimeter, then  \\[  \\text{Per}(A) \\geq \\varlimsup_{t\\to 0^+} \\sqrt{\\pi/t}\\int_{A^c} P^t_A, \\]  with equality if the boundary of \\(A\\) is twice continuously differentiable.    From Theorem 3, one obtains  \\[  \\text{Per}(A)=\\lim_{t\\to 0^+} \\sqrt{\\pi/4t} \\int_A (1-u_A(t,x)) dx,  \\]  for sufficiently regular subsets of \\(\\mathbb M_{\\kappa}\\). Theorem 1 with \\(F(z)=z\\) is equivalent to  \\[  \\int_A (1-u_A(t,x)) dx \\geq \\int_{A^*} (1-u_A^*(t,x)) dx.  \\]  Taking \\(\\lim_{t\\to 0^+}\\) and applying the equality above, the isoperimetric inequality is obtained: \\(\\text{ Per}(A)\\geq \\text{Per}(A^*)\\). Theorem 3 and the equality for the perimeter are true in more general Riemann manifolds. The paper ends with two conjectures regarding possible generalisations of Theorem 1 and Theorem 2 to Riemann manifolds of non-constant curvature.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955167$7BF0E3B1-493F-4648-A610-CAA97CEB076D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8627f73423aa2723da307ed928402031c036c48a","datavalue":{"value":{"entity-type":"item","numeric-id":180805,"id":"Q180805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955167$8EC697E0-8BAB-4C57-8756-AB98D25FAAB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fedc54d041dbaf3922f156ba09e5514c44ab5169","datavalue":{"value":"60E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955167$E9869B94-1020-4E21-8ED0-DD9C208E3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7db897d4e2275701224c35a71153955ddd66c033","datavalue":{"value":"58J35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955167$CC65B6CD-37C3-4A28-9DE3-DD7C8859FB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b27a9dd329983c5b25a374d752bed299934c73d","datavalue":{"value":"60J65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955167$4F1A764D-EE27-4BBB-8BA2-A8A175592BED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d03a811a4b5b79f47cca31255555a50a74f4c65","datavalue":{"value":"1703313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955167$4B682557-0D99-4924-84BA-EF2E9275C362","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da99f60c2b35bab9d5cce1b8371abb4e0525241","datavalue":{"value":"exit times","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955167$64C75867-461A-43C9-B389-79E462876FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86b2f6b9561b40f3a2aea76f2c71f3fdebb14087","datavalue":{"value":"isoperimetric inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955167$3BA0479D-9580-4BAA-8D54-905E5843EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85e37e5449e88325cb3c53c790b560876baf2745","datavalue":{"value":"heat kernels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955167$2125875D-62AD-4549-BE26-3E7D9DCB734D","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":"Q5955167$DF7C0577-8A50-4A1C-B2B7-BF9E901A968A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"675320584541aee0568cb7041251923747e53d0a","datavalue":{"value":"https://doi.org/10.1007/pl00001681","type":"string"},"datatype":"url"},"type":"statement","id":"Q5955167$88EAB250-15E6-47CD-9611-C9C6C8CCC920","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a93e37c7f2f69034877ad6facb97b2e40fc46386","datavalue":{"value":"W2162337698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955167$CDC1073A-6F4F-4AEA-9600-5E628EA4E4A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2dc20ea27baacf1cd4cc895098c06d93bebb28d","datavalue":{"value":{"entity-type":"item","numeric-id":1950471,"id":"Q1950471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229aea867c0772eb637ee5f1b0b7047758b8c12f","datavalue":{"value":{"amount":"+0.7979950904846191","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":"Q5955167$3C46D77A-F9D4-4E82-BAD5-73AC0CD579EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2402dabc26759c130b80dafcd210b57d75075b4a","datavalue":{"value":{"entity-type":"item","numeric-id":640001,"id":"Q640001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1349ea22cc1d5afcd06b539ef58a7707766c9cf6","datavalue":{"value":{"amount":"+0.7759294509887695","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":"Q5955167$2BDE495E-AED4-4E5A-9102-E9A4C7D4DCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9df694131e29c168372ba1f5c4d0cb15ac4c4d27","datavalue":{"value":{"entity-type":"item","numeric-id":4387092,"id":"Q4387092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e54ff4874dbb2aba60ed731f091fdb1126f9c5","datavalue":{"value":{"amount":"+0.7602459788322449","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":"Q5955167$21DAB940-3778-43CB-80D0-C31E41C4D31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667c2c73cbe6f21ff3b3a3a087b89077ac1e621b","datavalue":{"value":{"entity-type":"item","numeric-id":3759247,"id":"Q3759247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7bca25349507271bcc1ac55e0eec2b21f9daba","datavalue":{"value":{"amount":"+0.7571867108345032","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":"Q5955167$CA0104D6-7E38-4BED-A9BB-50E8B9ACDC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f00af3a3b8a99f9259fdbab659fb7b61e6d1c92e","datavalue":{"value":{"entity-type":"item","numeric-id":2339364,"id":"Q2339364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe6515da0ff2879d566e4a9ff61448fc24bfb29","datavalue":{"value":{"amount":"+0.7566133737564087","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":"Q5955167$9DA549D6-E775-42C7-AF5B-D5DDDF41AED4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5955167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5955167"}}}}}