Skip to main content
edited title
Source Link
Hu xiyu
  • 697
  • 3
  • 13

A high dimensional generation of Dirichlet approximation theorem, linear case and nonlinear case

I am working with something on Diophantine approximation, and I found a high dimensional generation of Dirichlet approximation theorem which may be true; I will be very happy if this is true. The statement is following:

Dirichlet approximation theorem, high dimensional generation Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there are infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$|x-\sum_{i=1}^n c_i\alpha_i|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$.

It is not difficult to see this conjecture coincides with the classical Dirichlet problem when $n=1$.

Has this problem been studied? As the problem is so natural, I think it should be a classical result but I can not find it in classical books in Diophantine approximation.

I will appreciate for point out a reference or some advice, thanks!

..............................................................................................................................................................

We can not get a proof more or less the same with Dirichlet approximation theorem. 

Now let us consider a more nontrivial one, if we do some distortion on the linear structure, for example, is it true that:

conjecture Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there are infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$min_{1\leq k\leq n}|x-\sigma_k(c_1\alpha_1,...,c_n\alpha_n)|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$. $\sigma_k$ is the $k-$th symmetric sum, i.e. $$\sigma_k(\alpha_1,...,\alpha_n)=\sum_{1\leq i_1<...<i_k\leq n}\Pi_{j=1}^k\alpha_{i_j}$$

A high dimensional generation of Dirichlet approximation theorem, nonlinear case

I am working with something on Diophantine approximation, and I found a high dimensional generation of Dirichlet approximation theorem which may be true; I will be very happy if this is true. The statement is following:

Dirichlet approximation theorem, high dimensional generation Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there are infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$|x-\sum_{i=1}^n c_i\alpha_i|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$.

It is not difficult to see this conjecture coincides with the classical Dirichlet problem when $n=1$.

Has this problem been studied? As the problem is so natural, I think it should be a classical result but I can not find it in classical books in Diophantine approximation.

I will appreciate for point out a reference or some advice, thanks!

..............................................................................................................................................................

We can get a proof more or less the same with Dirichlet approximation theorem. Now let us consider a more nontrivial one, if we do some distortion on the linear structure, for example, is it true that:

conjecture Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there are infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$min_{1\leq k\leq n}|x-\sigma_k(c_1\alpha_1,...,c_n\alpha_n)|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$. $\sigma_k$ is the $k-$th symmetric sum, i.e. $$\sigma_k(\alpha_1,...,\alpha_n)=\sum_{1\leq i_1<...<i_k\leq n}\Pi_{j=1}^k\alpha_{i_j}$$

A high dimensional generation of Dirichlet approximation theorem, linear case and nonlinear case

I am working with something on Diophantine approximation, and I found a high dimensional generation of Dirichlet approximation theorem which may be true; I will be very happy if this is true. The statement is following:

Dirichlet approximation theorem, high dimensional generation Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there are infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$|x-\sum_{i=1}^n c_i\alpha_i|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$.

It is not difficult to see this conjecture coincides with the classical Dirichlet problem when $n=1$.

Has this problem been studied? As the problem is so natural, I think it should be a classical result but I can not find it in classical books in Diophantine approximation.

I will appreciate for point out a reference or some advice, thanks!

..............................................................................................................................................................

We can not get a proof more or less the same with Dirichlet approximation theorem. 

Now let us consider a more nontrivial one, if we do some distortion on the linear structure, for example, is it true that:

conjecture Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there are infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$min_{1\leq k\leq n}|x-\sigma_k(c_1\alpha_1,...,c_n\alpha_n)|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$. $\sigma_k$ is the $k-$th symmetric sum, i.e. $$\sigma_k(\alpha_1,...,\alpha_n)=\sum_{1\leq i_1<...<i_k\leq n}\Pi_{j=1}^k\alpha_{i_j}$$

I am workworking with something on diophantineDiophantine approximation, and I finefound a high dimensional generation of Dirichlet approximation theorem seems towhich may be true,true; I will be very happy if this is true. theThe statement is following:

Dirichlet approximation theorem, high dimensional generation Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there is infiniteare infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$|x-\sum_{i=1}^n c_i\alpha_i|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$.

