10 votos

Para un polinomio trigonométrico $P$ , puede $\lim \limits_{n \to \infty} P(n^2) = 0$ sin $P(n^2) = 0$ ?

Descargo de responsabilidad: La versión original de esta pregunta se centraba en $2^n$ en lugar de $n^2$ . Es con la esperanza de que la pregunta sea más fácil con $n^2$ que lo cambié.

Tengo un polinomio trigonométrico siempre negativo (en los enteros no negativos)¹ $P$ : $$P(n) = \mathcal{R}\left(\sum_{j=1}^k a_j e^{i \theta_j n}\right),$$ con $\lim \limits_{n \to \infty} P(n^2) = 0$ .

Quiero demostrar que $P(n^2) = 0$ .

A continuación se presentan algunos datos básicos sobre los polinomios trigonométricos que pueden ser útiles. A polinomio trigonométrico es un función casi periódica . Esto implica, en particular, que en particular que:

  • Para $\epsilon > 0$ Hay un número $L=L(\epsilon)$ tal que cualquier intervalo de longitud $L$ en la línea real tiene un $\epsilon$ -traducción entero, es decir, un número entero $t$ tal que $|P(n) - P(n +t)| < \epsilon$ para cualquier $n$ .

  • A partir de cualquier secuencia $\{P(n + m_k)\}$ se puede extraer una subsecuencia que converge uniformemente con respecto a $n$ . Además, la función a la que converge converge es casi periódica. ( $\{m_k\}$ es una secuencia arbitraria de números).

  • En particular, para cualquier secuencia $\{m_k\}$ para cualquier $\epsilon$ existe $i \neq j$ tal que $m_i - m_j$ es un $\epsilon$ -número de traducción.

Un caso aún más sencillo es considerar que $\lim \limits_{n \to \infty} P(n) = 0$ . Una prueba que implica que $P(n) = 0$ para cualquier $n$ es la siguiente. Supongamos que hay un $m$ tal que $P(m) > 0$ , y establecer $\epsilon = P(m)/2$ . Ahora, para cualquier $N$ existe un $\epsilon$ -número de traducción $t$ de $P$ con $t > N$ un número entero. Entonces $|P(m) - P(m+t)| < \epsilon$ Por lo tanto $P(m+t) > \epsilon$ . Así, $\lim \limits_{n \to \infty} P(n)$ no es nulo.

¹: El polinomio trigonométrico se toma en el sentido de, por ejemplo, Corduneanu (en Funciones casi periódicas). Wikipedia parece tener una definición diferente.

2voto

confused Puntos 71

[ Editar: Esta respuesta se refiere a una versión anterior de la pregunta].

El siguiente es un contraejemplo (suponiendo que "positivo" debe leerse "no negativo"):

$$P(x)=\left(1+\cos\pi(x-1)+\cos(\sqrt2-1)\pi(x-1)+\cos\sqrt2\pi(x-1)\right)^2$$

Es trivialmente no negativo para todo $x\in\Bbb R$ ya que es un cuadrado. Para todos los $k\in\Bbb N_0$ que tenemos:

$$\begin{align}P(2k)&=0\tag{1}\\P(2k+1)&=16 \cos^4k \sqrt2\pi\tag{2}\end{align}$$

que podemos demostrar utilizando las fórmulas trigonométricas habituales:

$$\begin{align}P(2k)&=\left(1+\cos\pi(2k-1)+\cos(\sqrt2-1)\pi(2k-1)+\cos\sqrt2\pi(2k-1)\right)^2\\&=\left(1+(-1)+\cos(\sqrt2\pi(2k-1)-\pi(2k-1))+\cos\sqrt2\pi(2k-1)\right)^2\\&=\left(\cos(\sqrt2\pi(2k-1)+\pi)+\cos\sqrt2\pi(2k-1)\right)^2\\&=\left(-\cos(\sqrt2\pi(2k-1))+\cos\sqrt2\pi(2k-1)\right)^2\\&=0\\ \\P(2k+1)&=\left(1+\cos\pi2k+\cos(\sqrt2-1)\pi2k+\cos\sqrt2\pi2k\right)^2\\&=\left(1+1+\cos(2\sqrt2k\pi-2k\pi)+\cos2\sqrt2k\pi\right)^2\\&=\left(2+2\cos2\sqrt2k\pi\right)^2\\&=\left(4\cos^2\sqrt2k\pi\right)^2\\&=16 \cos^4 \sqrt2k\pi\end{align}$$

También, $P$ no es una función periódica, lo que creo que podemos demostrar eligiendo una función arbitraria $T\neq 0$ y mostrando que $P(x+T)-P(x)$ es distinto de cero para algunos $x\in\Bbb R$ . Esto parece un poco tedioso, así que proporcionaré el cálculo más tarde si tengo algo más de tiempo. [ Editar: Como señala el usuario10676, este cálculo no es necesario. $P$ no es periódico porque $P(x)=16$ sólo para $x=1$ .]

Sin embargo, está bastante claro que el periodo no puede ser un número entero, lo que se puede ver directamente examinando $(1)$ y $(2)$ y utilizando la irracionalidad de $\sqrt2$ . Dado que la pregunta se refiere a esto, hemos encontrado un contraejemplo relevante.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X