TARDÍGRADOS

Ciencia en español -ʟᴀ ʀᴀᴢóɴ ᴇsᴛá ᴀʜí ғᴜᴇʀᴀ-

Archive for the ‘Matemáticas’ Category

Hoy es el día del número π

Posted by Albert Zotkin en marzo 14, 2019

Hoy es el Día del número π, la fecha es 3/14/2019, pero sólo para quien escribe en inglés. Para nosotros, que hablamos y escribimos en español, en el formato de la fecha, primero escribimos el día del mes, después el mes y por último el año. Es decir hoy es 14/3/2019. Por lo tanto, para nosotros los hispanohablantes, hoy no es el Día del número π. De hecho, nosotros los españoles, celebramos el número π dos veces al día. A las 3 horas 14 minutos y 15 segundos de la tarde, y otra vez a la misma hora de la madrugada. ¿Por qué?. Porque somos más chulos que los sajones 😛

Al parecer, el Día del número π se le ocurrió al físico Larry Shawn, que a la sazón trabajaba en el Museo de la Ciencia Exploratorium de San Francisco. Otra curiosidad es el “lamentable” suceso de que Albert Einstein naciera el Día del número π del año 1879 (quizás por esa razón el número π aparece dentro de la ecuación de campo del susodicho personaje). Pero eso no es todo. Siguiendo la broma sajona del Día de π, tendremos que 2π = 6.28, sería el día 28 del mes de Junio. Pero, ese día del año 1971 nació Elon Musk, asi que no sigamos por esa senda.

Y para terminar esta breve reseña del número π, os dejo una fórmula hallada por mí:

\displaystyle   3 \prod _{n=1}^{\infty }\frac{36 n^2}{36 n^2 -1}=\pi

que, como se puede comprobar, se parece mucho a la hallada por el matemático John Wallis en 1605:

\displaystyle   2 \prod _{n=1}^{\infty }\frac{4 n^2}{4 n^2 -1}=\pi

Saludos

Anuncios

Posted in curiosidades y analogías, Matemáticas | Etiquetado: , , , , , , , | Leave a Comment »

Cienciología y ondas gravitacionales

Posted by Albert Zotkin en noviembre 3, 2018

Los que creen en la existencia de las ondas gravitacionales son llamados wavebudos (del inglés wave = onda, y del español embudo = objeto ancho por un lado y estrecho por el otro). Aquellos que creen que LIGO detectó realmente ondas gravitacionales, además de wavebudos, pertenecen a la secta de los LIGOrianos. Lo que LIGO nos viene presentando como “verdad absoluta” se llama pseudociencia. Cuando rara vez responden por escrito a las criticas o dudas de su “verdad absoluta“, siempre, en el mejor de los casos, empiezan y acaban diciendo que esos críticos no han entendido bien sus datos ni sus métodos, y sus creyentes LIGOrianos se lo creen.
ligo
¿Qué diferencias hay entre la secta llamada Iglesia de la Cienciología y LIGO?. Básicamente ninguna. Ambas sectas son un sistema de creencias que utilizan la ciencia como fundamento y justificación de su culto, pero en realidad, son solo eso, sectas religiosas. Aquellos que desde dentro o desde fuera, defienden esos credos, la única razón que les asiste es la fe, es decir, la anti-razón. Cuando alguien que posee prestigio científico (aunque, en muchos casos, no se sepa muy bien en qué consiste eso de tener prestigio, o por qué se llegó a tenerlo) le dice a los legos en la materia que han detectado ondas gravitacionales, esos legos en la materia tienen dos opciones, creérselo o no. Los que se lo creen quedan tachados como wavebudos y automáticamente son relegados al rincón de los LIGOrianos. Los que no se lo creen son tachados como tarados, magufos o crackpots, y automáticamente son comparados y asimilados con quienes creen que la Tierra es plana, o con quienes aseguran que el hombre nunca pisó la Luna. Leamos por ejemplo, el artículo pseudocientífico del bien conocido divulgador de cienciología La Mula Francis, titulado Las dudas infundadas sobre la observación de LIGO de las ondas gravitacionales. Ese artículo divulgativo (por llamarlo de alguna forma, deberia ser llamado artículo de apostolado de la fe) rezuma sectarismo y sesgo LIGOriano por todos los costados, y sugiere que todo aquel impío que no cree en los postulados de la Santa Iglesia LIGO debe ser quemado en la pira del ostracismo, silenciado, apartado, y sus escritos quemados también con él, mediante rito Fahrenheit-451. Este divulgador, cientólogo donde los haya, sugiere también que, puesto que ya están todos los LIGOrianos hartos de que se ponga en duda su fe, y que todo es ya tan cansino, a partir de ahora se dé carpetazo definitivo al asunto y que Pedro Sanchez redacte un Decreto de Ley por el que la existencia de las Ondas Gravitacionales quede oficialmente declarada como verdad absoluta e indiscutible.

boe-644x362

Una de las justificaciones más pueriles, para defender los resultados de LIGO, que hace este magufo de la cienciología en su lamentable artículo, es que, puesto que miles de estudiantes y fisicos de todo el mundo han conseguido obtener los mismos resultados que LIGO, usando sus datos y metodologías, entonces los científicos criticos daneses están equivocados, no han conseguido entender bien lo que miles de estudiantes si entendieron. Lo que no dice este magufo mainstreamófilo es que si aplicas el análisis estadístico y los métodos de esos científicos daneses sobre los miles de resultados de los estudiantes que, supuestamente coinciden con los oficiales de LIGO, obtienes ruido correlacionado inexplicable e inadmisible, es decir, obtienes unas dudas tremendas de que los resultados de LIGO sean correctos.

Posted in Astrofísica, Cosmología, curiosidades y analogías, Matemáticas, Relatividad | Etiquetado: , , , , | 7 Comments »

Relatos antárticos: Hallada Tabla de Euclides en la Antártida

Posted by Albert Zotkin en octubre 25, 2018

Hace unos días muchos medios de comunicación se hacían eco de un hallazgo curioso en la Antártida. “Unos científicos de la NASA encuentran en la Antártida un iceberg rectangular casi perfecto …“. He aquí la foto tomada desde la avioneta por Jeremy Harbeck:

Es un iceberg tabular, que fue visto por el equipo científico de IceBridge el 16 de octubre de 2018, en la Tierra de Graham (Península Antártica), concretamente en la plataforma de hielo Larsen. La hipótesis más probable es que ese trozo de hielo, tan rectangularmente perfecto, se desprendió recientemente de la Larsen C.
antartida2

Pero, lo más curioso de ese bloque de hielo tabular, tan rectangular, y de lo que nadie hasta ahora se había dado cuenta, excepto yo 🙂 , es que posee proporción divina. Es decir, resulta ser un Rectángulo Áureo de Euclides.

divina

Por lo tanto, propongo que a esa clase de icebergs tabulares que se aproximan a una la proporción divina, sean llamados tablas de Euclides.

Saludos antárticos a todos pinguin

Posted in Ciencia polar, curiosidades y analogías, Matemáticas | Etiquetado: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a Comment »

Razones Super-metálicas

Posted by Albert Zotkin en agosto 11, 2018

La matemática argentina Vera Martha Winitzky de Spinadel (que desafortunadamente nos dejó el año pasado, a los 87 años), descubrió los llamados números metálicos en 1994, como el conjunto infinito de números irracionales cuadráticos positivos, que son las soluciones positivas de las ecuaciones cuadráticas del tipo:

\displaystyle    x^2 -px-q=0

Por ejemplo, el número áureo (número de oro) surge de la ecuación anterior cuando hacemos p = 1 y q = 1:

\displaystyle \varphi_{1,\;1} ={\frac {1+{\sqrt {5}}}{2}}\approx 1,6180339887498948\dots

O, el número plateado (número argéntico) surge de la ecuación anterior cuando hacemos p = 2 y q = 1:

\displaystyle \varphi_{2,\;1}=1+{\sqrt {2}}\approx 2.414\,213\,562\,373\,095\,048\,801\,688\,724\,210\dots

En general, siempre tendremos que existirá un número metálico, para cualquier valor de p y de q:

\displaystyle    \varphi_{p,\;q}= \cfrac{p+\sqrt{p^2+4q}}{2}

Esa solución genérica también puede ser expresada como fracción continua, o como una función con raices cuadradas recurrentes anidadas, así:

\displaystyle      \varphi_{p,\;q}=p +\cfrac{q}{p +\cfrac{q}{p +\cfrac{q}{p +\cfrac{q}{p +\cfrac{q}{p +\cfrac{q}{p +\cfrac{q}{p +\cfrac{q}{p +...}}}}}}}}   (1)
\displaystyle     \varphi_{p,\;q}=\sqrt{q+p\sqrt{q+p\sqrt{q+p\sqrt{q+p\sqrt{q+\dots}}}}}   (2)
Voy a definir ahora otra clase de números, relacionados con los anteriores. Unos números super cuadráticos (que llamaré números super metálicos), que nacen de la ecuación siguiente:

