Articulo de referencia

Problema de valores propios cuadrático

En matemáticas , el problema de valores propios cuadráticos [ 1 ] (QEP) consiste en encontrar valores propios escalares. λ {\displaystyle \lambda } , autovectores izquierdos y {...

En matemáticas , el problema de valores propios cuadráticos [ 1 ] (QEP) consiste en encontrar valores propios escalares.λ{\displaystyle \lambda }, autovectores izquierdosy{\displaystyle y}y autovectores derechosincógnita{\displaystyle x}de tal manera que

Q(λ)incógnita=0  y  yQ(λ)=0,{\displaystyle Q(\lambda )x=0~{\text{ y }}~y^{\ast }Q(\lambda )=0,}

dóndeQ(λ)=λ2METRO+λdo+K{\displaystyle Q(\lambda )=\lambda ^{2}M+\lambda C+K}, con coeficientes de matrizMETRO,do,Kdonorte×norte{\displaystyle M,\,C,K\in \mathbb {C} ^{n\times n}}y requerimos queMETRO0{\displaystyle M\,\neq 0}, (de modo que tengamos un coeficiente principal distinto de cero). Hay2norte{\displaystyle 2n}autovalores que pueden ser infinitos o finitos, y posiblemente cero. Este es un caso especial de un problema de autovalores no lineal .Q(λ){\displaystyle Q(\lambda )}También se la conoce como matriz polinómica cuadrática .

Teoría espectral

Se dice que un QEP es regular sidet(Q(λ))0{\displaystyle {\text{det}}(Q(\lambda ))\not \equiv 0}idénticamente. El coeficiente de laλ2norte{\displaystyle \lambda ^{2n}}término endet(Q(λ)){\displaystyle {\text{det}}(Q(\lambda ))}esdet(METRO){\displaystyle {\text{det}}(M)}, lo que implica que el QEP es regular siMETRO{\displaystyle M}es no singular.

Los autovalores en el infinito y los autovalores en 0 pueden intercambiarse considerando el polinomio inverso,λ2Q(λ1)=λ2K+λdo+METRO{\displaystyle \lambda ^{2}Q(\lambda ^{-1})=\lambda ^{2}K+\lambda C+M}. Como hay2norte{\displaystyle 2n}vectores propios en unnorte{\displaystyle n}En un espacio dimensional, los autovectores no pueden ser ortogonales. Es posible que un mismo autovector esté asociado a diferentes autovalores.

Aplicaciones

Sistemas de ecuaciones diferenciales

Los problemas de valores propios cuadráticos surgen de forma natural en la solución de sistemas de ecuaciones diferenciales lineales de segundo orden sin forzar:

METROq(t)+doq(t)+Kq(t)=0{\displaystyle Mq''(t)+Cq'(t)+Kq(t)=0}

Dóndeq(t)Rnorte{\displaystyle q(t)\in \mathbb {R} ^{n}}, yMETRO,do,KRnorte×norte{\displaystyle M,C,K\in \mathbb {R} ^{n\times n}}. Si todos los autovalores cuadráticos deQ(λ)=λ2METRO+λdo+K{\displaystyle Q(\lambda )=\lambda ^{2}M+\lambda C+K}son distintos, entonces la solución se puede escribir en términos de los autovalores cuadráticos y los autovectores cuadráticos derechos como

q(t)=j=12norteαjincógnitajmiλjt=incógnitamiΛtα{\displaystyle q(t)=\sum _{j=1}^{2n}\alpha _{j}x_{j}e^{\lambda _{j}t}=Xe^{\Lambda t}\alpha }

DóndeΛ=Diag([λ1,,λ2norte])R2norte×2norte{\displaystyle \Lambda ={\text{Diag}}([\lambda _{1},\ldots ,\lambda _{2n}])\in \mathbb {R} ^{2n\times 2n}}son los autovalores cuadráticos,incógnita=[incógnita1,,incógnita2norte]Rnorte×2norte{\displaystyle X=[x_{1},\ldots ,x_{2n}]\in \mathbb {R} ^{n\times 2n}}son los2norte{\displaystyle 2n}autovectores cuadráticos derechos yα=[α1,,α2norte]R2norte{\displaystyle \alpha =[\alpha _{1},\cdots ,\alpha _{2n}]^{\top }\in \mathbb {R} ^{2n}}es un vector de parámetros determinado a partir de las condiciones iniciales enq{\displaystyle q}yq{\displaystyle q'}Ahora se puede aplicar la teoría de estabilidad para sistemas lineales, ya que el comportamiento de una solución depende explícitamente de los valores propios (cuadráticos).

Métodos de elementos finitos

Un QEP puede resultar en parte del análisis dinámico de estructuras discretizadas por el método de elementos finitos . En este caso, el cuadrático,Q(λ){\displaystyle Q(\lambda )}tiene la formaQ(λ)=λ2METRO+λdo+K{\displaystyle Q(\lambda )=\lambda ^{2}M+\lambda C+K}, dóndeMETRO{\displaystyle M}es la matriz de masas ,do{\displaystyle C}es la matriz de amortiguación yK{\displaystyle K}es la matriz de rigidez . Otras aplicaciones incluyen la vibroacústica y la dinámica de fluidos .

Métodos de solución

Métodos directos para resolver problemas de valores propios estándar o generalizados.Aincógnita=λincógnita{\displaystyle Ax=\lambda x}yAincógnita=λBincógnita{\displaystyle Ax=\lambda Bx} se basan en transformar el problema a la forma de Schur o a la forma generalizada de Schur . Sin embargo, no existe una forma análoga para los polinomios matriciales cuadráticos. Un enfoque consiste en transformar el polinomio matricial cuadrático en un haz de matrices lineales (AλB{\displaystyle A-\lambda B}), y resolver un problema generalizado de valores propios. Una vez que se han determinado los valores propios y los vectores propios del problema lineal, se pueden determinar los vectores propios y los valores propios del problema cuadrático.

La linealización más común es la primera linealización compañera .

L1(λ)=[0norteKdo]λ[norte00METRO],{\displaystyle L1(\lambda )={\begin{bmatrix}0&N\\-K&-C\end{bmatrix}}-\lambda {\begin{bmatrix}N&0\\0&M\end{bmatrix}},}

con el vector propio correspondiente

z=[incógnitaλincógnita].{\displaystyle z={\begin{bmatrix}x\\\lambda x\end{bmatrix}}.}

Por conveniencia, a menudo se tomanorte{\displaystyle N}ser elnorte×norte{\displaystyle n\times n}matriz identidad . ResolvemosL(λ)z=0{\displaystyle L(\lambda )z=0}paraλ{\displaystyle \lambda }yz{\displaystyle z}, por ejemplo, calculando la forma generalizada de Schur. Luego podemos tomar la primeranorte{\displaystyle n}componentes dez{\displaystyle z}como el vector propioincógnita{\displaystyle x}de la cuadrática originalQ(λ){\displaystyle Q(\lambda )}.

Otra linealización común viene dada por

L2(λ)=[K00norte]λ[doMETROnorte0].{\displaystyle L2(\lambda )={\begin{bmatrix}-K&0\\0&N\end{bmatrix}}-\lambda {\begin{bmatrix}C&M\\N&0\end{bmatrix}}.}

En el caso de queA{\displaystyle A}oB{\displaystyle B}es una matriz hamiltoniana y la otra es una matriz sesgada hamiltoniana , se pueden utilizar las siguientes linealizaciones.

L3(λ)=[K0doK]λ[0KMETRO0].{\displaystyle L3(\lambda )={\begin{bmatrix}K&0\\C&K\end{bmatrix}}-\lambda {\begin{bmatrix}0&K\\-M&0\end{bmatrix}}.}
L4(λ)=[0KMETRO0]λ[METROdo0METRO].{\displaystyle L4(\lambda )={\begin{bmatrix}0&-K\\M&0\end{bmatrix}}-\lambda {\begin{bmatrix}M&C\\0&M\end{bmatrix}}.}

Referencias

  1. F. Tisseur y K. Meerbergen, El problema de valores propios cuadráticos, SIAM Rev., 43 (2001), págs. 235–286.