Frazioni continue ed esponenti di irrazionalità per serie di Engel e Pierce modificate

Informazioni di base

• ID articolo: 1810.10127
• Titolo: Continued fractions and irrationality exponents for modified Engel and Pierce series
• Autori: Andrew N. W. Hone (University of Kent), Juan Luis Varona (Universidad de La Rioja)
• Classificazione: math.NT (Teoria dei Numeri)
• Data di pubblicazione: 23 ottobre 2018
• Link articolo: https://arxiv.org/abs/1810.10127

Riassunto

Questo articolo indaga lo sviluppo in frazioni continue e gli esponenti di irrazionalità delle serie di Engel e Pierce modificate. Una serie di Engel è la somma dei reciproci di una sequenza non decrescente di interi positivi $(x_n)$, dove ogni termine è divisibile dal precedente; una serie di Pierce è una serie alternata di reciproci di una sequenza con la medesima proprietà. Gli autori dimostrano che per ogni numero razionale esiste una classe di serie di Engel tale che, quando sommate a quel numero razionale, il numero trascendente risultante $\alpha$ ha uno sviluppo in frazioni continue esplicitamente determinato dalla corrispondente sequenza $(x_n)$, generata da una relazione di ricorrenza non lineare del secondo ordine. L'articolo fornisce inoltre risultati analoghi per numeri razionali sommati o sottratti a serie di Pierce, provando che in entrambi i casi l'esponente di irrazionalità è limitato inferiormente da $(3+\sqrt{5})/2$, e identifica una famiglia infinita di numeri trascendenti per i quali l'esponente di irrazionalità può essere calcolato esattamente.

Contesto di ricerca e motivazione

Contesto del problema

1. Serie di Engel e Pierce: Queste due classi di serie sono importanti generalizzazioni dello sviluppo in frazioni continue, possedendo proprietà ricorsive e metriche analoghe
2. Costruzione di numeri trascendenti: La ricerca di numeri trascendenti con sviluppi in frazioni continue espliciti è un problema importante nella teoria dei numeri
3. Teoria degli esponenti di irrazionalità: L'esponente di irrazionalità $\mu(\alpha)$ misura quanto facilmente un numero reale $\alpha$ possa essere approssimato da numeri razionali; il teorema di Roth afferma che l'esponente di irrazionalità di un numero algebrico irrazionale è 2

Motivazione della ricerca

1. Estensione di risultati precedenti: Basandosi su lavori precedenti degli autori, estendere le pure serie di Engel/Pierce a combinazioni di numeri razionali con queste serie
2. Calcolo esatto: Non solo fornire limiti inferiori per gli esponenti di irrazionalità, ma trovare famiglie infinite per le quali l'esponente di irrazionalità possa essere calcolato esattamente
3. Quadro unificato: Fornire un framework teorico unificato per le serie di Engel e Pierce modificate

Contributi principali

1. Estensione del teorema di costruzione delle frazioni continue: Combinare un numero razionale arbitrario $p/q$ con una serie di Engel o Pierce, fornendo sviluppi in frazioni continue espliciti
2. Miglioramento del limite inferiore dell'esponente di irrazionalità: Provare che l'esponente di irrazionalità $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$ per tutti questi numeri trascendenti
3. Calcolo esatto dell'esponente di irrazionalità: Identificare infinite famiglie di numeri trascendenti per i quali l'esponente di irrazionalità possa essere calcolato esattamente
4. Costruzione di serie con proprietà di divisibilità forte: Per serie di Engel soddisfacenti la condizione più forte $x_j^2|x_{j+1}$, fornire una costruzione completa delle frazioni continue

Dettagli metodologici

Definizione del compito

Investigare lo sviluppo in frazioni continue e l'esponente di irrazionalità di numeri trascendenti della forma:

• Serie di Engel modificata: $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$
• Serie di Pierce modificata: $\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}$

dove la sequenza $(x_n)$ soddisfa $x_j|x_{j+1}$ ed è generata da una relazione di ricorrenza non lineare.

Relazione di ricorrenza centrale

Le sequenze $(x_n)$ e $(y_n)$ sono definite dalla seguente relazione: $y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1$

dove $x_1 = q$ e $(u_n)$ è una sequenza di interi positivi. Questo implica che $x_n$ soddisfa una ricorrenza non lineare del secondo ordine: $x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2$

Teoremi principali

Teorema 2.1 (Serie di Engel modificata): Per $\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}$ prendendo $y_0 = mq + q_{2k-1} + 1$, lo sviluppo in frazioni continue di $\alpha$ è:

• I primi $2k+1$ termini coincidono con quelli di $p/q$
• $a_{2k+1} = m + u_1 y_0$
• $a_{2k+2j} = x_j$, $a_{2k+2j+1} = u_{j+1}y_j$ per $j \geq 1$

Teoremi 2.2 e 2.4 (Serie di Pierce modificata): Forniscono formule analoghe per lo sviluppo in frazioni continue della serie di Pierce, ma con una struttura più complessa, coinvolgendo un pattern 3-periodico.

Analisi dell'esponente di irrazionalità

Lemma 3.1: Il tasso di crescita della sequenza soddisfa $x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}$

Questo è provato per induzione, utilizzando la relazione di ricorrenza $\rho_{k+1} = 3 - \rho_k^{-1}$, dove $\rho_k$ è l'indice di crescita.

Teorema 3.3: Quando $u_n$ è un polinomio in $x_n$, l'esponente di irrazionalità può essere calcolato esattamente: $\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$ dove $d$ è il grado del polinomio.

Configurazione sperimentale

Verifica teorica

Questo articolo è principalmente un lavoro teorico, con risultati verificati attraverso dimostrazioni matematiche rigorose. I metodi di verifica principali includono:

1. Dimostrazione per induzione: Provare che le somme parziali uguagliano convergenti specifici
2. Analisi asintotica: Analizzare il comportamento di crescita della sequenza
3. Metodo matriciale: Utilizzare la rappresentazione matriciale delle frazioni continue

Esempi concreti

Esempio 4.4: Per $q = 5$, $z_j = (j+1)^2 + 1$, sono costruiti sviluppi in frazioni continue per 4 diversi valori di $p$, dimostrando l'applicazione concreta del metodo.

Risultati sperimentali

Risultati principali

1. Limite inferiore dell'esponente di irrazionalità: L'esponente di irrazionalità di tutte le serie di Engel/Pierce modificate soddisfa $\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618$, migliorando significativamente il precedente limite di $5/2 = 2.5$
2. Calcolo esatto: Per forme specifiche della sequenza $(u_n)$, l'esponente di irrazionalità può essere calcolato esattamente come $\lambda = \frac{d+2+\sqrt{d(d+4)}}{2}$
3. Costruzione di famiglie infinite: Il Teorema 3.4 prova che per ogni $\nu \geq (3+\sqrt{5})/2$, esistono infiniti numeri trascendenti con esponente di irrazionalità esattamente uguale a $\nu$

Scoperte teoriche

1. Pattern di crescita: Il tasso di crescita della sequenza $(x_n)$ è determinato dalla bisezione dei numeri di Fibonacci
2. Struttura delle frazioni continue: Lo sviluppo in frazioni continue della serie di Pierce modificata presenta un pattern 3-periodico
3. Costruzione ricorsiva: Le frazioni continue sotto la condizione di divisibilità forte possiedono una struttura ricorsiva con lunghezze approssimativamente raddoppiate

Lavori correlati

Contesto storico

1. Teoria classica: Gli sviluppi di Engel e Pierce sono importanti generalizzazioni delle frazioni continue
2. Proprietà metriche: Questi sviluppi sono simili alle frazioni continue sotto l'aspetto della teoria metrica
3. Ricerca sulla trascendenza: Le serie generate da sequenze a crescita rapida sono tipicamente trascendenti

Lavori precedenti

1. Hone (2015, 2016, 2017): Stabilisce la teoria fondamentale delle frazioni continue per serie di Engel
2. Varona (2017): Estende i risultati alle serie di Pierce
3. Lavori di Shallit e altri: Investigano forme speciali di serie di Engel

Innovazioni di questo articolo

1. Generalizzazione: Estensione da pure serie a combinazioni di numeri razionali e serie
2. Parametrizzazione: Introduzione del parametro $m$ per aumentare la flessibilità della costruzione
3. Calcolo esatto: Non solo fornire limiti inferiori, ma calcolare esattamente gli esponenti di irrazionalità

Conclusioni e discussione

Conclusioni principali

1. I numeri trascendenti prodotti da serie di Engel/Pierce modificate possiedono sviluppi in frazioni continue espliciti
2. L'esponente di irrazionalità di questi numeri è almeno $(3+\sqrt{5})/2$ e può essere calcolato esattamente
3. Esistono famiglie infinite di numeri trascendenti con esponenti di irrazionalità arbitrariamente grandi

Limitazioni

1. Forme speciali: Il metodo si applica solo a sequenze generate da specifiche relazioni di ricorrenza
2. Complessità computazionale: Il calcolo dello sviluppo in frazioni continue può essere complesso
3. Ambito di applicazione: I risultati sono principalmente teorici, con applicazioni pratiche limitate

Direzioni future

1. Estensione ad altre serie: Investigare serie di forme più generali
2. Metodi computazionali: Sviluppare algoritmi efficienti per il calcolo delle frazioni continue
3. Esplorazione di applicazioni: Cercare applicazioni nell'approssimazione diofantea

Valutazione approfondita

Punti di forza

1. Profondità teorica: Combina la teoria delle frazioni continue, le relazioni di ricorrenza e la teoria dei numeri trascendenti
2. Completezza dei risultati: Non solo fornisce risultati di esistenza, ma anche dimostrazioni costruttive
3. Innovazione tecnica: Migliora le tecniche di stima degli esponenti di irrazionalità
4. Framework unificato: Fornisce un trattamento unificato delle serie di Engel e Pierce

Punti deboli

1. Complessità delle dimostrazioni: Alcune dimostrazioni sono piuttosto tecniche e la leggibilità potrebbe essere migliorata
2. Esempi limitati: Relativamente pochi esempi numerici concreti
3. Contesto applicativo: La natura teorica è predominante; il valore di applicazione pratica non è sufficientemente evidente

Impatto

1. Contributo accademico: Fornisce nuovi metodi di costruzione di numeri trascendenti nel campo della teoria dei numeri
2. Valore teorico: Migliora risultati importanti nella teoria degli esponenti di irrazionalità
3. Estensibilità: Fornisce framework e strumenti per ricerche successive

Scenari di applicabilità

1. Ricerca in teoria dei numeri: Teoria dei numeri trascendenti e approssimazione diofantea
2. Teoria delle frazioni continue: Costruzione e studio di proprietà di frazioni continue speciali
3. Sequenze ricorsive: Applicazioni di relazioni di ricorrenza non lineari

Bibliografia

L'articolo cita 17 importanti riferimenti, coprendo la teoria classica e i risultati più recenti in teoria delle frazioni continue, serie di Engel/Pierce, teoria dei numeri trascendenti e teoria degli esponenti di irrazionalità, fornendo ai lettori un contesto teorico completo.

Valutazione complessiva: Questo è un articolo di alta qualità in teoria dei numeri che raggiunge progressi importanti nella teoria delle frazioni continue per serie di Engel e Pierce modificate. Sebbene di natura principalmente teorica, fornisce strumenti e intuizioni di valore per la ricerca nei campi correlati.