\displaystyle      x^x -px-q=0   (3)
De esta nueva ecuación super cuadrática nace el ya conocido número Tahawus, al hacer p = 1 y q = 1:

\displaystyle    \text{\small Tahawus}= 1.776775040097054697479730744\ldots

.

Por lo tanto, nuestro número Tahawus es, por extensión, el número super-áureo, \text{\small S} \varphi_{1,\;1}. Y el número super-argéntico será:

\displaystyle    \text{\small S} \varphi_{2,\;1}= 2.165759370623284290556896958\ldots

O el número super-cúprico:

\displaystyle    \text{\small S} \varphi_{3,\;1}= 2.401992621893073080862825696\ldots

Saludos Super-metálicos a todos 🙂

Posted in Matemáticas | Etiquetado: , , , , , , , , , , , , , , , , , , , | 8 Comments »

537 ejercicios con soluciones: función Tahawus

Posted by Albert Zotkin en junio 10, 2018

A continuación presento una serie de ejercicios con ecuaciones exponenciales y funciones polinómicas super cuadráticas, en los que hallaremos las respectivas funciones inversas. Al hallar una función inversa estamos implícitamente hallando sus raíces, ya sean reales o imaginarias.

Definamos la función Tahawus, \mathcal{T} ,como la función inversa de

\displaystyle y = \frac{x^{x}-1}{x} \\ \\
es decir,
\displaystyle x=\mathcal{T}(y)
De la misma forma que la función W de Lambert, W, es la función inversa de:

\displaystyle y = x \; e^x \\ \\
es decir,
\displaystyle x=W(y)

1 Despeja la x en la siguiente ecuación:

\displaystyle x^x=y

\displaystyle \log(x^x) = \log y \\ \\  \log(x)x = \log y \\ \\ \log(x)e^{\log x} = \log y \\ \\ \log(x) = W(\log y)

\displaystyle x=e^{W(\log(y))} \\  x=\textbf{ssrt}(y)  donde ssrt(y) es la super-raíz cuadrada de y.

2 Despeja la x en la siguiente ecuación:

\displaystyle e^x +x =y

\displaystyle e^{e^x}e^x=e^y \\ \\  z=e^x \\ \\ e^{z}z =e^y  \\ \\ z =W(e^y)  \\ \\ e^x =W(e^y)  \\ \\

\displaystyle x =\log W(e^y) \\ \\  x =y-W(e^y)

3 Expresa la función W de Lambert, W(z), desde la super-raíz cuadrada ssrt(z)

\displaystyle x=e^{W(\log(y))} \\ \\ x=\textbf{ssrt}(y)\\ \\ e^{W(\log(y))}=\textbf{ssrt}(y)\\ \\  W(\log(y)) =\log \textbf{ssrt}(y)\\ \\  z= \log(y)

\displaystyle W(z)=\log \textbf{ssrt}(e^z)

4 Despeja la x en la siguiente ecuación:

\displaystyle e^{e^{e^{-x} \left(-1+\left(e^x\right)^{e^x}-e^x x\right)} \left(-1+\left(e^x\right)^{e^x}\right)} =y

\displaystyle x = \log \mathcal{T}(W( \log y))

5 Despeja la x en la siguiente ecuación:

\displaystyle \mathcal{T}(x)^{\mathcal{T}(x)}=y

\displaystyle \mathcal{T}(x) =\text{ssrt}(y) \\ \\  x =\frac{\text{ssrt}(y)^{\text{ssrt}(y)} -1}{\text{ssrt}(y)} \\ \\

\displaystyle x =\frac{y -1}{\text{ssrt}(y)} \\ \\

6 Despeja la x en la siguiente ecuación:

\displaystyle \frac{\mathcal{T}(x)^{\mathcal{T}(x)}-1}{\mathcal{T}(x)}=y

\displaystyle \mathcal{T}(x) =\mathcal{T}(y) \\ \\

\displaystyle x = y

7 Despeja la x en la siguiente ecuación de la torre infinita (Iteración exponencial de Euler):

\displaystyle x^{x^{x^{.^{.^{.}}}}}=y

\displaystyle x^{x^{x^{.^{.^{.}}}}} \log x= \log y \\ \\  y \log x= \log y \\ \\   \log x= \frac{\log y}{y} \\ \\  \log x= \log y ^{\frac{1}{y}} \\ \\

\displaystyle x = \sqrt[y]{y}

8 Sabiendo el valor de x calcula el valor de y en la torre infinita anterior (Iteración exponencial de Euler):

\displaystyle x^{x^{x^{.^{.^{.}}}}}=y \\ \\  x^{x^{x^{.^{.^{.}}}}} \log x= \log y \\ \\   \log y = y \log x \\ \\  y = e^{y \log x}  \\ \\  y e^{-y \log (x)}=  1 \\ \\  - y  \log (x) e^{-y \log (x)} =  -\log (x) \\ \\  - y  \log (x)  =W (-\log x)

\displaystyle y = \frac{W (-\log x)}{-\log x}

9 Despeja la x en la siguiente ecuación de la torre infinita (Iteración exponencial de Euler modificada):

\displaystyle x^{x^{x^{.^{.^{.}}}-1}-1}-1=y

\displaystyle (x^{x^{x^{.^{.^{.}}}}-1}-1)\log x= \log (y+1) \\ \\  y\log x=\log (y+1) \\ \\   \log x= \frac{\log (y+1)}{y} \\ \\  \log x= \log (y+1) ^{\frac{1}{y}} \\ \\

\displaystyle x = \sqrt[y]{y+1}

10 Sabiendo el valor de x, calcula el valor de y en la torre infinita anterior (Iteración exponencial de Euler modificada). O lo que es lo mismo, encuentra una forma cerrada para esa iteración infinita:

\displaystyle x^{x^{x^{.^{.^{.}}}-1}-1}-1=y \\ \\  (x^{x^{x^{.^{.^{.}}}-1}-1}-1) \log x= \log (y+1) \\ \\   \log (y+1) = y \log x \\ \\  y+1 = e^{y \log x}  \\ \\  (y+1) \; e^{-y \log x}=  1 \\ \\  -(y+1) \log(x) \; \;  e^{-y \log x} \; e^{-\log (x)} =  -\log(x) \;e^{-\log x} \\ \\  -(y+1) \log(x) \;  e^{-(y+1) \log (x)} = -\log (x) e^{-\log x} \\ \\  -(y+1)\log x = W(-\log (x) e^{-\log x}) \\ \\  y+1 = \frac{W(-\log (x) e^{-\log (x)})}{-\log x} \\ \\ \\ y = \frac{W(-\log (x) e^{-\log (x)})}{-\log x}-1 \\ \\ \\ y = \frac{W(-\frac{\log x}{x})}{-\log x}-1

\displaystyle y = \frac{W(-\log \sqrt[x]{x})}{-\log x}-1

11 Despeja la x en la siguiente ecuación:

\displaystyle \log \left(\frac{e^{x e^x}-1}{e^x}\right) =y

\displaystyle \frac{e^{x e^x}-1}{e^x} =e^y \\ \\ \frac{(e^x)^{e^x}-1}{e^x} =e^y \\ \\ e^x = \mathcal{T}(e^y)

\displaystyle x=\log \mathcal{T}(e^y)

12 Despeja la x en la siguiente ecuación:

\displaystyle x\; e^{-1+x+e^x x}\;-e^{-1+e^x x} -1=y \\ \\

\displaystyle x\; e^{-1+x+e^x x}\;-e^{-1+e^x x} -1=y \\ \\  (x e^x-1)e^{x e^x-1}-1=y\\ \\ x e^x-1 = W(y+1)\\ \\ x e^x = W(y+1)+1\\ \\

\displaystyle x e^x = W(W(y+1)+1)

13 Despeja la x en la siguiente ecuación:

\displaystyle   e^{\log (x+1) e^{\log (x+1)}}=y \\ \\

\displaystyle  \log (x+1) e^{\log (x+1)}=\log y \\ \\  \log (x+1) =W(\log y) \\ \\ x+1=e^{W(\log y)}

\displaystyle x=e^{W(\log y)}-1

14 Calcula \sqrt[x]{x}  en función de y, de la forma más simplificada posible, sabiendo que:

\displaystyle  x=\frac{W(y)}{y} \\ \\

\displaystyle xy= W(y) \\ \\ xy e^{xy}= y \\ \\ x e^{xy}= 1 \\ \\ e^{xy}=\frac{1}{x} \\ \\ xy=\log \left(\frac{1}{x}\right) \\ \\ \frac{1}{x}\log \left(\frac{1}{x}\right)=y \\ \\ \frac{1}{x}\log (x)=-y \\ \\ \log (x^{\frac{1}{x}})=-y \\ \\ x^{\frac{1}{x}}=e^{-y} \\ \\