It is not difficult to see this conjecture coincidecoincides with the classical dirichletDirichlet problem when $n=1$.

HaveHas this problem been studied? Do toAs the problem is so natural, I think it should be a classical result but I can not find it in classical books in diophantineDiophantine approximation.

I will appreciate for point out a reference or some advice, thanks!

..............................................................................................................................................................

We can get a proof more or less the same with Dirichlet approximation theorem. Now let us consider a more nontrivial one, if we do some distortion on the linear structure, for example, is it true that:

conjecture Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there is infiniteare infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$min_{1\leq k\leq n}|x-\sigma_k(c_1\alpha_1,...,c_n\alpha_n)|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$. $\sigma_k$ is the $k-$th symmetric sum, i.e. $$\sigma_k(\alpha_1,...,\alpha_n)=\sum_{1\leq i_1<...<i_k\leq n}\Pi_{j=1}^k\alpha_{i_j}$$

I am work with something on diophantine approximation, and I fine a high dimensional generation of Dirichlet approximation theorem seems to be true, I will be very happy if this is true. the statement is following:

Dirichlet approximation theorem, high dimensional generation Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there is infinite many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$|x-\sum_{i=1}^n c_i\alpha_i|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$.

It is not difficult to see this conjecture coincide with the classical dirichlet problem when $n=1$.

Have this problem been studied? Do to the problem is so natural I think it should be a classical result but I can not find it in classical books in diophantine approximation.

I will appreciate for point out a reference or some advice, thanks!

..............................................................................................................................................................

We can get a proof more or less the same with Dirichlet approximation theorem. Now let us consider a more nontrivial one, if we do some distortion on the linear structure, for example, is it true that:

conjecture Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there is infinite many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$min_{1\leq k\leq n}|x-\sigma_k(c_1\alpha_1,...,c_n\alpha_n)|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$. $\sigma_k$ is the $k-$th symmetric sum, i.e. $$\sigma_k(\alpha_1,...,\alpha_n)=\sum_{1\leq i_1<...<i_k\leq n}\Pi_{j=1}^k\alpha_{i_j}$$

I am working with something on Diophantine approximation, and I found a high dimensional generation of Dirichlet approximation theorem which may be true; I will be very happy if this is true. The statement is following:

Dirichlet approximation theorem, high dimensional generation Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there are infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$|x-\sum_{i=1}^n c_i\alpha_i|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$.

It is not difficult to see this conjecture coincides with the classical Dirichlet problem when $n=1$.

Has this problem been studied? As the problem is so natural, I think it should be a classical result but I can not find it in classical books in Diophantine approximation.

I will appreciate for point out a reference or some advice, thanks!

..............................................................................................................................................................

We can get a proof more or less the same with Dirichlet approximation theorem. Now let us consider a more nontrivial one, if we do some distortion on the linear structure, for example, is it true that:

conjecture Let $\alpha_1,..,\alpha_n\in \mathbb R$ be n linear independent numbers on $\mathbb Q$. Then $\forall x\notin \mathbb Q(\alpha_1,...,\alpha_n)$, there are infinitely many tuples $c-(c_1,...,c_n)\in \mathbb Q^n$ such that, $$min_{1\leq k\leq n}|x-\sigma_k(c_1\alpha_1,...,c_n\alpha_n)|<\frac{1}{\|c\|^{n+1}_{hight}}$$ Where $\|c\|_{hight}:=\max_i \{\|c_i\|_{hight}\}$, $\|c_i\|_{hight}=\max {\{|p|,|q|, c_i=\frac{q}{p}, (p,q)=1\}}$. $\sigma_k$ is the $k-$th symmetric sum, i.e. $$\sigma_k(\alpha_1,...,\alpha_n)=\sum_{1\leq i_1<...<i_k\leq n}\Pi_{j=1}^k\alpha_{i_j}$$

edited title
Link
Hu xiyu
  • 697
  • 3
  • 13

A high dimensional generation of Dirichlet approximation theorem, linearnonlinear case

added 959 characters in body
Source Link
Hu xiyu
  • 697
  • 3
  • 13
Loading
Source Link
Hu xiyu
  • 697
  • 3
  • 13
Loading