2025-11-10T03:14:54.813169

Slow polynomial mixing, dynamical Borel-Cantelli lemma and Hausdorff dimension of dynamical diophantine sets

Daviaud
In this article, we establish optimality results regarding the dynamical Borel-Cantelli lemma and the the Hausdorff dimension of certain dynamical diophantine sets.
academic

рдзреАрдореА рдмрд╣реБрдкрдж рдорд┐рд╢реНрд░рдг, рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ рдФрд░ рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХрд╛ Hausdorff рдЖрдпрд╛рдо

рдореВрд▓ рдЬрд╛рдирдХрд╛рд░реА

  • рдкреЗрдкрд░ ID: 2505.21464
  • рд╢реАрд░реНрд╖рдХ: рдзреАрдореА рдмрд╣реБрдкрдж рдорд┐рд╢реНрд░рдг, рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ рдФрд░ рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХрд╛ Hausdorff рдЖрдпрд╛рдо
  • рд▓реЗрдЦрдХ: E. Daviaud (рд▓реАрдЬ рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп)
  • рд╡рд░реНрдЧреАрдХрд░рдг: math.NT (рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд), math.DS (рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА), math.MG (рдореАрдЯреНрд░рд┐рдХ рдЬреНрдпрд╛рдорд┐рддрд┐)
  • рдкреНрд░рдХрд╛рд╢рди рд╕рдордп: 25 рдЕрдХреНрдЯреВрдмрд░ 2025 (arXiv v2)
  • рдкреЗрдкрд░ рд▓рд┐рдВрдХ: https://arxiv.org/abs/2505.21464

рд╕рд╛рд░рд╛рдВрд╢

рдЗрд╕ рдкреЗрдкрд░ рдореЗрдВ, рд▓реЗрдЦрдХ рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ рдФрд░ рдХреБрдЫ рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХреЗ Hausdorff рдЖрдпрд╛рдо рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ рдЗрд╖реНрдЯрддрдо рдкрд░рд┐рдгрд╛рдо рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИред

рдЕрдиреБрд╕рдВрдзрд╛рди рдкреГрд╖реНрдарднреВрдорд┐ рдФрд░ рдкреНрд░реЗрд░рдгрд╛

рд╕рдорд╕реНрдпрд╛ рдХреА рдкреГрд╖реНрдарднреВрдорд┐

  1. Diophantine рд╕рдиреНрдирд┐рдХрдЯрди рд╕рд┐рджреНрдзрд╛рдВрдд: рдпрд╣ рдЕрдиреБрд╕рдВрдзрд╛рди рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ Dirichlet рдХреЗ рдХрд╛рд░реНрдп рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддрд╛ рд╣реИ, рдЬреЛ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рдкрд░рд┐рдореЗрдп рд╕рдВрдЦреНрдпрд╛рдУрдВ рджреНрд╡рд╛рд░рд╛ рд╕рдиреНрдирд┐рдХрдЯрди рдХреА рдЧрддрд┐ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИред Dirichlet рдиреЗ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдХрд┐рд╕реА рднреА рдЕрдкрд░рд┐рдореЗрдп рд╕рдВрдЦреНрдпрд╛ x рдХреЗ рд▓рд┐рдП, рдЕрдирдВрдд рдХрдИ рд╕рд╣рдЕрднрд╛рдЬреНрдп рдкреВрд░реНрдгрд╛рдВрдХ рдпреБрдЧреНрдо (p,q) рдореМрдЬреВрдж рд╣реИрдВ рдЬреИрд╕реЗ рдХрд┐ |x - p/q| тЙд 1/q┬▓ред
  2. рдЧрддрд┐рд╢реАрд▓ рд╕рд╛рджреГрд╢реНрдп: рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдореЗрдВ, рдХрдХреНрд╖рд╛ рд╕рдиреНрдирд┐рдХрдЯрди рдХреА рд╕рдорд╛рди рд╕рдорд╕реНрдпрд╛рдПрдВ рд╕реНрд╡рд╛рднрд╛рд╡рд┐рдХ рд░реВрдк рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддреА рд╣реИрдВред рджрд┐рдП рдЧрдП рдорд╛рдкрдиреАрдп рдорд╛рдирдЪрд┐рддреНрд░ T: тДЭс╡И тЖТ тДЭс╡И рдФрд░ T-ergodic рдорд╛рдк ╬╝ рдХреЗ рд▓рд┐рдП, рд╕рдореБрдЪреНрдЪрдп {x : ||TтБ┐(xтВА) - x||тИЮ тЙд 1/nс╡И i.o.} рдХреЗ рдорд╛рдк рдФрд░ Hausdorff рдЖрдпрд╛рдо рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░реЗрдВред
  3. рдореМрдЬреВрджрд╛ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рд╕реАрдорд╛рдПрдВ:
    • Galatolo рдиреЗ 5 рдореЗрдВ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдШрд╛рддрд╛рдВрдХреАрдп рдорд┐рд╢реНрд░рдг рдкреНрд░рдгрд╛рд▓рд┐рдпрд╛рдВ рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддреА рд╣реИрдВ
    • 3 рдореЗрдВ (╬│,╧Ж)-рдорд┐рд╢реНрд░рдг рдЧреБрдг рдХреЗ рддрд╣рдд рдкрд░рд┐рдгрд╛рдо рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП рдЧрдП рдереЗ, рд▓реЗрдХрд┐рди рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рдЕрдЬреНрдЮрд╛рдд рдереА