\displaystyle \sqrt[x]{x}=e^{-y}

15 Relaciona la función W de Lambert con la función Tahawus.

\displaystyle \frac{x^x-1}{x}= y \\ \\ x= \mathcal{T}(y) \\ \\ \\ x^x = y x +1 \\ \\ x= e^{W(\log (y x +1))}\\ \\ \\

\displaystyle \mathcal{T}(y) = e^{W(\log (y \mathcal{T}(y) +1))}\\ \\
PÁGINA 1

Posted in Matemáticas | Etiquetado: , , , , , , , , , | Leave a Comment »

La velocidad de la luz no es una verdadera velocidad, es una latencia

Posted by Albert Zotkin en mayo 25, 2018

Hola amigos de Tardígrados. Hoy vamos a estudiar algunos aspectos de uno de los fenómenos más extraños y misteriosos de nuestro universo, la luz. Tambíén llamada fotones, ondas, energía o radiación electromagnética. La luz es, junto con la gravedad, uno de los misterios más grandes de la física. Aunque pudiera parecer que las ondas electromagnéticas ya no poseen ningún misterio para la Física, en realidad si los posee, y profundos. ¿Qué es la luz?, ¿Es una onda o es una partícula?. Depende (como diría un gallego). Depende, del instrumento y el experimento que realicemos, la luz nos aparecerá como partícula o como onda, pero nunca como una mezcla de las dos. En un experimento nos parecerá que es una partícula que llamamos fotón, y en otro bien distinto, como una onda electromagnética de cierta frecuencia y longitud de onda. Eso es ya bien conocido en la Física, y se llama dualidad onda-partícula. Sin embargo, independientemente del experimento que realicemos para saber si la luz es partícula o es onda, lo que sí parece ser invariante es que se nos manifiesta siempre como propagándose a cierta velocidad finita. Según el medio en que se propague, dicha velocidad tendrá un valor u otro, pero siempre el mismo si el medio es el mismo.

El vacío puede también ser considerado un medio. El realidad el vacío sería el único medio por el que puede propagarse la luz, y su velocidad sería la constante c. Sería pues una especie de éter, aunque la palabra éter es una palabra maldita para los maintreamófilos, ya que suplantaría al sacrosanto espacio-tiempo de la relatividad Einsteniana, y eso sería un sacrilegio (Einstein dijo: “no hay éter“, y eso es Verbum Dei). Cualquier otro medio distinto al vacío ya implica la existencia de materia intermedia entre emisor y receptor, con lo cual, la velocidad de propagación, en ese medio distinto al vacío, sería siempre menor a la original c. Pero, un fotón no debe ser nunca visto como una “pelotita” que revolotea por ahí, desde que es lanzada por el emisor hasta que es captada por el receptor. Los fotones, no son partículas libres, sino partículas virtuales. ¿Qué significa que una partícula sea virtual en lugar de libre?. La principal propiedad es que una partícula virtual parece haber sido emitida “hacia atrás en el tiempo” a la vez que “hacia adelante“. Existe una especie de transacción secreta entre el emisor del fotón y el receptor. Y esa transacción (“papeleo burocrático“) empieza a tener lugar mucho antes de que la partícula sea emitida realmente. ¿Por qué es eso así?. Imagina que una fuente emisora de fotones los lanzara al medio (el vacío), sin que existiera un receptor para cada una de esas partículas emitidas. Esos fotones, o algunos de ellos, nunca serían absorbidos. Y si un fotón no es absorbido no existe transferencia de energía, con lo cual, el fotón virtualmente nunca habría sido emitido. Esa es la razón por la cual, cuando un fotón es emitido, será con absoluta seguridad absorbido eventualmente por algún sistema material. ¿Qué ocurriría si una fuente emite realmente un fotón que nunca será absorbido?. Pues sencillamente que esa energía se perdería, y eso significaría, que el universo perdería energía, se enfriaría, sería un sistema termodinámico abierto. Seria un absurdo más. Pensemos por ejemplo, el caso contrario, un sistema material que absorbe un fotón, el cual nunca fue emitido por ninguna fuente. Señoras y señores, estamos ante la presencia de las famosas paradojas que tanto les gustan a los Einsteinianos y demás especímenes, mainstreamófilos. Esa energía, que salió del emisor, no llegaría a ninguna parte, sería como si la energía pudiera destruirse. Puesto que la energía no puede destruirse ni perderse para siempre, cuando un fotón es emitido es porque será absorbido con total seguridad tarde o temprano, y cuando un fotón es absorbido es porque antes fue emitido por una fuente. Ese es el realismo que hay que imponer en la física, el sentido común, nada de paradojas ni viajes en el tiempo.

Enfoquemos nuestra atención un poco más en el punto del que estamos hablando hoy: la velocidad de la luz en el vacío, c. De hecho, esa supuesta velocidad sería una velocidad de fase, c = vp, en contraposición a la velocidad de grupo, vg. Es decir, según el conocimiento de la Física oficial, la mainstreamófila, la del Libro Sagrado, toda onda posee una velocidad de fase y una velocidad de grupo, las cuales no siempre coinciden en un mismo valor. La velocidad de fase está definida como el cociente entre la longitud de onda y el periodo, vp = λ / T, o lo que es lo mismo, el cociente entre la frecuencia angular y el número de ondas, vp = ω / k. En cambio, en el Libro Sagrado de la Física Mainstreamófila, la velocidad de grupo se define como la derivada parcial de esa frecuencia angular respecto del número de ondas, es decir, vg = ∂ω / ∂k. Luego la información y la energía que transporta una onda electromagnética, viajarían por el espacio según la velocidad de grupo. Pero, si nada hay que disperse en el vacío a dicha onda electromagnética, entonces esa velocidad de grupo coincidiría con su velocidad de fase, vp = vg. Y eso siempre ocurre cuando la frecuencia angular, ω, es directamente proporcional al número de ondas, k.

Veamos ahora que significaría que esa velocidad de la luz en el vacío sea una constante c = 299792458 m/s, siempre la misma, independientemente del sistema de referencia desde el cual la midas. Imagina que viajas cómodamente en tu coche por la autopista, y cada cierto tiempo miras el velocímetro, (sobre todo para controlar que no te cace uno de esos radares ocultos y te pongan una multa por exceso de velocidad). Compruebas que tu velocidad es constante v = 90 km/h. Sin embargo, tu velocidad real podría ser otra muy distinta a esa que lees en el velocímetro del tu coche. Matemáticamente hablando, la velocidad que lees en tu velocimétrico es un residuo o resto. Imagina que tu velocímetro es como la esfera de un reloj, pero en lugar de tener 12 divisiones, una por cada hora, posee 299792458, una por cada metro por segundo. Cuando tu velocímetro marca el cero, entonces eso indicaría que tu coche está parado, o también que tu coche viaja a la velocidad de la luz, c. Pero, eso parece imposible, ¿no?. Si algo está parado, no puede estar viajando a la vez a otra velocidad distinta a cero, si se mide en el mismo sistema de referencia, ¿verdad?.

El problema es que el velocímetro de nuestro coche es circular, y sólo posee 299792458 divisiones, una por cada metro por segundo. Por lo tanto, toda velocidad v, superior a c, será matemáticamente truncada a su residuo:

\displaystyle v\equiv 0{\pmod {c}}
Hay una clase de partículas elementales llamadas leptones. Y nos preguntamos: ¿qué ocurriría si un electrón, que es un leptón, supera la velocidad de la luz, c?. Sí, ya sé que eso, en el libro gordo de los maintreamófilos, se dice que es imposible. Pero, ¿qué apariencia tendría en nuestro universo relativista tal “imposible fenómeno“?. Pues, si eso ocurriera, lo que veríamos sería un muón, viajando a una velocidad residual, es decir, una velocidad sublumínica. Y en contrapartida por truncar su velocidad superlumínica, su masa se incrementaría, de tal forma que la energía total de la partícula siguiera siendo la misma. Eso explicaría por qué vemos hasta tres generaciones de leptones, pero claro, esa explicación tan bizarra y estúpida está descartada por la sacrosanta verdad absoluta del libro gordo de los maintreamófilos.

Profundicemos un poco en esta idea de los leptones superlumínicos. Supongamos que un electrón supera la velocidad de la luz en el vacío, llegando hasta una

\displaystyle v_e = k c + \frac{c}{n}

Donde k y n son enteros positivos mayores que la unidad. Esto significa que el residuo es

\displaystyle \frac{c(k n + 1)}{n}\equiv 0{\pmod {c}} = \frac{c}{n}
Eso quiere decir que, en nuestro universo observable, lo que veríamos sería un muón viajando a una velocidad sublumínica, el residuo vμ = c/n. Luego la energía total del electrón superlumínico debe ser igual a la energía total del muón sublumínico (la energía total de una partícula es la suma de su energía potencial y su energía cinética):

