0.1. EQUAC OES DIOFANTINAS EXPONENCIAL Resultados, refer encias, etc ainda n ao estar em suas formas nais.

. Parte 1. A princ pio Hasse tipo de equa co es exponenciais Diofantinas 1/a formula c ao do princ pio (conjectura) 1/b Conex oes com uma conjectura de Skolem e resultados relacionados conhecidos 1/c Um novo resultado te orico - o princ pio e quase semprev alido 1/d Os resultados num ericos para apoiar o princ pio

Parte 2. Aplica c ao: solu c ao completa de equa c oes exponencial Diofantina em v arias condi c oes e inc ognitas 2/a conhecidos resultados da literatura 2/b O esquema de aplica c ao 2/c Os resultados num ericos Os resultados apresentados s ao conjunta com Csan ad Bert ok.

0.1

Equa c oes Diofantinas Exponencial

Seja a1 , , ak , b11 , , b1 , , Bk1 , , bk estar inteiros diferentes de zero, c ser um inteiro. Considere a equa c ao exponencial Diofantina a1 b11 11 b1l 1l + + ak bk1 k1 bkl kl = c(1) em inteiros n ao negativos 11 , , 1l , , k1 , , kl . Ou seja, n os consideramos equa c oes como 5 2 7 15 10 17 22 + 3 7 17 = 101.

0.2

Breve hist oria da equa c ao (1)

A teoria ecaz e inecaz de (1) tem uma hist oria longa. Em caso de k = 2, pelo m etodo de Baker e poss vel dar limites expl citos para os expoentes 11 , , 1l , 21 , , 2l . Ver resultados de Gyory (1979, 1992, 2002), Shorey, Tijdeman (1986), Evertse, Gyory, Stewart Tijdeman (1988), Bugeaud, Gyory (1996), Gyory, Yu (2006) e muitos outros, tamb em sobre os dom nios mais gerais. Pelos resultados de Vojta (1983) e Bennett (2010), as solu c oes de (1) pode ainda ser efetivamente determinado para k = 3, 4, em algumas outras hip oteses restritivas.

0.3

Breve hist oria da equa c ao (1) - continuou

No caso de k 2, com a ajuda do teorema subespa co e poss vel dar expl citas limites para o n umero de solu c oes da equa c ao (1) que n ao tenham subsums fuga. Ver resultados Evertse (1984), Evertse, Gyory (1985, 1988), Evertse, Gyory, Stewart Tijdeman (1988), Evertse, Schlickewei, Schmidt (2002), Evertse, Zannier (2008) e muitos outros, tamb em sobre os dom nios mais gerais.

0.4

Um princ pio de Hasse-tipo para a equa c ao (1)

N os propomos o seguinte Nova conjectura. Suponha que a equa c ao (1) n ao tem solu c oes. em seguida existe um inteiro m com m 2 tal que a congru encia
l l 1 1 a1 b 11 b1l + + ak bk1 bkl c(

(mod m))

n ao tem solu c oes em inteiros n ao negativos, 11 , , 1l , , k1 , , kl . A conjectura e uma generaliza c ao de uma conjectura cl assica de Skolem (1937).

0.5

A conjectura de Skolem (1937)

A conjectura original da Skolem (1937) e o seguinte: Usando a nota c ao anterior, considere a equa c ao exponencial Diofantina
l l 1 1 a 1 b 11 b1l + + ak bk1 bkl = 0.(3)

Suponha que a equa c ao (3) n ao e solucion avel. Em seguida, a congru encia

l l 1 1 a1 b 11 b1l + + ak bk1 bkl 0

(mod m)

n ao tem solu c ao para algum inteiro m 2. Na verdade, a conjectura de Skolem foi formulado para n umeros alg ebricos. No entanto, o New Conjectura tamb em pode ter como uma variante.

0.6

Comparando-se as conjecturas

No Novo conjectura, podemos ter um n umero inteiro arbitr ario c no lado direito. Na conjectura de Skolem os expoentes de bij para i = 1, , k e o mesmo j (j = 1, , l). Ainda assim, o princ pio subjacente a ambos congruencias e o mesmo.

0.7

Resultados conhecidos

Schinzel (1975): Pora k = 1 as conjecturas s ao verdadeiras (mesmo em forma astronger). Bartolome, Bilu, Luca (2013): Em caso de l = 1, ou seja, para equa c oes da forma
a1 b 1 + + ak bk = 0

a conjectura de Skolem e verdade, desde que o grupo multiplicativo gerado pelo b1 , , bk e de grau um. (O resultado e v alido sobre os campos de n umeros, tamb em.) Al em destes, h a muitos resultados interessantes sobre a conjectura de Skolem sobre os campos de fun c ao devido ao Sun (201?), E sobre o caso k = 2, devido a Schinzel (1975, 1980, 2003) e Broughan, Luca (2010 ) e outros.

0.8

Novos resultados

O pr oximo teorema mostra que o New conjectura e quase semprev alido. Teorema 1. (Bert ok, H, 201?). Deixe b11 , , b1l , , bk1 , , bkl ser corrigido, e que H o conjunto da m ao direita lados c para os quais a Nova Conjectura e violada, isto e H = {c : c um inteiro para qual (1) n ao pode ser resolvido, mas (2) tem solu c ao para todos os m}. Ent ao H tem densidade de zero no interior do conjunto H0 = {c : c e um inteiro para qual (1) n ao e solucion avel}.

0.9

Novos resultados - continua c ao

Na verdade Teorema 1 e uma conseq u encia do seguinte resultado. Deixe (m) ser a fun c ao Carmichael do inteiro positivo m, que e o n umero inteiro positivo para o qual pelo menos b(m) 1( (mod m))

para todos os b Z com mdc(b, m) = 1. Teorema 2. (Bert ok, H, 201?). Existem constantes positivas C1 , C2 tal que para qualquer r inteiro e para cada grande inteiro i existe um inteiro m com r m, e log m [log i + log r, (log i)C1 + log r], (m) < r(log m/r)C2 log log log m/r

 0.10. OBSERVAC OES SOBRE TEOREMA 2.

0.10

Observa co es sobre Teorema 2.

A declara c ao e uma varia c ao de um teorema de Erdos, Pomerance, Schmutz (1991) e Tijdeman, H (2011). A diferen ca importante e a exig encia adicional de que os m odulos apropriada deve ser divis vel por um n umero xo r. Esta rela c ao vai desempenhar um papel importante nas aplica c oes mais tarde. A prova e construtivono sentido de que uma seq u encia de m odulos adequados m s ao dadas. Eles s ao produtos de n umeros primos p tendo apenas pequenosfatores primos. Isso j a aparece na vers ao original devido ` a Erdos, Pomerance, Schmutz (1991)

0.11

Os resultados num ericos apoiar o New Conjectura

Dimitrov, Hoewe (2011) comprovou a insolvabilidade de equa c oes da forma 21 31 2t 3t = Ct para t 6, para valores particulares de Ct . Teorema 3. (Bert ok, H, 201?). Sejam p1 , p2 , p3 primos distintos inferior a 100, e 0 c 1000. Ent ao, o New conjectura e v alida para as equa c oes
2 1 p 1 p2 = c

e
2 3 1 p 1 + p2 p3 = c

Teorema 4. (Bert ok, H, 201?). Deixe p1 < < pt primos menos de 30 com 4 Em seguida, o Novo conjectura e v alido para a equa c ao
t t1 1 p 1 + + pt1 pt = c

8e0

1000.