рдЕрдиреБрд╕рдВрдзрд╛рди рдкреНрд░реЗрд░рдгрд╛

рдпрд╣ рдкреЗрдкрд░ рд╕рд╛рд╣рд┐рддреНрдп 3 рдореЗрдВ рдкреНрд░рд╕реНрддрд╛рд╡рд┐рдд рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рдХреЛ рд╕рд┐рджреНрдз рдХрд░рдиреЗ рдХрд╛ рд▓рдХреНрд╖реНрдп рд░рдЦрддрд╛ рд╣реИ, рдЬреЛ рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛ рдФрд░ рд╢рд╛рд╕реНрддреНрд░реАрдп рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХреЗ рдЖрдпрд╛рдо рдЕрдиреБрдорд╛рди рджреЛрдиреЛрдВ рдХреЗ рд▓рд┐рдП рдорд╛рдиреНрдп рд╣реИред

рдореБрдЦреНрдп рдпреЛрдЧрджрд╛рди

  1. Galatolo-Rousseau-Saussol рдЙрджрд╛рд╣рд░рдг рдореЗрдВ рд╕реБрдзрд╛рд░: рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ рдпрд╣ рдЙрджрд╛рд╣рд░рдг (9, n тЖж C/n╦в)-рдорд┐рд╢реНрд░рдг рд╣реИ, рдЬрд╣рд╛рдВ 0 < s тЙд 1ред
  2. рдЗрд╖реНрдЯрддрдорддрд╛ рдкрд░рд┐рдгрд╛рдо рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП: Lebesgue рдорд╛рдк рдХреЗ рд▓рдЧрднрдЧ рдкреНрд░рддреНрдпреЗрдХ xтВА рдХреЗ рд▓рд┐рдП рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐
    dimтВХ{x : ||TтБ┐(xтВА) - x||тИЮ тЙд 1/n^(1/3) i.o.} < 3
    
  3. рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рд╕рд┐рджреНрдз рдХреА: рджрд┐рдЦрд╛рдпрд╛ рдХрд┐ (╬│, n тЖж C/n^(1+╬╡))-рдорд┐рд╢реНрд░рдг Borel-Cantelli рд▓реЗрдореНрдорд╛ рдФрд░ рдЖрдпрд╛рдо рд╕реВрддреНрд░ рдХреЛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рдкрд░реНрдпрд╛рдкреНрдд рд╣реИ, рдЬрдмрдХрд┐ (╬│, n тЖж C/n^(1-╬╡))-рдорд┐рд╢реНрд░рдг рдЕрдкрд░реНрдпрд╛рдкреНрдд рд╣реИред