\displaystyle m_e c^2 + K_e = m_{\mu}c^2 + K_{\mu}

Dividamos ambos lados de la ecuación por la energía potencial del electrón, m_e c^2:

\displaystyle 1+ \frac{K_e}{m_e c^2} = \frac{m_{\mu}}{m_e} + \frac{K_{\mu}}{m_e c^2}
Si aproximamos clásicamente la energía cinética del electrón y la del muón tendremos:

\displaystyle K_e=   \frac{m_e v_e^2}{2} = \frac{m_e c^2 (kn+1)^2}{2n^2}\\ \\ K_{\mu}=   \frac{m_{\mu} v_{\mu}^2}{2} =  \frac{m_{\mu} c^2}{2n^2}
Con lo cual, la relación entre la masa del electrón y la del muón sería:

\displaystyle 1+ \frac{(kn+1)^2}{2n^2}=  \frac{m_{\mu}}{m_e} + \frac{m_{\mu}}{m_e}\left(\frac{1}{2n^2}\right) \\ \\ \\  \frac{m_{\mu}}{m_e} = \frac{1+2 k n+2 n^2+k^2 n^2}{1+2 n^2}
Por otro lado, sabemos experimentalmente que la ratio entre la masa del muón y la del electron es:

\displaystyle  \frac{m_{\mu}}{m_e} = \frac{105.6583745}{0.510998928}=206.768
Eso significa que, desde la aproximación clásica, un electrón sólo podría superar la velocidad de la luz en el vacío (n = 1) a partir de cierto número de ciclos k de c, que serían:

\displaystyle k =-1\pm \sqrt{3\frac{m_{\mu}}{m_e} -2}=-1 \pm 24.8657
Luego, desde la aproximación clásica, para que un electrón emerja como un muón debe adquirir una velocidad superlumínica base de:

\displaystyle v_e = c(k + 1)= 25.8657 c
Pero, ¿por qué digo en el título de este artículo que “La velocidad de la luz no es una verdadera velocidad, es una latencia?. Pues lo digo, porque, no es la velocidad clásica con la que imaginamos a un objeto moverse en el espacio. Lo que llamamos luz no se mueve por ningún espacio, es simplemente una transacción cuántica no-local entre dos o más sistemas materiales. Es no-local porque se produce a distancia, sin que el intermediario, el fotón, tenga que pasar por todos los puntos intermedios del intervalo espacial que los separa. Por eso, esa transacción posee una latencia, es decir, un retardo. Al dividir el intervalo espacial por el retardo siempre obtendremos la constante c, si esa transacción es en el vacío. Y para que esa constante sea una verdadera constante, debe ocurrir que la latencia (el retardo) sea directamente proporcional al intervalo espacial. La implicación más interesante de que esto sea así es que esa transacción empieza instantaneamente, sin demora.

Por ejemplo, supongamos que hacemos un ping (eco) con un rayo láser sobre la superficie de la Luna.

Tardaremos aproximadamente 2.5 segundos en ver nuestro rayo Laser reflejado, es decir, que la transacción electromagnética duró (tuvo una latencia de) 1.25 segundos en la ida, y otros tantos 1.25 segundos en la vuelta (reflejo). Pero, la transacción en la ida comenzó instantaneamente desde el mismo momento en que el rayo láser es lanzado desde la superficie de la Tierra, y dicha transacción termina exactamente a los 1.25 segundos. ¿Qué significa esto?. Significa que si supiéramos y pudiéramos construir un detector de media transacción (ansible), nuestro ping lunar sería detectado en la mitad de tiempo. Sería como si el fotón emitido por el láser hubiera viajado a dos veces la velocidad de la luz en el vacío. Pero, esa tecnología de los detectores de submúltiplos de transacción electromagnética no parece que se vaya a hacer realidad pronto, sobre todo si tenemos en cuenta qué teorías físicas imperan en la actualidad, y cuánto tiempo queda aún para que sean desterradas definitivamente. Los detectores de submúltiplos no serán realidad al menos hasta dentro de 1000 años o más, si tenemos en cuenta el ritmo real al que avanza la ciencia y la tecnología humanas.

Pero, podemos entrever cómo funcionaría un detector de submúltiplos. Cuando hacemos ping sobre la Luna, sabemos que observaremos el fotón reflejado al cabo de 2.5 segundos, y ese sería un suceso seguro, es decir, existiría una probabilidad p = 1 de que al cabo de 2.5 detectaremos el reflejo. Con un detector de submúltiplos de media onda, esa probabilidad se reduciría a la mitad si queremos detectarlo al cabo 1.25 segundos. Supongamos que nuestro ping contiene la información de un bit, representado por un 1. Entonces para detectar el submúltiplo con probabilidad segura, p = 1, necesitaríamos más de una antena, separadas espacialmente cierta distancia, cuantas más mejor. Pero, el problema se complica, ya que al estar separadas las antenas, no podremos integrar clásicamente la información completa en tiempos inferiores al de la latencia de la transacción.

¿Qué sería básicamente un ansible de submúltiplos (detector)?. Básicamente sería una antena multibanda. Supongamos que una antena normal, estándar, emite un único fotón hacia un ansible que se encuentra a 299792458 metros en el vació, y lo sintonizamos a media onda. Entonces, ¿seremos capaces de detectar el fotón en la mitad de tiempo, es decir, en 0.5 segundos¿. El ansible conseguiría ver un submúltiplo de ese fotón, no el de la frecuencia principal, con lo cual, la información sería redundante en todos y cada uno de sus múltiplos y submúltiplos, y cada uno llegaría a su ansible detector (no necesariamente el mismo) a un tiempo distinto.

Posted in Astrofísica, Cosmología, Física de partículas, Matemáticas, Mecánica Cuántica, Relatividad | Etiquetado: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment »

Supercomputación tetrádica: primera aproximación hacia una Teoría de la Super-Relativididad

Posted by Albert Zotkin en abril 22, 2018

En este pequeño artículo voy a definir una nueva clase de derivada de una función, y como corolario veremos cómo surge también una nueva variedad de superintegral indefinida.

La forma estándar de definir la derivada de una función f, para un valor x, es la siguiente

\displaystyle f'(x)=\lim _{h\to 0}{\frac {f(x+h)-f(x)}{h}} (1)
De esta forma, la derivada es una especie de medida de la rapidez con la que cambia esa función f. Lo que hemos hecho es incrementar la variable independiente x con un número infinitesimal h. Incrementar aquí es sumar. Pero también podríamos haber incrementado la x con otras operaciones, no sólo con una suma. Por ejemplo, podemos incrementarla mediante la multiplicación por un número muy próximo a la unidad. Definamos la superderivada de la función f de x de la siguiente forma:

\displaystyle \text{SD}(f(x))=\lim _{h\to 0} { \sqrt[h]{ \frac{ f(x(1+h)) }{f(x)} }} (2)
Esta superderivada, al definirla de esta forma, también es una especie de medida de la rapidez con la que cambia esa función f. Se puede demostrar fácilmente que esta superderivada está relacionada con la derivada estándar de esta forma:

