In this paper, we develop Pesin theory for the boundary map of some Fatou components of transcendental functions, under certain hyptothesis on the singular values and the Lyapunov exponent. That is, we prove that generic inverse branches for such maps are well-defined and conformal. In particular, we study in depth the Lyapunov exponents with respect to harmonic measure, providing results which are of independent interest. As an application of our results, we describe in detail generic inverse branches for centered inner functions, and we prove density of periodic boundary points for a large class of Fatou components. Our proofs use techniques from measure theory, ergodic theory, conformal analysis, and inner functions, as well as estimates on harmonic measure.
- পেপার আইডি: 2410.19703
- শিরোনাম: Pesin theory for transcendental maps and applications
- লেখক: Anna Jové (Universitat de Barcelona)
- শ্রেণীবিভাগ: math.DS (গতিশীল সিস্টেম)
- প্রকাশনার সময়: ২০২৫ সালের ১৩ অক্টোবর
- পেপার লিংক: https://arxiv.org/abs/2410.19703
এই পেপারটি অতিক্রমণকারী ফাংশনের নির্দিষ্ট ফাটু উপাদানের সীমানা ম্যাপের জন্য পেসিন তত্ত্ব বিকশিত করে। বিশেষ মূল্যবোধ এবং লিয়াপুনভ সূচকের নির্দিষ্ট অনুমানের অধীনে, লেখক প্রমাণ করেন যে এই ধরনের ম্যাপের সাধারণ বিপরীত শাখা সুসংজ্ঞায়িত এবং সামঞ্জস্যপূর্ণ। বিশেষত, লেখক সুরেলা পরিমাপের সাথে সম্পর্কিত লিয়াপুনভ সূচক সম্পর্কে গভীর গবেষণা করেন এবং স্বাধীন মূল্যের ফলাফল প্রদান করেন। প্রয়োগ হিসাবে, তিনি কেন্দ্রীয় অভ্যন্তরীণ ফাংশনের সাধারণ বিপরীত শাখা বিস্তারিতভাবে বর্ণনা করেন এবং বৃহৎ শ্রেণীর ফাটু উপাদানের পর্যায়ক্রমিক সীমানা বিন্দুর ঘনত্ব প্রমাণ করেন।
- যুক্তিসঙ্গত ম্যাপ থেকে অতিক্রমণকারী ম্যাপে সম্প্রসারণ: ক্লাসিক্যাল পেসিন তত্ত্ব প্রাথমিকভাবে কমপ্যাক্ট মসৃণ রিম্যান ম্যানিফোল্ডে C¹ ডিফিওমরফিজমের জন্য বিকশিত হয়েছিল এবং পরে যুক্তিসঙ্গত ম্যাপে সম্প্রসারিত হয়েছিল। এই পেপারটি এই তত্ত্বকে অতিক্রমণকারী মেরোমরফিক ফাংশনে আরও সম্প্রসারিত করার লক্ষ্য রাখে।
- প্রযুক্তিগত চ্যালেঞ্জ: অতিক্রমণকারী ক্ষেত্রে তিনটি প্রধান অসুবিধার সম্মুখীন হয়:
- পর্যায় স্থান আর কমপ্যাক্ট নয় (জুলিয়া সেট অকমপ্যাক্ট)
- বিশেষ মূল্যবোধ অসংখ্য হতে পারে (শুধুমাত্র সমালোচনামূলক মূল্যবোধ নয়)
- জুলিয়া সেটে অপরিবর্তনীয় এরগোডিক সম্ভাব্যতা পরিমাপের অস্তিত্ব অজানা
- গবেষণার তাৎপর্য: পেসিন তত্ত্ব দ্বিগুণ হাইপারবোলিক গতিশীলতা বোঝার জন্য গুরুত্বপূর্ণ সরঞ্জাম প্রদান করে, প্রায় প্রতিটি বিন্দুর চারপাশে এগিয়ে এবং পিছিয়ে সংকোচন বা সম্প্রসারণ নিয়ন্ত্রণ করতে পারে এবং পর্যায়ক্রমিক বিন্দু, সমজাতীয় বিন্দু এবং স্থিতিশীল ম্যানিফোল্ড তত্ত্বে গুরুত্বপূর্ণ প্রয়োগ রয়েছে।
লেখক ফাটু উপাদান সীমানায় সীমাবদ্ধ করে এই অসুবিধাগুলি অতিক্রম করেন, যা একটি এগিয়ে-অপরিবর্তনীয় উপসেট, ডোয়েরিং এবং মানে-এর কাজে দেওয়া অপরিবর্তনীয় এরগোডিক পরিমাপ ব্যবহার করে, উপযুক্ত অনুমানের অধীনে অতিক্রমণকারী ক্ষেত্রে পেসিন তত্ত্ব সফলভাবে বিকশিত করেন।
- প্রধান তাত্ত্বিক ফলাফল: অতিক্রমণকারী মেরোমরফিক ফাংশনের আকর্ষণীয় বেসিন এবং প্যারাবোলিক বেসিন/বেকার ডোমেইনের সীমানার জন্য পেসিন তত্ত্ব প্রতিষ্ঠা করা (উপপাদ্য A এবং B)
- লিয়াপুনভ সূচক তত্ত্ব: সুরেলা পরিমাপের সাথে সম্পর্কিত লিয়াপুনভ সূচক সম্পর্কে গভীর গবেষণা, সমন্বয়যোগ্যতা এবং অ-নেতিবাচকতার শর্ত প্রদান করা
- অভ্যন্তরীণ ফাংশন প্রয়োগ: কেন্দ্রীয় অভ্যন্তরীণ ফাংশনে তত্ত্ব প্রয়োগ করে, সাধারণ বিপরীত শাখার অস্তিত্ব এবং সামঞ্জস্য প্রমাণ করা
- পর্যায়ক্রমিক বিন্দু ঘনত্ব: বৃহৎ শ্রেণীর ফাটু উপাদান সীমানায় পর্যায়ক্রমিক বিন্দুর ঘনত্ব প্রমাণ করা
- প্রযুক্তিগত উদ্ভাবন: অ-বিপরীতযোগ্য পরিমাপ-সংরক্ষণ রূপান্তর পরিচালনার জন্য রোখলিন প্রাকৃতিক সম্প্রসারণ ব্যবহার করা
পেপারের প্রধান অনুমান হল বিশেষ মূল্যবোধ সীমানায় "খুব ঘন" নয়, যা আনুষ্ঠানিকভাবে প্রকাশ করা হয়:
∫∂Ulog∣x−SV∣−1dωU(x)<∞
এই শর্তটি যেকোনো C > 0 এবং t ∈ (0,1) এর জন্য সমতুল্য:
∑n≥0ωU(⋃s∈SVD(s,C⋅tn))<∞
ধরুন f : ℂ → Ĉ একটি মেরোমরফিক ফাংশন, U একটি সরল সংযুক্ত আকর্ষণীয় বেসিন, একটি অনির্দেশ্য বিন্দু p ∈ U সহ। ধরুন ω_U হল p কে ভিত্তি বিন্দু হিসাবে ∂U-এ সুরেলা পরিমাপ। অনুমান করুন:
- f ইতিবাচক লিয়াপুনভ সূচক রয়েছে
- ∫_{∂U} log |x - SV|^{-1} dω_U(x) < ∞
তারপর প্রতিটি গণনাযোগ্য পরিমাপ সেট {A_k}_k ⊂ ∂U এবং ω_U(A_k) > 0 এর জন্য, ω_U-প্রায় প্রতিটি x_0 ∈ ∂U এর জন্য, একটি পিছিয়ে যাওয়া ট্র্যাজেক্টরি {x_n}_n ⊂ ∂U এবং r > 0 বিদ্যমান যেমন:
- x_ ∈ A_k কিছু ক্রম n_k → ∞ এর জন্য
- বিপরীত শাখা F_n x_0 কে x_n এ D(x_0,r) এ সুসংজ্ঞায়িত পাঠায়
- diam F_n(D(x_0,r)) → 0 যখন n → ∞
প্যারাবোলিক বেসিন এবং বেকার ডোমেইনে অনুরূপ ফলাফল প্রদান করা হয়, কিন্তু ∂U^{+ε} এ বিশেষ মূল্যবোধ সীমিত হওয়ার অতিরিক্ত অনুমান প্রয়োজন।
পিছিয়ে যাওয়া ট্র্যাজেক্টরি স্থান তৈরি করতে রোখলিন প্রাকৃতিক সম্প্রসারণ ব্যবহার করা:
X~={{xn}n⊂X:x0∈X,T(xn+1)=xn,n≥0}
এটি অ-বিপরীতযোগ্য ম্যাপিং পরিচালনা করতে সক্ষম করে, সমস্যাটিকে বিপরীতযোগ্য অটোমরফিজমের গবেষণায় রূপান্তরিত করে।
ফ্যান-আকৃতির অঞ্চলের সুরেলা পরিমাপের জন্য সঠিক অনুমান প্রদান করা:
ωU(z0,D(x,r))≤C⋅r1/(2α)
সঠিক বিকৃতি অনুমান এবং উপযুক্ত সামঞ্জস্যপূর্ণ মেট্রিক নির্মাণের মাধ্যমে, বিপরীত শাখার সংকোচন বৈশিষ্ট্য নিয়ন্ত্রণ করা।
পেপারটি প্রধানত তাত্ত্বিক কাজ, কঠোর গাণিতিক প্রমাণের মাধ্যমে ফলাফল যাচাই করা, যার মধ্যে রয়েছে:
- গঠনমূলক প্রমাণ: বিপরীত শাখা ক্রম আবেগপূর্ণভাবে নির্মাণ করা
- পরিমাপ তাত্ত্বিক প্রমাণ: বোরেল-ক্যান্টেলি লেমা এবং এরগোডিক উপপাদ্য ব্যবহার করা
- জটিল বিশ্লেষণ কৌশল: কোয়েবে বিকৃতি উপপাদ্য এবং সামঞ্জস্যপূর্ণ ম্যাপিং তত্ত্ব প্রয়োগ করা
- কেন্দ্রীয় অভ্যন্তরীণ ফাংশন: একক ডিস্কের সম্পূর্ণ হলোমরফিক স্ব-ম্যাপিং g : D → D এবং g(0) = 0
- সূচকীয় পরিবার ফাংশন: নির্দিষ্ট দ্বিগুণ হাইপারবোলিক সূচকীয় ফাংশন পরিবার
- বহুপদী ক্ষেত্রে: অতিক্রমণকারী ক্ষেত্রের বিশেষ ক্ষেত্রে
শর্ত পূরণকারী প্রায় প্রতিটি পিছিয়ে যাওয়া ট্র্যাজেক্টরির জন্য, একটি একীভূত ব্যাসার্ধ r > 0 বিদ্যমান যেমন সমস্ত বিপরীত শাখা D(x_0,r) এ সুসংজ্ঞায়িত এবং সামঞ্জস্যপূর্ণ।
প্রস্তাব E: ধরুন U ক্রমান্বয়ে α ∈ (0,1) কোণের ফ্যানে অন্তর্ভুক্ত, বৃদ্ধির ক্রম β ∈ (0,1/(2α)), তারপর log |f'| ∈ L¹(ω_U)।
প্রস্তাব F: উপযুক্ত অনুমানের অধীনে, χ_{ω_U}(f) = ∫_{∂U} log |f'| dω_U ≥ 0।
ফলাফল C: কেন্দ্রীয় অভ্যন্তরীণ ফাংশন g : D → D এর জন্য, log |g'| ∈ L¹(∂D) এবং বিশেষ মূল্যবোধ শর্তে, λ-প্রায় প্রতিটি ξ_0 ∈ ∂D এর জন্য একটি পিছিয়ে যাওয়া ট্র্যাজেক্টরি বিদ্যমান যেমন:
- বিপরীত শাখা G_n D(ξ_0,ρ_0) এ সুসংজ্ঞায়িত
- G_n(R_ρ(ξ_0)) ⊂ Δ_{α,ρ}(ξ_n) (রেডিয়াল সেগমেন্ট স্টলজ কোণে ম্যাপ করা)
- বিশেষ মূল্যবোধ সেট E(g) শূন্য λ-পরিমাপ রয়েছে
ফলাফল D: উপপাদ্য A বা B এর অনুমানের অধীনে, যদি একটি অনুপ্রবেশকারী প্রতিবেশী N_C বিদ্যমান থাকে যেমন N_C ∩ P(f) = ∅, তারপর পর্যায়ক্রমিক বিন্দু ∂U এ ঘন।
- ক্লাসিক্যাল পেসিন তত্ত্ব: ইয়াকভ পেসিনের (১৯৭৬-১৯৭৭) যুগান্তকারী কাজ
- যুক্তিসঙ্গত ম্যাপিং সম্প্রসারণ: লেড্রাপিয়ার, ডবস এবং অন্যদের অবদান
- অতিক্রমণকারী গতিশীলতা: বেকার, ডোমিনগেজ, হেরিং এবং অন্যদের K-শ্রেণী ফাংশন তত্ত্ব
- অভ্যন্তরীণ ফাংশন তত্ত্ব: আরনসন, ডোয়েরিং-মানে এর এরগোডিক তত্ত্ব ফলাফল
- প্রযুক্তিগত উদ্ভাবন: প্রথমবার রোখলিন প্রাকৃতিক সম্প্রসারণ অতিক্রমণকারী গতিশীলতায় প্রয়োগ করা
- তাত্ত্বিক সম্প্রসারণ: যুক্তিসঙ্গত ম্যাপিংয়ের কমপ্যাক্ট ক্ষেত্রে থেকে অতিক্রমণকারী ম্যাপিংয়ের অ-কমপ্যাক্ট ক্ষেত্রে সম্প্রসারণ
- পদ্ধতি সংশ্লেষণ: পরিমাপ তত্ত্ব, এরগোডিক তত্ত্ব, জটিল বিশ্লেষণ এবং সুরেলা পরিমাপ অনুমান একত্রিত করা
- অতিক্রমণকারী মেরোমরফিক ফাংশনের ফাটু উপাদান সীমানায় পেসিন তত্ত্ব সফলভাবে সম্প্রসারিত করা
- উপযুক্ত অনুমানের অধীনে, সাধারণ বিপরীত শাখা সুসংজ্ঞায়িত এবং সংকোচন বৈশিষ্ট্য রয়েছে
- অতিক্রমণকারী ক্ষেত্রে লিয়াপুনভ সূচকের সম্পূর্ণ তত্ত্ব প্রতিষ্ঠা করা
- পর্যায়ক্রমিক সীমানা বিন্দুর ঘনত্ব প্রমাণ করা
- অনুমান শর্ত: বিশেষ মূল্যবোধ "খুব ঘন" নয় এমন শর্তের প্রয়োজন, প্রয়োগের পরিসীমা সীমিত করে
- সরল সংযুক্ত সীমাবদ্ধতা: প্রধান ফলাফল সরল সংযুক্ত ফাটু উপাদানে সীমাবদ্ধ
- বৃদ্ধির শর্ত: লিয়াপুনভ সূচক ফলাফল নির্দিষ্ট বৃদ্ধির ক্রম শর্তের প্রয়োজন
- প্রযুক্তিগত জটিলতা: প্রমাণ একাধিক জটিল প্রযুক্তিগত শর্তের উপর নির্ভর করে
- বহু-সংযুক্ত সম্প্রসারণ: বহু-সংযুক্ত ফাটু উপাদানে সম্প্রসারণ
- আরও সাধারণ বৃদ্ধি: বৃদ্ধির ক্রম সীমাবদ্ধতা শিথিল করা
- নির্দিষ্ট প্রয়োগ: নির্দিষ্ট ফাংশন পরিবারে প্রয়োগ
- সংখ্যাগত যাচাইকরণ: তাত্ত্বিক ফলাফলের সংখ্যাগত বাস্তবায়ন এবং যাচাইকরণ
- তাত্ত্বিক উদ্ভাবন: প্রথমবার অতিক্রমণকারী ম্যাপিংয়ে পেসিন তত্ত্ব সফলভাবে সম্প্রসারিত করা, গুরুত্বপূর্ণ তাত্ত্বিক শূন্যতা পূরণ করা
- প্রযুক্তিগত গভীরতা: অ-বিপরীতযোগ্যতা পরিচালনার জন্য রোখলিন প্রাকৃতিক সম্প্রসারণ চতুরভাবে ব্যবহার করা, উচ্চ প্রযুক্তিগত দক্ষতা প্রদর্শন করা
- সম্পূর্ণ ফলাফল: প্রধান উপপাদ্য প্রদান করা ছাড়াও, সমৃদ্ধ প্রয়োগ এবং সম্পর্কিত তত্ত্ব প্রদান করা
- কঠোর প্রমাণ: সম্পূর্ণ কঠোর গাণিতিক প্রমাণ, স্পষ্ট যুক্তি
- প্রয়োগ মূল্য: অভ্যন্তরীণ ফাংশন এবং পর্যায়ক্রমিক বিন্দু তত্ত্বে গুরুত্বপূর্ণ প্রয়োগ
- অনুমান সীমাবদ্ধতা: প্রধান অনুমান শর্ত শক্তিশালী, বাস্তব প্রয়োগ পরিসীমা সীমিত করতে পারে
- প্রযুক্তিগত প্রবেশদ্বার: একাধিক ক্ষেত্রের গভীর পটভূমির প্রয়োজন, বোঝার প্রবেশদ্বার উচ্চ
- গণনামূলক বাস্তবায়ন: তাত্ত্বিক ফলাফলের বাস্তব গণনা এবং যাচাইকরণ কঠিন হতে পারে
- বিশেষ ক্ষেত্রে: নির্দিষ্ট প্রমাণ বিশেষ জ্যামিতিক এবং বিশ্লেষণাত্মক শর্তের উপর নির্ভর করে
- একাডেমিক মূল্য: অতিক্রমণকারী গতিশীলতা তত্ত্বে গুরুত্বপূর্ণ অবদান, পরবর্তী গবেষণা অনুপ্রাণিত করার প্রত্যাশা
- তাত্ত্বিক তাৎপর্য: ক্লাসিক্যাল গতিশীল সিস্টেম তত্ত্ব এবং আধুনিক জটিল গতিশীলতা সংযোগ করা
- পদ্ধতিগত অবদান: রোখলিন সম্প্রসারণ জটিল গতিশীলতায় প্রয়োগ পদ্ধতিগত মূল্য রয়েছে
- দীর্ঘমেয়াদী প্রভাব: আরও জটিল অতিক্রমণকারী গতিশীলতা ঘটনা বোঝার জন্য ভিত্তি স্থাপন করতে পারে
- তাত্ত্বিক গবেষণা: জটিল গতিশীলতা, এরগোডিক তত্ত্ব, সুরেলা বিশ্লেষণ এবং অন্যান্য ক্ষেত্রের তাত্ত্বিক গবেষণা
- ফাংশন পরিবার বিশ্লেষণ: নির্দিষ্ট অতিক্রমণকারী ফাংশন পরিবারের গতিশীল বৈশিষ্ট্য গবেষণা
- সংখ্যাগত গতিশীলতা: সংখ্যাগত গবেষণার জন্য তাত্ত্বিক নির্দেশনা প্রদান করা
- সম্পর্কিত ক্ষেত্র: ফ্র্যাক্টাল জ্যামিতি, সম্ভাব্যতা তত্ত্ব এবং অন্যান্য সম্পর্কিত ক্ষেত্রে অনুপ্রেরণা থাকতে পারে
পেপারটি সমৃদ্ধ রেফারেন্স অন্তর্ভুক্ত করে, ক্লাসিক্যাল পেসিন তত্ত্ব থেকে আধুনিক অতিক্রমণকারী গতিশীলতার গুরুত্বপূর্ণ কাজ কভার করে, বিশেষত:
- পেসিনের মূল কাজ Pes76, Pes77
- যুক্তিসঙ্গত ম্যাপিংয়ের সম্পর্কিত তত্ত্ব Prz85, Prz93
- অতিক্রমণকারী গতিশীলতা ভিত্তি BDH01, Bol97
- অভ্যন্তরীণ ফাংশন তত্ত্ব DM91, Aar78
- সুরেলা পরিমাপ তত্ত্ব GM05, Pom92
এই পেপারটি অতিক্রমণকারী গতিশীলতা তত্ত্বের গুরুত্বপূর্ণ অগ্রগতি প্রতিনিধিত্ব করে, চতুর প্রযুক্তিগত পরিচালনার মাধ্যমে যুক্তিসঙ্গত থেকে অতিক্রমণকারী ক্ষেত্রে সারাংশগত অসুবিধা সফলভাবে অতিক্রম করে, এই ক্ষেত্রের আরও উন্নয়নের জন্য একটি দৃঢ় ভিত্তি স্থাপন করে।