рд╡рд┐рдзрд┐ рд╡рд┐рд╡рд░рдг

рдХрд╛рд░реНрдп рдкрд░рд┐рднрд╛рд╖рд╛

рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА (T,╬╝) рдореЗрдВ рджреЛ рдореМрд▓рд┐рдХ рд╕рдорд╕реНрдпрд╛рдУрдВ рдХрд╛ рдЕрдзреНрдпрдпрди рдХрд░реЗрдВ:

  1. рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛: рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░реЗрдВ рдХрд┐ ╬╝({x : TтБ┐(x) тИИ B(xтВА,rтВЩ) i.o.}) рдХрдм 0 рдпрд╛ 1 рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИ
  2. рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХреЗ Hausdorff рдЖрдпрд╛рдо рдХреА рдЧрдгрдирд╛

рдореБрдЦреНрдп рдЕрд╡рдзрд╛рд░рдгрд╛рдПрдВ

(╬│,╧Ж)-рдорд┐рд╢реНрд░рдг рдЧреБрдг

ergodic рдкреНрд░рдгрд╛рд▓реА (T,╬╝) рдХреЗ рд▓рд┐рдП, рдпрджрд┐ рдкреНрд░рддреНрдпреЗрдХ рдЧреЛрд▓реЗ A,B рдФрд░ рдкреНрд░рддреНрдпреЗрдХ n тИИ тДХ рдХреЗ рд▓рд┐рдП:

╬╝(TтБ╗тБ┐(A) тИй B) тЙд ╬│╬╝(A)╬╝(B) + ╧Ж(n)╬╝(A)

рддреЛ рдкреНрд░рдгрд╛рд▓реА рдХреЛ (╬│,╧Ж)-рдорд┐рд╢реНрд░рдг рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред

Diophantine рд░реИрдЦрд┐рдХ рд░реВрдк

╬▒ тИИ тДЭ┬▓ рдХреЗ рд▓рд┐рдП, рдЗрд╕рдХрд╛ Diophantine рд░реИрдЦрд┐рдХ рд░реВрдк рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╣реИ:

╬│тВЧ(╬▒) = inf{╬│ тЙе 0 : тИГC > 0, dтДд(╬▒┬╖k) тЙе C/||k||тИЮ^╬│, тИАk тИИ тДд┬▓}

рдореЙрдбрд▓ рдЖрд░реНрдХрд┐рдЯреЗрдХреНрдЪрд░

рдореБрдбрд╝рд╛ рд╣реБрдЖ рдЙрддреНрдкрд╛рдж рдорд╛рдирдЪрд┐рддреНрд░ рдирд┐рд░реНрдорд╛рдг

рдорд╛рдирдЪрд┐рддреНрд░ SтВР: ЁЭХЛ┬╣ ├Ч ЁЭХЛ┬▓ тЖТ ЁЭХЛ┬│ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ, рдкрд░рд┐рднрд╛рд╖рд┐рдд:

SтВР(x,t) = (2x, t + ╬▒╧З[0,1/2[(x))

рдЬрд╣рд╛рдВ ╬▒ тИИ тДЭ┬▓ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХ рдЕрдкрд░рд┐рдореЗрдп рд╕рдВрдмрдВрдзрд┐рдд рд╕рджрд┐рд╢ рд╣реИред

рд╡рд┐рд╢реЗрд╖ ╬▒ рдХрд╛ рдЪрдпрди

Proposition 2.1 рдХреЗ рдЕрдиреБрд╕рд╛рд░, ╬▒тВБ,╬▒тВВ тИИ тДЭ рдореМрдЬреВрдж рд╣реИрдВ рдЬреИрд╕реЗ рдХрд┐:

  • рдЙрдирдХреЗ рдирд┐рд░рдВрддрд░ рднрд┐рдиреНрди рд╡рд┐рд╕реНрддрд╛рд░ рдХреЗ рдЖрдВрд╢рд┐рдХ рднрд╛рдЬрдХ рд╡рд┐рд╢реЗрд╖ рд╕рдВрдмрдВрдз рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддреЗ рд╣реИрдВ
  • ╬│тВЧ(╬▒тВБ,╬▒тВВ) = 16

рддрдХрдиреАрдХреА рдирд╡рд╛рдЪрд╛рд░ рдмрд┐рдВрджреБ

  1. рд╕реВрдХреНрд╖реНрдо рдорд┐рд╢реНрд░рдг рд╡рд┐рд╢реНрд▓реЗрд╖рдг: dyadic рдШрдиреЛрдВ рдХреЗ рд╡рд┐рдШрдЯрди рдФрд░ Abel рдпреЛрдЧ рд╕реВрддреНрд░ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдорд┐рд╢реНрд░рдг рджрд░ рдХрд╛ рд╕рдЯреАрдХ рдЕрдиреБрдорд╛рдиред
  2. рдЖрдпрд╛рдо рдЧрдгрдирд╛ рддрдХрдиреАрдХреЗрдВ: рдирд┐рд░рдВрддрд░ рднрд┐рдиреНрди рд╕рд┐рджреНрдзрд╛рдВрдд рдФрд░ Diophantine рд╕рдиреНрдирд┐рдХрдЯрди рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, Hausdorff рдЖрдпрд╛рдо рдХреЗ рдКрдкрд░реА рд╕реАрдорд╛ рдЕрдиреБрдорд╛рдиред
  3. рдЗрд╖реНрдЯрддрдорддрд╛ рдкреНрд░рдорд╛рдг рд░рдгрдиреАрддрд┐: рдареЛрд╕ рдкреНрд░рддрд┐рдЙрджрд╛рд╣рд░рдгреЛрдВ рдХреЗ рдирд┐рд░реНрдорд╛рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреА рддреАрдХреНрд╖реНрдгрддрд╛ рд╕рд┐рджреНрдз рдХрд░рдирд╛ред

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рд╕реЗрдЯрдЕрдк

рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╕рддреНрдпрд╛рдкрди

рдпрд╣ рдкреЗрдкрд░ рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдХрд╛рд░реНрдп рд╣реИ, рдЬреЛ рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рдкреНрд░рдорд╛рдгреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИ, рди рдХрд┐ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдкреНрд░рдпреЛрдЧреЛрдВ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗред

рдореБрдЦреНрдп рд▓реЗрдореНрдорд╛ рд╕рддреНрдпрд╛рдкрди

  • Theorem 3.1: 2D рдЯреЛрд░рд╕ рдкрд░ рдШреВрд░реНрдгрди рдХреЗ рдЕрдВрддрд░ рдЕрдиреБрдорд╛рди рдХрд╛ рдЙрдкрдпреЛрдЧ
  • Lemma 3.2: рд╡рд┐рднрд┐рдиреНрди рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЕрднрд┐рд╡реНрдпрдХреНрддрд┐ рдХреА рд╕рдорд╛рдирддрд╛ рд╕реНрдерд╛рдкрд┐рдд рдХрд░рдирд╛

рдкреНрд░рд╛рдпреЛрдЧрд┐рдХ рдкрд░рд┐рдгрд╛рдо

рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо

Theorem 2.4 рдХрд╛ рдкреНрд░рдорд╛рдг

  1. рдкреНрд░рдердо рднрд╛рдЧ: рд╕рд┐рджреНрдз рдХрд┐рдпрд╛ рдХрд┐ (SтВР,тДТ┬│) (9, n тЖж C/n╦в)-рдорд┐рд╢реНрд░рдг рд╣реИ, рдЬрд╣рд╛рдВ s = 1/╬│, ╬│ > 16ред
  2. рджреНрд╡рд┐рддреАрдп рднрд╛рдЧ: рдкреНрд░рддреНрдпреЗрдХ xтВА рдХреЗ рд▓рд┐рдП:
    dimтВХ{x : ||TтБ┐(xтВА) - x||тИЮ тЙд 1/n^(1/3) i.o.} < 3
    

рдареЛрд╕ рдЕрдиреБрдорд╛рди

Abel рдпреЛрдЧ рдФрд░ dyadic рд╡рд┐рдШрдЯрди рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдкреНрд░рд╛рдкреНрдд:

тДТ┬│(SтБ╗тБ┐тВР(A) тИй B) тЙд 9тДТ┬│(A) ├Ч тДТ┬│(B) + ╬╖/n^(1/╬│) ├Ч тДТ┬│(A)

Hausdorff рдЖрдпрд╛рдо рдКрдкрд░реА рд╕реАрдорд╛

Proposition 4.1 рдореЗрдВ рд╕рд┐рджреНрдз рдХрд┐рдпрд╛:

dimтВХ{y тИИ ЁЭХЛ┬▓ : ||k╬▒ - y||тИЮ тЙд 1/k^(1/3) i.o.} < 2

рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп

рдореБрдЦреНрдп рдЕрдиреБрд╕рдВрдзрд╛рди рджрд┐рд╢рд╛рдПрдВ

  1. рд╢рд╛рд╕реНрддреНрд░реАрдп Diophantine рд╕рдиреНрдирд┐рдХрдЯрди: Jarnik-Besicovitch рдкреНрд░рдореЗрдп рдФрд░ рдЗрд╕рдХреЗ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг
  2. рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд▓реЗрдореНрдорд╛: Chernov-Kleinbock рдФрд░ Galatolo рдХрд╛ рдХрд╛рд░реНрдп
  3. рднрдЧреНрди рдЬреНрдпрд╛рдорд┐рддрд┐: Hausdorff рдЖрдпрд╛рдо рдХреА рдЧрдгрдирд╛ рд╡рд┐рдзрд┐рдпрд╛рдВ

рдЗрд╕ рдкреЗрдкрд░ рдХрд╛ рд╕рдВрдмрдВрдзрд┐рдд рдХрд╛рд░реНрдп рд╕реЗ рд╕рдВрдмрдВрдз

  • 10 рдореЗрдВ Galatolo-Saussol-Rousseau рдХреЗ рдЙрджрд╛рд╣рд░рдг рдореЗрдВ рд╕реБрдзрд╛рд░
  • 3 рдореЗрдВ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдврд╛рдВрдЪреЗ рдХреЛ рдкреВрд░реНрдг рдХрд░рдирд╛
  • 9 рдореЗрдВ (╬│,╧Ж)-рдорд┐рд╢реНрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рд╕рд╛рде рдкреНрд░рддрд┐рдзреНрд╡рдирд┐

рдирд┐рд╖реНрдХрд░реНрд╖ рдФрд░ рдЪрд░реНрдЪрд╛

рдореБрдЦреНрдп рдирд┐рд╖реНрдХрд░реНрд╖

  1. рд╕рд╛рд╣рд┐рддреНрдп 3 рдореЗрдВ рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рд╕рд┐рджреНрдз рдХреА
  2. рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рдореБрдЪреНрдЪрдп рдХреЗ Hausdorff рдЖрдпрд╛рдо рдХреЗ рд╕рдЯреАрдХ рдЕрдиреБрдорд╛рди рд╕реНрдерд╛рдкрд┐рдд рдХрд┐рдП
  3. рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдкреВрд░реНрдг рдХрд┐рдпрд╛

рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдорд╣рддреНрд╡

рдпрд╣ рдкрд░рд┐рдгрд╛рдо рджрд░реНрд╢рд╛рддрд╛ рд╣реИ рдХрд┐:

  • (╬│, n тЖж C/n^(1+╬╡))-рдорд┐рд╢реНрд░рдг Borel-Cantelli рд▓реЗрдореНрдорд╛ рдХреЛ рд╕реБрдирд┐рд╢реНрдЪрд┐рдд рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП рд╕рдмрд╕реЗ рдХрдордЬреЛрд░ рдкрд░реНрдпрд╛рдкреНрдд рд╕реНрдерд┐рддрд┐ рд╣реИ
  • рдЖрдпрд╛рдо рд╕реВрддреНрд░ dimтВХ = 1/╬┤ рдЗрд╖реНрдЯрддрдо рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреЗ рддрд╣рдд рдорд╛рдиреНрдп рд╣реИ

рднрд╡рд┐рд╖реНрдп рдХреА рджрд┐рд╢рд╛рдПрдВ

  1. рдЙрдЪреНрдЪ рдЖрдпрд╛рдореА рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдореЗрдВ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг
  2. рдЕрдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреА рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдХрд╛ рдЕрдзреНрдпрдпрди
  3. рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдЕрдиреБрдкреНрд░рдпреЛрдЧреЛрдВ рдХреА рдЦреЛрдЬ

рдЧрд╣рди рдореВрд▓реНрдпрд╛рдВрдХрди

рд▓рд╛рдн

  1. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдкреВрд░реНрдгрддрд╛: рдорд┐рд╢реНрд░рдг рд╕реНрдерд┐рддрд┐рдпреЛрдВ рдХреА рдЗрд╖реНрдЯрддрдорддрд╛ рдХрд╛ рдкреВрд░реНрдг рд▓рдХреНрд╖рдг рд╡рд░реНрдгрди рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ
  2. рддрдХрдиреАрдХреА рдХреМрд╢рд▓: рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА рд╕рд┐рджреНрдзрд╛рдВрдд, Diophantine рд╕рдиреНрдирд┐рдХрдЯрди рдФрд░ рднрдЧреНрди рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЛ рдЪрддреБрд░рд╛рдИ рд╕реЗ рд╕рдВрдпреЛрдЬрд┐рдд рдХрд░рддрд╛ рд╣реИ
  3. рддреАрдХреНрд╖реНрдг рдкрд░рд┐рдгрд╛рдо: рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╕реАрдорд╛ рдХреА рд╕рдЯреАрдХрддрд╛ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ
  4. рд╡рд┐рдзрд┐ рдирд╡рд╛рдЪрд╛рд░: рдореМрдЬреВрджрд╛ рдирд┐рд░реНрдорд╛рдгреЛрдВ рдореЗрдВ рд╕реБрдзрд╛рд░ рдХрд░рддрд╛ рд╣реИ, рдирдИ рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╛рддреНрдордХ рддрдХрдиреАрдХреЗрдВ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ

рдХрдорд┐рдпрд╛рдВ

  1. рдирд┐рд░реНрдорд╛рдг рд╡рд┐рд╢реЗрд╖рддрд╛: рд╡рд┐рд╢реЗрд╖ рдореБрдбрд╝реЗ рд╣реБрдП рдЙрддреНрдкрд╛рдж рдорд╛рдирдЪрд┐рддреНрд░ рдирд┐рд░реНрдорд╛рдг рдкрд░ рдирд┐рд░реНрднрд░
  2. рдЖрдпрд╛рдо рд╕реАрдорд╛: рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо 3D рдЯреЛрд░рд╕ рддрдХ рд╕реАрдорд┐рдд
  3. рддрдХрдиреАрдХреА рдЬрдЯрд┐рд▓рддрд╛: рдкреНрд░рдорд╛рдг рдХрдИ рдЧрд╣рди рд╕рд┐рджреНрдзрд╛рдВрддреЛрдВ рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рддреЗ рд╣реИрдВ, рд╕рдордЭрдиреЗ рдХреА рджрд╣рд▓реАрдЬ рдЕрдзрд┐рдХ рд╣реИ

рдкреНрд░рднрд╛рд╡

  1. рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди: рдЧрддрд┐рд╢реАрд▓ Diophantine рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдкреВрд░реНрдг рдХрд░рддрд╛ рд╣реИ
  2. рд╡рд┐рдзрд┐ рдореВрд▓реНрдп: рдкреНрд░рджрд╛рди рдХреА рдЧрдИ рддрдХрдиреАрдХреЗрдВ рд╕рдорд╛рди рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддреА рд╣реИрдВ
  3. рд╡рд┐рд╖рдп рдЕрдВрддрд░реНрд╕рдВрдмрдВрдз: рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА рдФрд░ рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдмреАрдЪ рд╕рд╣рдпреЛрдЧ рдХреЛ рдмрдврд╝рд╛рд╡рд╛ рджреЗрддрд╛ рд╣реИ

рд▓рд╛рдЧреВ рдкрд░рд┐рджреГрд╢реНрдп

рдпрд╣ рд╡рд┐рдзрд┐ рдирд┐рдореНрдирд▓рд┐рдЦрд┐рдд рдХреЗ рд▓рд┐рдП рд▓рд╛рдЧреВ рд╣реИ:

  1. рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓рд┐рдпреЛрдВ рдореЗрдВ рдорд┐рд╢реНрд░рдг рдЧреБрдгреЛрдВ рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди
  2. Diophantine рд╕рдиреНрдирд┐рдХрдЯрди рдХрд╛ рдЧрддрд┐рд╢реАрд▓ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг
  3. рднрдЧреНрди рд╕рдореБрдЪреНрдЪрдп рдХреЗ рдЖрдпрд╛рдо рдХреА рдЧрдгрдирд╛

рд╕рдВрджрд░реНрдн

рдкреЗрдкрд░ 10 рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕рдВрджрд░реНрднреЛрдВ рдХрд╛ рд╣рд╡рд╛рд▓рд╛ рджреЗрддрд╛ рд╣реИ, рдЬрд┐рдирдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИрдВ:

  • Beresnevitch-Velani рдХрд╛ рджреНрд░рд╡реНрдпрдорд╛рди рд╕реНрдерд╛рдирд╛рдВрддрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд
  • Galatolo рдХрд╛ рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рдкрд░ рдХрд╛рд░реНрдп
  • Koukoulopoulos-Maynard рдХрд╛ Duffin-Schaeffer рдЕрдиреБрдорд╛рди рдкрд░ рдкрд░рд┐рдгрд╛рдо
  • рд╢рд╛рд╕реНрддреНрд░реАрдп рднрдЧреНрди рдЬреНрдпрд╛рдорд┐рддрд┐ рдкрд╛рдареНрдпрдкреБрд╕реНрддрдХреЗрдВ (Falconer)

рдпрд╣ рдкреЗрдкрд░ рдЧрддрд┐рд╢реАрд▓ рдкреНрд░рдгрд╛рд▓реА рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдПрдХ рдорд╣рддреНрд╡рдкреВрд░реНрдг рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди рд╣реИ, рдЬреЛ рд╕реБрдВрджрд░ рдирд┐рд░реНрдорд╛рдг рдФрд░ рдЧрд╣рди рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рдЧрддрд┐рд╢реАрд▓ Borel-Cantelli рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЛ рдкреВрд░реНрдг рдХрд░рддрд╛ рд╣реИ рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдХреНрд╖реЗрддреНрд░реЛрдВ рдХреЛ рдирдИ рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐ рдФрд░ рд╡рд┐рдзрд┐рдпрд╛рдВ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред