<p>In this paper, we study simultaneous shrinking target problems in the nonautonomous dynamical systems induced by Cantor series expansions. Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(Q=\{q_{k}\}_{k\ge 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo>=</mo> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>q</mi> <mi>k</mi> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>k</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> be a sequence of positive integers with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(q_{k}\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>q</mi> <mi>k</mi> </msub> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(k\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Put <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(T_{Q}^{n}(x)=q_{1}\cdots q_{n}x-\lfloor q_{1}\cdots q_{n}x\rfloor \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>T</mi> <mrow> <mi>Q</mi> </mrow> <mi>n</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>q</mi> <mn>1</mn> </msub> <mo>⋯</mo> <msub> <mi>q</mi> <mi>n</mi> </msub> <mi>x</mi> <mo>-</mo> <mrow> <mo>⌊</mo> <msub> <mi>q</mi> <mn>1</mn> </msub> <mo>⋯</mo> <msub> <mi>q</mi> <mi>n</mi> </msub> <mi>x</mi> <mo>⌋</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for each <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(n\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, which gives the <i>Q</i>-Cantor series expansion. Let <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(Q_1=\{q_{1,k}\}_{k\ge 1},Q_2=\{q_{2,k}\}_{k\ge 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Q</mi> <mn>1</mn> </msub> <mo>=</mo> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>q</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>k</mi> </mrow> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>k</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> <mo>,</mo> <msub> <mi>Q</mi> <mn>2</mn> </msub> <mo>=</mo> <msub> <mrow> <mo stretchy="false">{</mo> <msub> <mi>q</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>k</mi> </mrow> </msub> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>k</mi> <mo>≥</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> be two sequences as aforesaid and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\varphi _1,\varphi _2:\mathbb {N}\rightarrow \mathbb {R}^{+}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>φ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>φ</mi> <mn>2</mn> </msub> <mo>:</mo> <mi mathvariant="double-struck">N</mi> <mo stretchy="false">→</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> be two positive functions. We determine the Lebesgue measure of the set <Equation ID="Equ18"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ (x,y)\in [0,1]^2:\begin{aligned}&amp;|T^n_{Q_1}(x)-x_0|&lt;\varphi _1(n) \\ &amp;|T^n_{Q_2}(y)-y_0|&lt;\varphi _2(n) \end{aligned}~\text {{i.o.}}\right\} , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfenced close="}" open="{"> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mn>2</mn> </msup> <mo>:</mo> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msubsup> <mi>T</mi> <msub> <mi>Q</mi> <mn>1</mn> </msub> <mi>n</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msub> <mi>x</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">|</mo> <mo>&lt;</mo> </mrow> <msub> <mi>φ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msubsup> <mi>T</mi> <msub> <mi>Q</mi> <mn>2</mn> </msub> <mi>n</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msub> <mi>y</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">|</mo> <mo>&lt;</mo> </mrow> <msub> <mi>φ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> <mspace width="3.33333pt" /> <mtext>i.o.</mtext> </mfenced> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(x_0,y_0\in [0,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo>,</mo> <msub> <mi>y</mi> <mn>0</mn> </msub> <mo>∈</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and i.o. stands for infinitely often. Let <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(f_1,f_2:[0,1]\rightarrow [0,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>f</mi> <mn>2</mn> </msub> <mo>:</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be two Lipschitz functions and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\tau _1,\tau _2:[0,1]\rightarrow \mathbb {R}^{+}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>τ</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>τ</mi> <mn>2</mn> </msub> <mo>:</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">→</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> be two positive continuous functions. We determine the Hausdorff dimension of the set <Equation ID="Equ19"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ (x,y)\in [0,1]^2:\begin{aligned}&amp;|T^n_{Q_1}(x)-f_1(x)|&lt;(q_{1,1}\cdots q_{1,n})^{-\tau _1(x)} \\ &amp;|T^n_{Q_2}(y)-f_2(y)|&lt;(q_{2,1}\cdots q_{2,n})^{-\tau _2(y)} \end{aligned}~\text {{i.o.}}\right\} . \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfenced close="}" open="{"> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mn>2</mn> </msup> <mo>:</mo> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msubsup> <mi>T</mi> <msub> <mi>Q</mi> <mn>1</mn> </msub> <mi>n</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msub> <mi>f</mi> <mn>1</mn> </msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>&lt;</mo> </mrow> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>q</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> <mo>⋯</mo> <msub> <mi>q</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <msub> <mi>τ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msup> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msubsup> <mi>T</mi> <msub> <mi>Q</mi> <mn>2</mn> </msub> <mi>n</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msub> <mi>f</mi> <mn>2</mn> </msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>&lt;</mo> </mrow> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>q</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> <mo>⋯</mo> <msub> <mi>q</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <msub> <mi>τ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> <mspace width="3.33333pt" /> <mtext>i.o.</mtext> </mfenced> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>At the same time, the Hausdorff dimension of the set <Equation ID="Equ20"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ (x,y)\in [0,1]^2:\begin{aligned}&amp;|T^n_{Q_1}(x)-g_1(x,y)|&lt;(q_{1,1}\cdots q_{1,n})^{-\tau _1(x)} \\ &amp;|T^n_{Q_2}(y)-g_2(x,y)|&lt;(q_{2,1}\cdots q_{2,n})^{-\tau _2(y)} \end{aligned}~\text {{i.o.}}\right\} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced close="}" open="{"> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mn>2</mn> </msup> <mo>:</mo> <mrow> <mtable> <mtr> <mtd /> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msubsup> <mi>T</mi> <msub> <mi>Q</mi> <mn>1</mn> </msub> <mi>n</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msub> <mi>g</mi> <mn>1</mn> </msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>&lt;</mo> </mrow> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>q</mi> <mrow> <mn>1</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> <mo>⋯</mo> <msub> <mi>q</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <msub> <mi>τ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msup> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow /> </mtd> <mtd columnalign="left"> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msubsup> <mi>T</mi> <msub> <mi>Q</mi> <mn>2</mn> </msub> <mi>n</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msub> <mi>g</mi> <mn>2</mn> </msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>&lt;</mo> </mrow> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>q</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>1</mn> </mrow> </msub> <mo>⋯</mo> <msub> <mi>q</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <msub> <mi>τ</mi> <mn>2</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> <mspace width="3.33333pt" /> <mtext>i.o.</mtext> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>is also determined, where <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(g_1,g_2:[0,1]^2\rightarrow [0,1]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>g</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>g</mi> <mn>2</mn> </msub> <mo>:</mo> <msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mn>2</mn> </msup> <mo stretchy="false">→</mo> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are two Lipschitz functions.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Simultaneous shrinking target problems in the nonautonomous dynamical systems corresponding to Cantor series expansions

  • Zhipeng Shen

摘要

In this paper, we study simultaneous shrinking target problems in the nonautonomous dynamical systems induced by Cantor series expansions. Let \(Q=\{q_{k}\}_{k\ge 1}\) Q = { q k } k 1 be a sequence of positive integers with \(q_{k}\ge 2\) q k 2 for all \(k\ge 1\) k 1 . Put \(T_{Q}^{n}(x)=q_{1}\cdots q_{n}x-\lfloor q_{1}\cdots q_{n}x\rfloor \) T Q n ( x ) = q 1 q n x - q 1 q n x for each \(n\ge 1\) n 1 , which gives the Q-Cantor series expansion. Let \(Q_1=\{q_{1,k}\}_{k\ge 1},Q_2=\{q_{2,k}\}_{k\ge 1}\) Q 1 = { q 1 , k } k 1 , Q 2 = { q 2 , k } k 1 be two sequences as aforesaid and \(\varphi _1,\varphi _2:\mathbb {N}\rightarrow \mathbb {R}^{+}\) φ 1 , φ 2 : N R + be two positive functions. We determine the Lebesgue measure of the set \(\begin{aligned} \left\{ (x,y)\in [0,1]^2:\begin{aligned}&|T^n_{Q_1}(x)-x_0|<\varphi _1(n) \\ &|T^n_{Q_2}(y)-y_0|<\varphi _2(n) \end{aligned}~\text {{i.o.}}\right\} , \end{aligned}\) ( x , y ) [ 0 , 1 ] 2 : | T Q 1 n ( x ) - x 0 | < φ 1 ( n ) | T Q 2 n ( y ) - y 0 | < φ 2 ( n ) i.o. , where \(x_0,y_0\in [0,1]\) x 0 , y 0 [ 0 , 1 ] and i.o. stands for infinitely often. Let \(f_1,f_2:[0,1]\rightarrow [0,1]\) f 1 , f 2 : [ 0 , 1 ] [ 0 , 1 ] be two Lipschitz functions and \(\tau _1,\tau _2:[0,1]\rightarrow \mathbb {R}^{+}\) τ 1 , τ 2 : [ 0 , 1 ] R + be two positive continuous functions. We determine the Hausdorff dimension of the set \(\begin{aligned} \left\{ (x,y)\in [0,1]^2:\begin{aligned}&|T^n_{Q_1}(x)-f_1(x)|<(q_{1,1}\cdots q_{1,n})^{-\tau _1(x)} \\ &|T^n_{Q_2}(y)-f_2(y)|<(q_{2,1}\cdots q_{2,n})^{-\tau _2(y)} \end{aligned}~\text {{i.o.}}\right\} . \end{aligned}\) ( x , y ) [ 0 , 1 ] 2 : | T Q 1 n ( x ) - f 1 ( x ) | < ( q 1 , 1 q 1 , n ) - τ 1 ( x ) | T Q 2 n ( y ) - f 2 ( y ) | < ( q 2 , 1 q 2 , n ) - τ 2 ( y ) i.o. . At the same time, the Hausdorff dimension of the set \(\begin{aligned} \left\{ (x,y)\in [0,1]^2:\begin{aligned}&|T^n_{Q_1}(x)-g_1(x,y)|<(q_{1,1}\cdots q_{1,n})^{-\tau _1(x)} \\ &|T^n_{Q_2}(y)-g_2(x,y)|<(q_{2,1}\cdots q_{2,n})^{-\tau _2(y)} \end{aligned}~\text {{i.o.}}\right\} \end{aligned}\) ( x , y ) [ 0 , 1 ] 2 : | T Q 1 n ( x ) - g 1 ( x , y ) | < ( q 1 , 1 q 1 , n ) - τ 1 ( x ) | T Q 2 n ( y ) - g 2 ( x , y ) | < ( q 2 , 1 q 2 , n ) - τ 2 ( y ) i.o. is also determined, where \(g_1,g_2:[0,1]^2\rightarrow [0,1]\) g 1 , g 2 : [ 0 , 1 ] 2 [ 0 , 1 ] are two Lipschitz functions.