\displaystyle \text{SD}(f(x))= \exp\left({ x \frac{f'(x)}{f(x)}}\right) (3)

Por lo tanto es posible hallar la superintegral indefinida de una función f(x), si podemos resolver para y la ecuación diferencial siguiente:

\displaystyle x y' = y \log f(x) (4)
Es decir, tenemos la exponencial siguiente y resolvemos para y:
\displaystyle f(x) = \exp\left(\frac{x y'}{y} \right) (5)
Pongamos un pequeño y simple ejemplo: Sea la función:

\displaystyle f(x) = x^2
Hallemos su superderivada primera:
\displaystyle \text{SD}(f(x))= \exp\left(\frac{x y'}{y} \right) = \\ \\   =\exp\left(\frac{2x^2}{x^2} \right) =  e^2   (6)
y vemos que es la constante e elevada al cuadrado. Hallemos ahora la superintegral indefinida de esa constante e2 (se trata de hallar la función y desde la ecuación diferencial:
\displaystyle  e^2  = \exp\left(\frac{x y'}{y} \right)  \\ \\  y = x^2 \\ \\  y =\text{SI}(e^2)=x^2 (7)
Igualmente, la superintegral indefinida de x2 es:
\displaystyle \text{SI}(x^2)=e^{\frac{1}{4} \log \left(x^2\right)^2} (8)

Las representaciones gráficas de estas tres funciones son así:

Alguien siempre puede decir,”muy bien, todo eso es muy bonito, pero ¿qué aplicaciones nos propones para esa supuesta teoría de la super-relatividad de la que hablas?“.

La primera, y más intuitiva, de las aplicaciones de la supercomputacion, en el terreno del modelado de fenómenos físicos, es el cálculo del efecto Doppler, de la luz que observamos, emitida por un objeto que se mueve respecto a nosotros con una velocidad constante, v, y en un entorno inercial. Acostumbramos a pensar que esa velocidad v es simplemente la primera derivada del espacio respecto al tiempo, y para calcular cómo varía la frecuencia de la luz observada, que fue emitida por ese objeto, debemos aplicar una teoría. pero, ninguna teoría nos estaba diciendo hasta ahora que la frecuencia Doppler observada es simplemente directamente proporcional a la primera superderivada del espacio respecto al tiempo. Es decir:

\displaystyle f= f_0 \;SD(r(x))= f_0 \; e^{\frac{x r'(x)}{r(x)}}
donde f0 es la frecuencia de la luz en el marco de referencia de la fuente y r(x) es la función desplazamiento, es decir, un vector que nos indica la posición de la fuente en nuestro marco de referencia. Veamos más específicamente cómo es este cálculo en un entorno inercial. En tal entorno inercial, la función desplazamiento r(x) es simplemente la función identidad. Es decir, r(x) = x. Por lo tanto la frecuencia Doppler, f, observada es directamente proporcional a la superderivada:

\displaystyle f=  f_0 \; e^{r'(x)} \\ \\  \text{\small donde obviamente } \\ \\  r'(x)= \frac{v}{c}=\beta, \; \text{\small es la beta de la velocidad inercial del objeto}
y c es la velocidad de la luz en el vacío. Más exactamente, se puede afirmar que, en un entorno inercial, se cumple la identidad diferencial:

\displaystyle \frac{x r'(x)}{r(x)} = \frac{v}{c} (9)
Es evidente, que todo esto tiene que ver con las hiperoperaciones y la función de Ackermann. Pero, sigamos con nuestras aplicaciones en el modelado de los fenómenos físicos. ¿Cuál sería nuestra ecuación diferencial equivalente a la (9) de movimiento en un entorno no-inercial?. Un entorno no-inercial, quiere decir, una región espacio-temporal donde la influencia de la gravedad es significativa respecto al movimiento de los objetos. Por ejemplo, en un entorno donde existe un campo gravitatorio significativamente grande, entre objeto que emite la luz y el observador pueden existir una diferencia significativa de potencial gravitatorio. En tal caso la ecuación diferencial de nuestra superderivada se hace “cuadrática”, es decir:

\displaystyle \frac{x r'(x)}{r(x)} = \frac{v^2}{c^2}= \frac{\phi}{c^2} (10)
donde es más que obvio que v2 se identifica con la diferencia de potencial gravitatorio, f, entre objeto y observador.

Posted in Gravedad Cuántica, Matemáticas, Mecánica Cuántica | Etiquetado: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments »

Hola, os presento a Tahawus: una extensión de la función W de Lambert

Posted by Albert Zotkin en abril 3, 2018

Hola, amigo incondicional de tardígrados. En mi artículo anterior, hablé entre otras cosas de una constante matemática, a la cuál tuve el atrevimiento de bautizar con el nombre de Tahawus. Se me ocurrió ese nombre por que fue el matemático Richard P. Stanley el primero que demostró hace poco que esa constante es un número transcendente. Le puse Tahawus porque Stanley nació y se crió en un pequeño pueblo minero, del estado de Nueva york, que ya no existe, llamado Tahawus. Ahora es más un pueblo fantasma que otra cosa, ya que sus pocos habitantes se trasladaron a Newcomb. Pero, aquí lo que nos interesa es hablar de ese número y de sus propiedades. La constante que llamé Tahawus, es en realidad una de las raíces reales de la ecuación:

\displaystyle x^x - x-1 = 0 (1)
y su valor es en sus primeros digitos decimales este:

\displaystyle \text{\small Tahawus}= 1.7767750400970546974797307440387567486374110343292961390843740\ldots (2)
La ecuación (1) no puede ser resuelta fácilmente en forma cerrada, ni siquiera usando la conocida función W de Lambert. Sólo puede ser resuelta de forma cerrada mediante una nueva función, que, como no podía ser de otra forma, llamaré Tahawus (x), y la designaré con la letra griega ?. Por lo tanto, lo que antes llamaba la constante Tahawus, ahora pasará a ser el valor que toma esa función para x = 1. Es decir, tendremos:

\displaystyle \mathcal{T} (1) = 1.7767750400970546974797307440387567486374110343292961390843740\ldots (3)
No sin mucho esfuerzo, descubrí que esta función Tahawus, ?, es simplemente la función inversa de

\displaystyle y = \frac{x^{x}-1}{x} \\ \\ (4)
Es decir, sólo podemos despejar la x de esa ecuación mediante la función inversa Tahawus,

\displaystyle x=\mathcal{T}(y) (5)
Las representaciones gráficas de estas dos funciones, (4) y (5) son así:

Vemos que cada una es la imagen especular (reflejada) de la otra, respecto de la recta identidad y = x, porque esa es la característica principal de todas las funciones con sus inversas. Si intentamos hallar una forma cerrada de la función Tahawus, comprobaremos nuestra frustración pronto, por que es muy difícil. Aún, no se ha descubierto una forma cerrada para esa función. Por ejemplo, sabemos hallar una forma cerrada para la función inversa de y = xx, utilizando la función W de Lambert, y es esta:

\displaystyle x = e^{W(\log (y))} (6)
Esta función inversa de y, se llama super raíz cuadrada, ya que la función y = xx, es una tetración cuadrática, es decir la variable x exponenciada así misma una vez. Esta tetración la podemos escribir también mediante super índices que preceden a la variable. Por ejemplo:

\displaystyle y = {^{2}x}=x^x  (7)
Super raíz cuadrada

Podríamos pensar que la función (4) inicial, la que tiene como inversa a la función Tahawus, como tiene incluida una tretación cuadrática, la (7), podríamos conseguir explicitar su inversa mediante esas super raíces cuadradas. Es decir, sería algo así como resolver una ecuación cuadrática estándar, pero con super raíces cuadradas em lugar de las raíces cuadradas. No parece fácil la tarea. Lo primero que intentamos es usar la W de Lambert en una posible resolución explicita de Tahawus . Se trata de intentar despejar la x (ponerla em función de la y). Veamos cómo:

\displaystyle y =\frac{x^x -1}{x}\\ \\ y x =x^x -1 \\ \\ y x + 1 =x^x \\ \\ (8)
Y ahora aplicamos la super raíz cuadrada, para obtener:

\displaystyle x = e^{W(\log (y x +1))} (9)
¿Cuál es el problema?. El problema es que se nos ha quedado una x multiplicando a y en el otro lado, con lo cual hemos “fracasado“. Lo que hemos obtenido es que aparecen infinitas copias de la función dentro de sí misma, a modo de recursión. De hecho la función Tahawus resulta ser una iteración infinita mediante esa super raíz cuadrada:

\displaystyle    x = \mathcal{T}(y)= e^{W(\log (y e^{W(\log (y(\ldots) +1))} +1))} (10)
Por lo tanto nuestro problema de tratar de explicitar una forma cerrada para Tahawus, aún permanece. Pero, ¿en qué consiste exactamente?: Se trata de hallar una de las raíces de esta función super-cuadrática:

\displaystyle {^{2}x} - b x - 1 = 0 (11)
Si su exponente de tetración 2 fuera en realidad un exponente 2 normal, como el de las ecuaciones cuadráticas normales, la solución sería sencilla. A alguien se podría ocurrir una solución estrambótica. Resolver esa ecuación como si fuera una ecuación cuadrática normal, y allí donde aparezca una raíz cuadrada en la solución sustituirla por una super raíz cuadrada. Esa es la típica solución del sueño del sophomore o sueño del pipiolo. La cual, a veces, sorprendentemente funciona, pero por regla general es muy poco probable que tenga éxito esa metodología.

Desde la función Tahawus podemos acceder a infinidad de constantes transcendentes. Estas son algunas que ya están catalogadas en EOIS:

A124930 \displaystyle \mathcal{T}(1) = 1.7767750400970546974797307 \ldots
A226568 \displaystyle   \mathcal{T}(-1) =0.3036591270299660512450180 \ldots
A085846 \displaystyle \frac{1}{\mathcal{T}(-1)}-1= 2.293166287411861031508028291 \ldots
A169862 \displaystyle \frac{1}{\mathcal{T}(-1)}= 3.293166287411861031508028291 \ldots
La propiedad mas impresionante de la constante Tahawus 1, T(1), es que es el único número real que al elevarlo a sí mismo y restarle 1 da el mismo número:

\displaystyle \mathcal{T}(1)^{\mathcal{T}(1)} -1 = \mathcal{T}(1)  (12)
y por esa razón también puede con la torre infinita:

\displaystyle \mathcal{T}(1)^{\mathcal{T}(1)^{\mathcal{T}(1)^{.\cdot{}^{\cdot}} -1} -1} -1 = \mathcal{T}(1)  (13)

Saludos

Posted in Matemáticas | Etiquetado: , , , , , , , , , , , , , , , , , , , , , , , , | Leave a Comment »

Matemáticas alienígenas: números primos marcianos

Posted by Albert Zotkin en marzo 28, 2018

Hoy hablaré de los número primos marcianos Fobos y Deimos, que como sabrás, sus nombres son como los dos satélites naturales de Marte. Primero hablaré del número Deimos:

\displaystyle \text{\small Deimos}=2^{127} - 1 =170141183460469231731687303715884105727 (1)
Este número es primo, y además de ser de la clase Mersenne, es de la clase Catalan-Mersenne. El número marciano Deimos hizo un pequeño cameo en la serie de dibujos animados Futurama. Más concretamente, salió en el episodio Futurama: La bestia con un millón de espaldas, película de 2008. Exactamente, la secuencia se puede encontrar en el punto de metraje 01:16:59.178: en la que el profesor Farnsworth le dice a su rival, el profesor Wernstrom, que ha conseguido una prueba elemental de la Conjetura de Goldbach.

Pero hablemos un poco ahora sobre la sucesión de números llamados de Catalan-Mersenne. Esta sucesión puede ser definida de la forma recursiva siguiente:

\displaystyle a_n= 2^{a_{n-1}}-1 \\ \\ \text{\small donde} \ \; a_0 = 2 \ \;\text{\small tenemos \'orbitas de 2 \textit{ad infinitum}} \\ \\ \text{\small y sus cinco primeros n\'umeros son:}\\ \\ C_n=\{2, 3, 7, 127, 170141183460469231731687303715884105727,\ldots\} (2)
como muy bien los tienen catalogados en la referencia A007013. Por lo tanto, en este catálogo de OEIS, nuestro número Deimos es el C5.

¿Son todos los números de esa sucesión de Catalan-Mersenne primos?. Los cinco primeros que he escrito en (2) son primos, sí. Pero, ¿y el sexto y los siguientes?. El sexto Catala-Mersenme es precisamente, C6, Fobos, nuestro siguiente número marciano:

\displaystyle \text{\small Fobos}=2^{170141183460469231731687303715884105727} - 1 = 111 \ldots 111_2  (3)
La expansión decimal del número Fobos es demasiado larga para ser escrita explicitamente. Pero escrita en base 2 tiene exactamente Deimos 1’s, porque es un número repunit en base 2. Ningún terrícola sabe decir si Fobos es un número primo. Pero, ya te voy a decir yo que Fobos es un número primo. Joerg Arndt sabe muy bien que Fobos, C6, es un número primo. Joerg Arndt afirmaba hace algún tiempo que Fobos sólo podía ser primo, o pseudoprimo de Fermat con factores no menores a 10 elevado a 51. Pero, ahora sabe ya que Fobos es un número primo. De hecho, todos los números de la sucesión Catalan-Mersenne son primos, los infinitos, y eso demuestra que hay infinitos números primos Mersenne. Si Fobos no fuera primo, sería, como he dicho antes, un pseudoprimo de Fermat en base 2, y todos los infinitos siguientes números marcianos (o Catalan-Mersenne, como prefieras) serían también pseudoprimos de Fermat. Pero, alguien en su sano juicio puede creer que un número como C7 (El hijo de Fobos), o superior, no es un número primo?. ¿En qué cabeza cabe?. Por supuesto que el número marciano:

\displaystyle C_7=2^{2^{2^{127} - 1} - 1} - 1 = \\ \\ = 2^{2^{170141183460469231731687303715884105727} - 1} - 1 (4)
es un número primo. Los infinitos Catalan-Mersenne lo son, ¡terrícola de poca fe!. Pero antes de ir a las demostraciones matemáticas, necesitamos unas pocas definiciones y alguna que otra curiosidad sobre esa clase de números. Para ello, amigo terrícola, permíteme que defina primero la Ciclotomia Transcendente de los números Catalan-Mersenne. Al igual que existen los polinomios ciclotómicos, podemos definir algo parecido, pero en el terreno de los números marcianos (Catalan-Mersenne). Para ello, en lugar de un polinomio estándar, nos fijaremos en la sucesión de funciones exponenciales de la siguiente clase:

\displaystyle F(x)_n=\{x,\ x^x-1,\ x^{x^x-1}-1,\ x^{x^{x^x-1}-1}-1,\ {x^{x^{x^{x^x-1}-1}-1}-1},\ldots \} (5)
Esta sucesión es monótona decreciente para ciertos valores reales de x, y monótona creciente para otros. En general, es fácil ver que para valores reales, 0 < x < 1, se obtienen sucesiones que decrecen y convergen hacia ciertos valores, según los casos. En cambio, para números reales x > 2, se obtienen sucesiones que crecen y convergen hacia ciertos valores. Pero, sólo existe un único número real capaz de estabilizar esa sucesión de funciones de modo que se mantiene igual a una constante, o punto fijo. Ese número real lo llamaré Tahawus, y es este:

\displaystyle \text{\small Tahawus}= 1.7767750400970546974797307440387567486374110343292961390843740\ldots (6)
Lo llamo número de Tahawus, por que fue el profesor Richard P. Stanley, otro “alienígena” (aunque de Tahawus), uno de los primeros en demostrar que ese número es transcendente y por lo tanto irracional. ¿Cómo se puede hallar ese número?. Hay muchas formas, pero siempre resulta ser la raíz real positiva de la ecuación:

\displaystyle x^x-1=x (7)
como así nos lo propuso Rick L. Shepherd. pero también es la única raíz real positiva de la función diferencia entre dos funciones consecutivas de F(x)n:

\displaystyle x= x^x-1, \\ \\ x^x-1=x^{x^x-1}-1, \\ \\ x^{x^x-1}-1=x^{x^{x^x-1}-1}-1, \\ \\ x^{x^{x^x-1}-1}-1=x^{x^{x^{x^x-1}-1}-1}-1 \\ \\ \ldots (8)
Estas funciones ciclotómicas transcendentes son extremadamente interesantes. Aquí os presento las representaciones gráficas de sus diferencias, (8), y en las que podemos observar cómo todas intersectan al eje de abscisas en los puntos (0, 0), (1, 0) y (Tahawus, 0):

Observemos ahora las gráficas de los logaritmos de algunas de las funciones F(x)n, en concreto, las de estas:

\displaystyle \log F(x)_4= \log \left(x^{x^{x^{x^x-1}-1}-1}-1 \right), \\ \\ \log F(x)_3= \log \left(x^{x^{x^x-1}-1}-1 \right), \\ \\ \log F(x)_2= \log \left(x^{x^x-1}-1 \right), (9)
vemos que todas tienen un polo en (1,0), y que F(x)3 ni siquiera está definida en el intervalo real [0,1], pues para valores de x, que se aproximan a 1 desde la derecha, la función de aproxima a – 8, cae al pozo y ya no vuelve.

Amigo terrícola, te estarás preguntando. “Ok, todo muy bonito, pero ¿para qué sirve todo eso?”. Sólo son matemáticas. Además, ¿no te parece interesante que exista un número real, Tahawus, distinto a 0 y a 1, con la propiedad de hacer que cualquier función F(x)n, de esa clase, sea igual a Tahawus?

\displaystyle x=\text{\small Tahawus}= 1.776775040097054697\ldots, \\ \\ F(\text{\small Tahawus})_4=x^{x^{x^{x^x-1}-1}-1}-1=\text{\small Tahawus}, \\ \\ F(\text{\small Tahawus})_3= x^{x^{x^x-1}-1}-1= \text{\small Tahawus}, \\ \\ F(\text{\small Tahawus})_2=x^{x^x-1}-1=\text{\small Tahawus} \ldots (10)
Los números Mersenne poseen una peculiaridad, y es que para que un número Mersenne sea primo debe de serlo el exponente del 2 que lo crea. Pero, eso es sólo una condición necesaria, no suficiente. Esa misma condición es válida para los números Catalan-Mersenne, pero estos últimos tienen además otra peculiaridad añadida, y es que si un número Catalan-Mersenne no es primo, entonces todos los que van tras él (su hijo y demás descendientes) tampoco lo serán. Imagina la sucesión de números catalan-Mersenne como una linea recta horizontal de ladrillos, todos del mismo tamaño, pero los que representan a Catalan-Mersenne primos son de color verde y los que representan a los no primos son de color rojo. Pues bien, si empezamos nuestra obra de albañilería desde la izquierda, veremos que los primeros ladrillos son todos de color verde, es decir, primos. Y si eventualmente uno de los ladrillos no fuera primo entonces todos los infinitos siguientes deberian ser rojos también, como él. Todo eso nos lo contó hace años Leonard Eugene Dickson, cuando hizo referencia a una carta que respondió Catalan a Édouard Lucas, allá por 1876, en la que le decía lo rápido que crecían los números de esa sucesión, y cómo el número C6, Fobos, podía ser muy bien primo también, como su padre (C5 Deimos) y sus abuelos. Landon Curt Noll nos contó hace poco cómo había comprobado que Fobos no posee factores por debajo de 5×1051, y para ello hizo uso de su programa calc.

Intentemos ahora factorizar algunos números que merodean cerca de esos números marcianos. EL profesor Robert Israel, de Princeton, nos ofreció hace poco una prueba de que si un numero marciano an (fijémonos en la sucesión (2) que escribí arriba, en el sexto párrafo de este artículo) era primo entonces ese an divide a an+1-1 para todo n. Por ejemplo, lo que nos dice R. Israel es que, siendo an = 127, entonces

\displaystyle a_5 = 2^{127}-1 =\text{\small Deimos},

con lo que a_5 -1 =\text{\small Deimos} - 1, debe ser divisible por 127. Y efectivamente lo es

\displaystyle \frac{a_5 - 1}{127} = \frac{2^{127}-2}{127} =1339694357956450643556592942644756738
Lo que no nos dice explícitamente R. Israel es que esos números, que son pares, no sólo son divisibles por el anterior de la sucesión, sino por todos y cada uno de los anteriores Empezaré por la secuencia principal, la de los números marcianos, y la llamaré a(n), y después obtendremos desde ella otras sucesiones cercanas, la b(n) y la d(n):

\displaystyle a_1=2,\\ a_2=2^2-1)=3,\\ a_3=2^{2^2-1}-1))=7,\\ a_4=2^{2^{2^2-1}-1}-1=127,\\ a_5=2^{2^{2^{2^2-1}-1}-1}-1)=170141183460469231731687303715884105727,\\ a_6=2^{2^{2^{2^{2^2-1}-1}-1}-1}-1)=\text{\small Fobos},\\ \ldots \\ \\ b_1=2-1=1,\\ b_2=2^2-2=2,\\ b_3=2^{2^2-1}-2=6,\\ b_4=2^{2^{2^2-1}-1}-2=126,\\ b_5=2^{2^{2^{2^2-1}-1}-1}-2=170141183460469231731687303715884105726,\\ b_6=2^{2^{2^{2^{2^2-1}-1}-1}-1}-2=\text{\small Fobos-1},\\ \ldots \\ \\
Y ahora los dividimos por 2, porque, no sé si lo habrás notado, pero, todos los números exomarcianos bn son pares, y así obtenemos los exomarcianos dn:

\displaystyle d_2=\frac{2^2-2}{2}=2-1=1,\\ \\ d_3=\frac{2^{2^2-1}-2}{2}=2^{2^2-2}-1= 3,\\ \\ d_4=\frac{2^{2^{2^2-1}-1}-2}{2}=2^{2^{2^2-1}-2}-1=63,\\ \\ d_5=\frac{2^{2^{2^{2^2-1}-1}-1}-2}{2}=2^{2^{2^{2^2-1}-1}-2}-1=\frac{\text{\small Deimos-1}}{2},\\\\ d_6=\frac{2^{2^{2^{2^{2^2-1}-1}-1}-1}-2}{2}=2^{2^{2^{2^{2^2-1}-1}-1}-2}-1=\frac{\text{\small Fobos-1}}{2},\\ \\ \ldots \\ \\
En general tenemos que:

\displaystyle d_n=2^{a_n-1} -1
es divisible por an, si ese exponente pertenece a la sucesión Catalan-Mersenne (número marciano), y además, también será divisible por todos los números que le anteceden, es decir por a1, a2, …, an-1. Eso es así por el pequeño teorema de Fermat. Y si recordamos, a vuelapluma este teorema, que dice:

\displaystyle a^{p-1} \equiv 1 \pmod p.

siempre es cierto, si el entero a no es divisible por el número primo p. O expresado de otra forma:

\displaystyle \frac{d_p}{p}=\frac{a^{p-1} - 1}{p}, \ \; \text{\small es un n\'umero entero distinto de 0.}
En nuestro caso, el de los número Catalan-Mersenne, vemos que es estrictamente cierto, incluso para p = a1 = 2, ya que también es a = 2, y por lo tanto, al ser el mismo número, el pequeño teorema de Fermat nos dice que no dará una división entera. Efectivamente, para ese caso, de p = 2, esa división es d2/p = 1/2.

Ahora vamos a demostrar que todos los números marcianos (Catalan-Mersenne) son números primos. Para ellos debemos fijarnos es la extensión del pequeño teorema de fermat que dice:

\displaystyle A = a^{p^n-1}-1 \equiv  0 \pmod p
Lo cual quiere decir que si el número a no es divisible por el número primo p, el cual aparece elevado a cierto número natural n, entonces en número A es divisible por el número primo p. Dicho de otra forma:

\displaystyle A = a^{n-1}-1 \equiv  0 \pmod p
es siempre divisible por p = cad(n) si ese p es primo, y sabiendo que cad(n) es el radical de n. El radical de un número primo es siempre el mismo número primo. El radical de un número primo elevado a cualquier número natural es también siempre el mismo número primo. El radical de un número cualquiera, sea primo o no, es siempre el producto de sus factores primos despojados de los exponentes mayores a la unidad, Por ejemplo rad(23 × 3 × 54 × 7) = 2 × 3 × 5 × 7 = 210.
Saludos alienígenas a todos

Posted in Matemáticas | Etiquetado: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a Comment »

El conjunto de los números fantásticamente completos y dónde encontrarlo

Posted by Albert Zotkin en marzo 7, 2018

Se me ha ocurrido una idea sencilla para estudiar los números primos desde perspectivas aún inexploradas. Vayamos al conjunto de los números complejos, y definamos el subconjunto de los números “fantástamente completos” así:

El número complejo z pertenecerá al conjunto de los números “fantástamente completos“, {Fc}, si su parte real es un número primo y su parte imaginaria es un número compuesto, o viceversa, y cumplen las siguientes propiedades:

1. Si la parte real de z es el número primo, p, entonces su parte imaginaria sólo podrá ser uno de estos números compuestos: (p+1) ó (p-1). Con lo cual tendremos cuatro valores diferentes:

\displaystyle  z=p +(p+1)i \\  z=p -(p+1)i \\ z=p -(p-1)i \\ z=p +(p-1)i (1)
2. Si la parte real de z es el número compuesto que dista sólo una unidad de un número primo, entonces tendremos también cuatro posibles números pertenecientes al conjunto Fc:

\displaystyle  z=(p+1)+pi  \\ z=(p+1)-pi  \\ z=(p-1)-pi  \\ z=(p-1)+pi (2)
3.El tercer caso es para los números complejos cuya parte real es un número compuesto, pero el menor primo mayor que él ya no dista una unidad, o el mayor primo menor que él tampoco. Por ejemplo para los complejo cuya parte real es 8, tendremos que el menor primo mayor que él es el 11, y el mayor primo menor que él es el 7: así tendremos los números:

\displaystyle  z=8+11i  \\ z=8-11i  \\ z=8+7i   \\ z=8-7i (3)

O para el 15 de parte real tendríamos:

\displaystyle  z=15 + 17i  \\ z=15 - 17i  \\ z=15 + 13i  \\ z=15 - 13i (4)
Usemos la función cuenta primos π(x). Un número entero positivo, m, es compuesto si π(m) – π(m-1) = 0, y también π(m+1) – π(m) = 0. Por el contrario, si m es primo, entonces π(m) – π(m-1) = 1, y π(m+1) – π(m) = 1. Pero, antes de intentar encontrar una forma cerrada para este último caso de números, debemos preguntarnos, que podríamos hacer con esta clase de números. Ya sabemos que dado un número primo p, podemos definir desde él, al menos, ocho complejos diferentes, los de (1) y (2). Y si tenemos de entrada un compuesto, podemos construir complejos además podrían ser del tercer caso.

Enpecemos a jugar un poco con estos números del conjunto de los “fantástamente completos“, {Fc}. Por ejemplo, seleccionemoss números de la forma m = p -(p-1)i, donde p es primo. Elevemos al cubo ese número m:

\displaystyle  m^3 = -3 p + 6 p^2 - 2 p^3 +  (-1 + 3 p - 2 p^3)i (5)
Observamos claramente que su parte real sólo puede ser un número compuesto o el primo 2, pues es divisible por 2, y su parte imaginaria sí podría ser un número primo, según el valor de p. Además, vemos que sería esa parte imaginaria un número entero negativo. Busquemos que números primos p, producen un número primo en esa parte imaginaria de m. Por mucho que búsquemos, sólo encontraremos el siguiente número complejo:

\displaystyle  m^3 = 2 - 11 i (6)
El cual, claramente, no pertenece al conjunto Fc. Pero, lo curioso de todo esto es siempre obtenemos el número p = 2. Cuando vamos elevando el número m a las sucesivas potencias, obtenemos los siguientes números cubos vuyas partes imaginarias son números primos:

\displaystyle  m = p - (p-1)\,i \\ \\ p=2,\,\, m = 2 - i \\  p=2,\,\, m^3 = 2 - 11\,i \\  p=2,\,\, m^5 =-38-41\,i\\  p=2,\,\, m^7 =-278-29\,i\\  p=2,\,\, m^{11} =2642-6469\,i\\  p=2,\,\, m^{13} =33802-8839\,i\\  p=2,\,\, m^{17} =-24478-873121\,i\\  p=2,\,\, m^{19} =-3565918-2521451\,i (7)
Observamos que sólo las potencias impares dan esos números con parte imaginaria prima. Veamos ahora las potencias pares: Veremos que sólo para m al cubo se obtiene 153 números con sucesivos valores de p, desde el 2 hasta el 7867. Los siguientes dos números obtenidos corresponden a las potencias de 5 y de 9

\displaystyle  m = p - (p-1)\,i \\ \\ p=2,\,\, m = 2 - i \\  p=2,\,\, m^3 = 3-4\,i \\ \\  p=3,\,\, m = 3 - 2\,i \\  p=3,\,\, m^3 = 5-12\,i\\  \cdots \\  p=7687,\,\, m^{3} =15373-118164564\,i\\  p=7867,\,\, m^{3} =15733-123763644\,i\\ \\  p=2,\,\, m^{5} =-7-24\,i\\  p=3,\,\, m^{9} =-239+28560\,i (8)
En resumen, que esta clase de números puede dar un juego bastante bueno, si se investiga un poco. Veamos ahora números de la forma m = p-1 –p i. Obtenemos los siguientes para potencias impares:

\displaystyle  m = p -1 - p\,i \\ \\ p=2,\,\, m = 1 - 2\,i \\  p=2,\,\, m^3 =  -11+2\,i \\  p=2,\,\, m^5 =-41 -38\,i\\  p=2,\,\, m^7 =-29-278\,i\\  p=2,\,\, m^{11} =-6469+2642\,i\\  p=2,\,\, m^{13} =-8839+33802\,i\\  p=2,\,\, m^{17} =-873121 24478\,i\\  p=2,\,\, m^{19} =-2521451-3565918\,i

(9)
Vemos que el complejo p-1 –p i, como es el conjugado de p -(p-1)i, los números obtenidos de sus potencias, también son conjugados de (9).

Nos faltaba aún encontrar una forma cerrada para el tercer caso que expliqué arriba. Es decir, dado un número entero positivo cualquiera, n, ¿cómo construir desde él los númerod fantásticamente completod, m, con sud parted reales igual a n?. La respuesta no sea hace esperar. Primero hay que hallar las partes imaginarias de esos posibles números. Para ello definimos la siguiente función, que llamaremos PrimeComplexBlock, para la cual introducimos el dato inicial n, y nos devolverá el par de números buscado:

\displaystyle   \text{\textbf{PrimeComplexBlock}}(n)= \begin{cases}  \{n - 1,\, n + 1\}    & \small \text{si \textit{n} es primo} \\  \{p(\pi(n)),\, \text{\small{\textbf{NextPrime}}}(n)\} & \small \text{en caso contrario}   \end{cases}

(10)
Es decir, si n es compuesto entonces nos devuelve el par de números {p(π(n)), NextPrime(n)}. El primer número del par nos da el mayor número primo de todos los primos menores que n. Y el segundo número del par, es decir, NextPrime(n)}, como su propio nombre indica, nos da el menor primo de todos los que son mayores a n. Pongamos un ejemplo. Sea n = 10, entonces tenemos:

\displaystyle  p(\pi(10)) = 7,\, \text{\small{\textbf{NextPrime}}}(10)=11
la funcion π(n), es la función cuenta primos, es decir, nos dice cuántos números primos hay menores o igual a n. Y la función p(n) nos da el n-ésimo número primo. Por lo tanto, ambas funciones combinadas, en p(π(n)) nos definen una función que nos da el mayor número primo de los menores a n. Así pues, para n = 10, tendremos todos estos números fantásticamente completos:

\displaystyle 10 - 7  i \\  10 + 7  i \\  10 - 11 i \\ 10 + 11 i
Fijémonos ahora en los números fantásticaente completos de la forma m = p + (p+1)i, donde p son un número primo. Calculemos los cuadrados de esos números m. Sus cuadrados son también números complejos. Seleccionemos de los sucesivos cuadrados, aquellos cuya parte real es un número primo. La sucesión de esas partes reales primas es lo que se llama números primos seguros:

\displaystyle  \text{Re} ((p +(p+1)i)^2) =\\ \\ \{5, 7, 11, 23, 47, 59, 83, 107, 167, 179, 227, 263, 347, 359, 383, \\ 467, 479, 503, 563, 587, 719, 839, 863, 887, 983, 1019, 1187, 1283, \\ 1307, 1319, 1367, 1439, 1487, 1523, 1619, 1823, 1907, 2027, 2039, \\ 2063, 2099, 2207, 2447, 2459, 2579, 2819, 2879, 2903, 2963, 2999, \\ 3023, 3119, 3167, 3203, 3467, 3623, 3779, 3803, 3863, 3947, 4007, \\ 4079, 4127, 4139, 4259, 4283, 4547, 4679, 4703, 4787, 4799, 4919, \\ 5087, 5099, 5387, 5399, 5483, 5507, 5639, 5807, 5879, 5927, 5939, \\ 6047, 6599, 6659, 6719, 6779, 6827, 6899, 6983, 7079, 7187, 7247, \\ 7523, 7559, 7607, 7643, 7703, 7727, 7823, 8039, 8147, 8423, 8543, \\ 8699, 8747, 8783, 8819, 8963, 9467, 9587, 9743, 9839, 9887, 10007, \\ 10079, 10103, 10163, 10343, 10463, 10559, 10607, 10667, 10799, 10883, \\ 11003, 11279, 11423, 11483, 11699, 11807, 12107, 12203, 12227, 12263, \\ 12347, 12527, 12539, 12647, 12659, 12899, 12983, 13043, 13103, 13127, \\ 13163, 13523, 13799, 13967, 14087, 14159, 14207, 14243, 14303, 14387, \\ 14423, 14699, 14867, 15083, 15287, 15299, 15383, 15647, 15683, 15767, \\ 15803,\ldots \} (11)
sucesión A005385 en la biblioteca de secuencias OEIS. Como esas partes enteras son los llamados números seguros, resulta que estos números son a su vez números de la forma 2p + 1, donde p es otro primo, que es llamado número primo de Sophie Germain. Es decir, de la lista de arriba (11), restamos la unidad a cada uno de sus números y dividimos por 2, para obteber estos números primos de Sophie Germain:

\displaystyle \frac{\text{Re} ((p +(p+1)i)^2) -1}{2} =\\ \\ \{2, 3, 5, 11, 23, 29, 41, 53, 83, 89, 113, 131, 173, 179, 191, 233, \\ 239, 251, 281, 293, 359, 419, 431, 443, 491, 509, 593, 641, 653, 659, \\ 683, 719, 743, 761, 809, 911, 953, 1013, 1019, 1031, 1049, 1103, \\ 1223, 1229, 1289, 1409, 1439, 1451, 1481, 1499, 1511, 1559, 1583, \\ 1601, 1733, 1811, 1889, 1901, 1931, 1973, 2003, 2039, 2063, 2069, \\ 2129, 2141, 2273, 2339, 2351, 2393, 2399, 2459, 2543, 2549, 2693, \\ 2699, 2741, 2753, 2819, 2903, 2939, 2963, 2969, 3023, 3299, 3329, \\ 3359, 3389, 3413, 3449, 3491, 3539, 3593, 3623, 3761, 3779, 3803, \\ 3821, 3851, 3863, 3911, 4019, 4073, 4211, 4271, 4349, 4373, 4391, \\ 4409, 4481, 4733, 4793, 4871, 4919, 4943, 5003, 5039, 5051, 5081, \\ 5171, 5231, 5279, 5303, 5333, 5399, 5441, 5501, 5639, 5711, 5741, \\ 5849, 5903, 6053, 6101, 6113, 6131, 6173, 6263, 6269, 6323, 6329, \\ 6449, 6491, 6521, 6551, 6563, 6581, 6761, 6899, 6983, 7043, 7079, \\ 7103, 7121, 7151, 7193, 7211, 7349, 7433, 7541, 7643, 7649, 7691, \\ 7823, 7841, 7883, 7901,\ldots \} (12)
sucesión A005384 en la biblioteca de secuencias OEIS. Estos últimos números primos de la lista (12) se llaman primos Sophie Germain, porque fué la matemática francesa Marie-Sophie Germain la primera en demostrar que el Último teorema de Fermat era cierto para esta clase de números primos.

Un saludo fantásticamente completo 🙂

Posted in Matemáticas | Etiquetado: , , , , , , , , , , , , , , , , , , , | Leave a Comment »

 
A %d blogueros les gusta esto: