Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
La integracin por reduccin se aplica a integrales con funciones de exponentes enteres pero muy grandes, buscando obtener una parte integrada y una sin integrar, en la que aparecer la misma integral inicial pero con los exponentes disminuidos, de esta forma, aplicando la frmula se puede ir rebajando el exponente hasta llegar a integrales de resolucin directa. En cada caso se puede obtener la frmula de reduccin directamente y posteriormente aplicarla al problema concreto. Muchas frmulas de reduccin estn tabuladas (veremos algunas de uso frecuente en la tabla inferior. El procedimiento es bsicamente similar en cada caso; primero una integracin por partes, que nos conducir a una parte ya integrada y una integral en la que se debe, o conseguir directamente la misma integral inicial reducida de exponente, o descomponerla en suma de integrales una de las cuales sea la misma integral inicial reducida y la otra la integral inicial. Las frmulas de reduccin ms usuales, obtenidas aplicando procedimientos descritos en el prrafo anterior se ven en la tabla siguiente: Integral Frmula de reduccin
A. Integrales inmediatas:
==================
====== =======
=====================
====================== EJEMPLOS VARIOS A.1.Integrales reducibles a inmediatas de tipo potencial: Siempre que en el integrando aparezca una funcin elevada a una constante, si lo que la multiplica es al menos en su parte variable la derivada de la funcin, se podr ajustar con constantes y ser una integral inmediata de tipo potencial. Ejemplo:
A.2. Integrales reducibles a inmediatas de tipo exponencial. Siempre que en el integrando aparezca una funcin, si lo que la multiplica es al menos en su parte variable la derivada de la funcin, se podr ajustar con constantes, y ser una inmediata de tipo exponencial. Ejemplo:
A.3. Integrales reducible a inmediatas de tipo logartmico. Si en el integrando aparece un cociente, si el numerador es al menos en su parte variable la derivada del denominador, se podr ajustar con constantes, y ser una integral inmediata de tipo logartmico. Ejemplo:
A.4. Integrales reducibles a inmediatas de tipo trigonomtricas inversas. Si en el integrando aparece una expresin de alguno de los tipos:
O incluso sin raz en el denominador. podemos aplicar el mtodo de los 4 pasos que consiste en: Paso 1:: Se multiplican numerador y denominador por la raz cuadrada de cuatro veces el valor absoluto del coeficiente numrico del trmino en x2. Paso 2: :Se expresa el trmino interior a la raz obtenido anteriormente en la forma , identificando coeficientes con esta expresin. Paso 3:: Se divide numerador y denominador por la raz cuadrada de p. Paso 4:: Se ajusta por constantes el resultado obtenido a alguna de las integrales inmediatas de tipo inversa de las trigonomtricas. Ejemplo:
_________________________________________________________________________________ __
B. Integrales racionales: B.1.El grado del numerador P(x) es mayor que el grado del denominador Q(x) Realizamos la divisin de P(x) por Q(x) y llamando C(x) al cociente y R(x) al resto se ha de cumplir que: P(x)=Q(x)C(x)+R(x) Si R(x)=0 la divisin es exacta y si es distinto de cero el grado de R(x) ser menor que el grado de Q(x). Dividiendo la igualdad anterior por Q(x), tenemos:
Si la divisin es exacta, la integral ha quedado reducida a una inmediata de tipo potencial, si no lo es actuaremos como se explicar en el caso B.3. B.2. El grado de P(x) es igual al grado de Q(x): Entonces el cociente es una constante y la integral queda reducida a:
La 1* inmediata y la segunda la estudiaremos en el caso B.2. B.3. El grado de P(x) es menor que el grado de Q(x): Seguimos el siguiente proceso:
Obtenemos las races del polinomio denominador Q(x).y stas pueden ser:
B.3.2. Races reales mltiples. B.3.3. Races complejas simples. B.3.4. Races complejas mltiples. B.3.1. Races reales simples: a) Podemos poner la integral racional as:
c) Obtenemos los coeficientes Ai expresando ambos miembros de la igualdad anterior en comn denominador que ser Q(x) y utilizando el mtodo de identificacin de coeficientes o dando valores a arbitrarios a x y resolviendo el sistema de ecuaciones que resulte. d) Integramos el segundo miembro en el que todas las integrales que aparecen son inmediatas de tipo logaritmo neperiano. Ejemplo:
Hacemos:
Quedando la integral:
B.3.2. Races reales mltiples: Si Q(x) es de grado n y sus races son r1, r2,...rm con rdenes de multiplicidad s1, s2,...sp (verificndose que s1+s2+...+sp=n). Se tiene que el radicando se puede descomponer as:
Es decir, de cada raz mltiple con orden de multiplicidad s, obtenemos s+1 fracciones simples. Por identificacin de coeficientes obtenemos las constantes y de ah la integral queda recducida a inmediata: Ejemplo:
Quedando la integral:
B.3.3. Races complejas simples: Supongamos el caso particular, para fijar ideas, de que el polinomio Q(X) fuese de 5: grado y sus races fuesen x=r1 (raz real simple), x=r2 (raz real de orden de multiplicidad 2) y x=a+bi, x=a-bi (races complejas simples conjugadas). Q(x) quedara descompuesto as:
En la descomposicin de en fracciones simples las fracciones correspondientes a la raz real simple y a la mltiple ya las hemos tratado en puntos anteriores. En cuanto a las races complejas simples obtendramos, en el numerador un polinomio completo de primer grado Mx+N y en denominador la expresin (x-a)2+b2. Resolvamos una integral de este tipo:
Calculemos ahora I1 e I2
Quedando el radicando:
Con lo que:
B.3.4. Races complejas mltiples: Aplicaremos el mtodo de Hermite, descomponemos P(x)/Q(x) de la siguiente manera:
Las races reales simples se descomponen como en el apartado B.3.1. Las races reales mltiples se descomponen como si fueran simples (sin tener en cuenta su orden de multiplicidad) Las races complejas simples se descomponen como en el caso B.3.3. Las races complejas mltiples se descomponen como si fueran simples (sin tener en cuenta su orden de multiplicidad). Se aade un trmino caracterstico llamado de Hermite que se forma como: 1. La derivada indicada con respecto a x de un cociente donde primero se colocar el denominador, el cual ser el producto de las expresiones en la descomposicin factorial de las races reales mltiples y las races complejas mltiples, elevadas a exponentes que son sus grados de multiplicidad respectivos menos uno. 2. Se expresar el numerador, que ser un polinomio en x, completo de coeficientes indeterminados y de grado inferior en una unidad al polinomio del denominador
Se deriva este ltimo trmino con relacin a x Se expresan ambos trminos con el comn denominador Q(x). Se calculan los coeficientes indeterminados. Se integra la expresin resultante.
Ejemplo:
El denominador tiene una raz real simple x=1 y dos races complejas dobles El denominador pues, puede ser descompuesto as:
De donde
C.- Integracin por partes. Si u y v son dos funciones cualesquiera, se puede demostrar la siguiente frmula de integracin llamada por partes
Con esta frmula transformamos una integral en otra que, si es de ms fcil clculo, nos permitir resolver la integral inicial. Como norma general elegiremos como u la parte del integrando fcil de derivar y como dv la parte fcil de integrar. Ejemplo:
Hacemos:
Pudindose reiterar el mtodo cuantas veces sea necesario hasta obtener una integral inmediata o fcilmente integrable. D. Integracin por reduccin.
La integracin por reduccin se aplica a integrales con funciones de exponentes enteres pero muy grandes, buscando obtener una parte integrada y una sin integrar, en la que aparecer la misma integral inicial pero con los exponentes disminuidos, de esta forma, aplicando la frmula se puede ir rebajando el exponente hasta llegar a integrales de resolucin directa. En cada caso se puede obtener la frmula de reduccin directamente y posteriormente aplicarla al problema concreto. Muchas frmulas de reduccin estn tabuladas (veremos algunas de uso frecuente en la tabla inferior. El procedimiento es bsicamente similar en cada caso; primero una integracin por partes, que nos conducir a una parte ya integrada y una integral en la que se debe, o conseguir directamente la misma integral inicial reducida de exponente, o descomponerla en suma de integrales una de las cuales sea la misma integral inicial reducida y la otra la integral inicial. Las frmulas de reduccin ms usuales, obtenidas aplicando procedimientos descritos en el prrafo anterior se ven en la tabla siguiente:
Integral
Frmula de reduccin
EJEMPLOS
Mtodos de integracin
De Wikipedia, la enciclopedia libre Saltar a navegacin, bsqueda Se entiende por mtodos de integracin cualquiera de las diferentes tcnicas elementales usadas para calcular una antiderivada o integral indefinida de una funcin. As, dada una funcin f(x), los mtodos de integracin son tcnicas cuyo uso (usualmente combinado) permite encontrar una funcin F(x) tal que
, lo cual, por el teorema fundamental del clculo equivale a hallar una funcin F(x) tal que f(x) es su derivada:1
Integracin directa
En ocasiones es posible aplicar la relacin dada por el teorema fundamental del clculo de forma directa. Esto es, si se conoce de antemano una funcin cuya derivada sea igual a f(x) (ya sea por disponer de una tabla de integrales o por haberse calculado previamente), entonces tal funcin es el resultado de la antiderivada. Ejemplo Calcular la integral . En una tabla de derivadas se puede comprobar que la derivada de tan(x) es sec2(x). Por tanto: Ejemplo Calcular la integral . . De este .
Una frmula estndar sobre derivadas establece que modo, la solucin del problema es
No obstante, puesto que la funcin esta definida en los nmeros negativos tambin ha de estarlo su integral, as que, la integral escrita de una forma rigurosa sera ln(|x|)
En la integral reemplazamos
con (u):
(1) Ahora necesitamos sustituir tambin Tenemos que para que la integral quede slo en funcin de :
Se despeja
Simplificando:
Debemos considerar si la sustitucin fue til y por tanto se lleg a una forma mejor, o por el contrario empeor las cosas. Luego de adquirir prctica en esta operacin, se puede realizar mentalmente. En este caso qued de una manera ms sencilla dado que la primitiva del coseno es el seno. Como ltimo paso antes de aplicar la regla de Barrow con la primitiva debemos modificar los lmites de integracin. Sustituimos x por el lmite de integracin y obtenemos uno nuevo. En este caso, como se hizo : (lmite inferior) (lmite superior) Luego de realizar esta operacin con ambos lmites la integral queda de una forma final:
[editar] De inters
Supongamos ahora que la integral a resolver es:
Cuando las integrales son de tipo racional e involucra funciones trigonomtricas, dgase: y la sustitucin conveniente resulta ser :
Regla mnemotcnica: "Un Da Vi Una Vaca sin rabo (menos integral) Vestida De Uniforme". Eligiendo adecuadamente los valores de y resolucin de la integral. , puede simplificarse mucho la .
. Existe una regla mnemotcnica para recordar la integracin por partes, la cual dice as:
"Sentado un da vi un valiente soldado vestido de uniforme" . "Un da vi una vaca sin cola vestida de uniforme". "Una vaca menos la vaca de uno" "un (u) viejo (v) soldado(integral) vestido (v) de uniforme (du). solo un dia vi=un valiente-soldado vestido de uniforme "Sentado ( ) un ( ) da vi ( vestida ( ) de uniforme ( )" ) una vaca ( ) sin ( ) cola ( )
Para elegir la funcin se puede usar una de las siguiente reglas mnemotcnicas:
1. Arcoseno, arcocoseno..., Logartmicas, Polinmicas, Exponenciales, Seno, coseno, tangente... A L P E S. Nota: Elegimos siempre "u" como la funcin situada ms a la izquierda de la palabra ALPES. 2. Inversas trigonomtricas, Logartmicas, Algebricas, Trigonomtricas, Exponenciales. I L A T E. Nota: Elegimos siempre "u" como la funcin situada ms a la izquierda de la palabra ILATE. 3. Inversas trigonomtricas, Logartmicas, Potenciales, Exponenciales, Trigonomtricas I L P E T Nota: Elegimos siempre "u" como la funcin situada ms a la izquierda de la palabra ILPET.
En general, se intenta escribir un integrando en el que intervienen potencias de seno y coseno en una forma donde se tiene slo un factor
seno (y el resto de la expresin en trminos de coseno) o slo un factor coseno (y el resto de la expresin en trminos de seno). La identidad sen2x + cos2x = 1 permite convertir de una parte a otra entre potencias pares de seno y coseno.
Cuando n = 2k + 1, podemos apartar un factor del seno y sustituirlo por la identidad sen2x = 1 cos2x para poder expresar los factores restantes en trminos del coseno:
Al tener el integral de esta forma se puede resolver por medio de sustitucin haciendo u = cos(x), du = sen(x)dx. Como en la expresion no tenemos un sen(x)dx multiplicamos ambos lados por * ( 1) y nos queda la expresin du = sen(x)dx que ya podemos sustituir:
seria igual a:
[editar] Ejemplo #1
Determine
Solucin Lo primero que tenemos que ver es que la potencia impar la tiene la funcin seno, esto nos hace notar que estamos en el primer caso que describimos arriba, entonces aplicamos el algoritmo,
Sustituyendo
, tenemos
luego
Se puede usar una estrategia similar a la anterior. Puesto que: , se puede separar un factor sec2x y convertir la potencia restante (par) de la secante en una expresin relacionada con la tangente por medio de la identidad sec2x = 1 + tan2x. O bien, puesto que: , se puede separar un factor secxtanx y convertir la potencia restante (par) de tangente a secante.
n = 2k separar un factor de sec2x y utilice sec2x = 1 + tan2x para lograr expresar los factores restantes en trminos de tanx:
m = 2k + 1 apartar un factor de secxtanx y emplear tan2x = sec2x 1 para poder expresar los factores que restan en trminos de secx:
Para otros casos, las directrices no son tan claras. Podra ser necesario usar identidades, integracin por partes y, ocacionalmente, un poco de inventiva.
A veces ser necesario poder integrar tanx por medio de la frmula establecida:
Esta ltima se podra comprobar mediante la derivacin de lado derecho, o como sigue:
Si se sustituye u = secx + tanx, despus du = (secxtanx + sec2x)dx, tambin, la integral se convierte en:
As, se tiene:
NOTA Para integrales que contienen cosecantes y cotangentes, la estrategia es anloga a la del par secantes-tangentes. Recordar la identidad: csc2x = 1 + cot2x
[editar] Notas
1. Para cada funcin f(x) existe una infinidad de funciones que tienen a f(x) por derivada, y por tanto hay una infinidad de soluciones a la integral f(x) dx. Todas estas soluciones difieren por una constante. Por ejemplo: x+5, x-20, x+ 13.41 son tres soluciones para 2x dx-. De este modo, si F(x) es una antiderivada de f(x), cualquier funcin de la forma F(x)+C tambin lo es. Esto se representa como f(x)dx = F(x)+C pero por simplicidad de la presentacin se omite la constante arbitraria C en cada uno de los ejemplos.
1 Se despeja una incgnita en una de las ecuaciones. 2 Se sustituye la expresin de esta incgnita en la otra
ecuacin, obteniendo un ecuacin con una sola incgnita.
5
sistema.
Los
dos
valores
obtenidos
constituyen
la
solucin
del
5 Solucin
Fundamentos del mtodo de los elementos finitos Se trata de un mtodo general para la solucin de problemas de contorno gobernados por ecuaciones diferenciales ordinarias o parciales. En esencia se trata de una tcnica que sustituye el problema diferencial por otro algebraico, aproximadamente equivalente, para el cual se conocen tcnicas generales de resolucin. Para ello hace uso de la "discretizacin" o subdivisin de una regin sobre la cual estn definidas las ecuaciones en formas geomtricas simples denominadas elementos finitos. Las propiedades materiales y relaciones
gobernantes en estos elementos se expresan en funcin de los valores desconocidos en las "esquinas" de los elementos o nodos (ver Figura 1). Una de las ventajas de este mtodo es su facilidad de implementacin en un programa computacional, que a su vez es una condicin bsica para su utilizacin ya que para el tratamiento de un problema en particular debe efectuarse un nmero muy elevado de operaciones para resolver sistemas algebraicos del orden de cientos o miles de ecuaciones. No obstante, esta cantidad no es una limitacin con las computadoras estndar de hoy. Las ideas bsicas de este mtodo se originaron en avances en el anlisis estructural de la industria aeronutica en la dcada del '50. En la dcada del '60 el mtodo fue generalizado para la solucin aproximada de problemas de anlisis de tensin , flujo de fluidos y transferencia de calor. El primer libro sobre elementos finitos fue publicado en 1967 por Zienkiewicz y Cheung. En la dcada del '70 el mtodo fue extendido al anlisis de problemas no lineales de la mecnica del continuo. Hoy el mtodo permite resolver prcticamente cualquier situacin fsica que pueda formularse mediante un sistema de ecuaciones diferenciales. En sus principios el mtodo de los elementos finitos no lleg masivamente a la prctica de la ingeniera debido a la no disponibilidad de computadoras en los estudios de ingeniera y por el otro al requisito de conocimientos profundos no solamente de la tcnica y de los modelos matemticos pertinentes sino tambin de programacin computacional. Actualmente, la situacin es completamente diferente, ya que las modernas computadoras personales soportan sin inconvenientes poderosos programas de propsito general de fcil utilizacin.
Figura 1 El proceso de anlisis de un problema fsico mediante elementos finitos se muestra en la figura 1. La geometra puede ser definida por el analista o creada a partir de algn programa CAD. El segundo paso consiste en definir el modelo matemtico a resolver. Este es el paso fundamental donde se especifica el tipo de ecuaciones a determinar, las condiciones de borde, propiedades materiales, y otros detalles acerca del mtodo en s mismo. Una vez efectuada dicha definicin el programa resuelve automticamente las ecuaciones pertinentes y provee los resultados en una forma apropiada para el analista.
Aplicaciones Modelo Elastohidrodinmico de un cojinete. En la figura 2 se observa la distribucin de presiones en un cojinete desarrollado. Se arrib a dicha solucin considerando el problema acoplado elastohidrodinmico bidimensional, es decir tratando conjuntamente la obtencin de las presiones debidas al flujo de lubricante dentro del cojinete (aplicando la ecuacin de Reynolds modificada) y la modelizacin del mismo como una placa elstica simplemente apoyada en sus extremos. Este tratamiento permite aproximar mejor que los modelos analticos convencionales la distribucin de presiones en el interior del cojinete al considerar simultneamente la deformacin por los efectos de sta. Tambin es posible considerar los efectos en los bordes del cojinete al trabajar con un modelo bidimensional.
Figura 2 Estudio dinmico de un sistema presa - embalse En este ejemplo se ha desarrollado el anlisis dinmico de una presa de gravedad junto con el reservorio de lquido que interacta con ella. Se ha considerado para esto una excitacin sinusoidal horizontal (representativa, por ejemplo, de un movimiento ssmico) sobre la parte slida del dominio (presa). Desde el punto de vista analtico clsico, este problema debe ser tratado obteniendo, en primer lugar, las presiones hidrodinmicas en el embalse, considerando al dique como un cuerpo rgido; en un paso posterior se puede determinar el problema elstico en la estructura. Mediante un modelo computacional de elementos finitos puede analizarse simultneamente la
dinmica en el embalse y en la presa. Fcilmente pueden considerarse otras complejidades como interaccin con fundaciones estratificadas, existencia de galeras de inspeccin en la presa, geometras complejas del embalse, etc. En la figura 3 puede observarse la malla de elementos finitos del modelo, mientras que en la figura 4 se describe la presin en la interface entre el medio slido y el lquido.
Figura 3
Figura 4 Observaciones finales En este artculo se ha intentado difundir someramente una de las herramientas ms importantes con las que cuenta la ingeniera para el anlisis de complejos problemas que hasta hace algunos aos resultaban inabordables. Paradjicamente, el diseo curricular de las carreras de ingeniera an no le da a este mtodo el lugar que le corresponde, reducindose as las posibilidades de anlisis de los futuros ingenieros. Esta situacin debe ser remediada a corto plazo a fin de formar ingenieros que sean capaces de utilizar la poderosa tecnologa computacional que tienen al alcance de la mano para realizar modernos y ms eficientes diseos.
Solucin de MEF en 2D para una configuracin de un magnetostato, (las lneas muestran la direccin de la densidad de flujo calculada, y el color, su magnitud).
La malla 2D para la imagen superior (la malla es ms densa alrededor del nuestro objetivo, aquellas zonas de mayor inters, o de mayor complejidad en el clculo).
Una funcin en H10, con valor cero en los puntos finales (azul), y una aproximacin lineal (rojo).
Triangulacin. El mtodo de los elementos finitos (MEF en castellano o FEM en ingls) es un mtodo numrico general para la aproximacin de soluciones de ecuaciones diferenciales parciales muy utilizado en diversos problemas de ingeniera y fsica. El MEF est pensado para ser usado en computadoras y permite resolver ecuaciones diferenciales asociadas a un problema fsico sobre geometras complicadas. El MEF se usa en el diseo y mejora de productos y aplicaciones industriales, as como en la simulacin de sistemas fsicos y biolgicos complejos. La variedad de problemas a los que puede aplicarse ha crecido enormemente, siendo el requisito bsico que las
ecuaciones constitutivas y ecuaciones de evolucin temporal del problema a considerar sean conocidas de antemano.
Sin embargo, y a pesar de desarrollarse modelizaciones de elementos superficiales mediante barras (losas con emparrillados, elementos curvos mediante aproximaciones de elementos rectos, etc.), se plantean grandes dificultades ante estructuras continuas (superficies y volmenes) y con geometras complejas. De ah que sea precisamente dentro del campo aeroespacial donde comiencen a desarrollarse las nuevas tcnicas del MEF. Dada su generalidad el mtodo se ampli a otros campos no estructurales como la conduccin de calor, la mecnica de fluidos, etc. donde compiti con otros mtodos numricos como el de mtodo de las diferencias finitas que an siendo ms intuitivos, tenan de nuevo dificultades de planteamiento para geometras complejas. Con la llegada de los centros de clculo y los primeros programas comerciales en los aos 60, el MEF a la vez que se populariza en la industria refuerza sus bases tericas en los centros universitarios. En los aos 70 se produce un gran crecimiento de la bibliografa as como la extensin del mtodo a otros problemas como los no lineales. En esta dcada, el MEF estaba limitado a caros ordenadores centrales generalmente posedo por las industrias aeronuticas, de automocin, de defensa y nucleares. Se estudian nuevos tipos de elementos y se sientan las bases matemticas rigurosas del mtodo, que haba aparecido antes ms como tcnica de la ingeniera que como mtodo numrico de la matemtica.
construye un espacio vectorial de dimensin finita, llamado espacio de elementos finitos. Siendo la solucin numrica aproximada obtenida por elementos finitos una combinacin lineal en dicho espacio vectorial. 3. Se obtiene la proyeccin del problema variacional original sobre el espacio de elementos finitos obtenido de la particin. Esto da lugar a un sistema con un nmero de ecuaciones finito, aunque en general con un nmero elevado de ecuaciones incgnitas. El nmero de incgnitas ser igual a la dimensin del espacio vectorial de elementos finitos obtenido y, en general, cuanto mayor sea dicha dimensin tanto mejor ser la aproximacin numrica obtenida. 4. El ltimo paso es el clculo numrico de la solucin del sistema de ecuaciones. Los pasos anteriores permiten construir un problema de clculo diferencial en un problema de lgebra lineal. Dicho problema en general se plantea sobre un espacio vectorial de dimensin no-finita, pero que puede resolverse aproximadamente encontrando una proyeccin sobre un subespacio de dimensin finita, y por tanto con un nmero finito de ecuaciones (aunque en general el nmero de ecuaciones ser elevado tpicamente de miles o incluso centenares de miles). La discretizacin en elementos finitos ayuda a construir un algoritmo de proyeccin sencillo, logrando adems que la solucin por el mtodo de elementos finitos sea generalmente exacta en un conjunto finito de puntos. Estos puntos coinciden usualmente con los vrtices de los elementos finitos o puntos destacados de los mismos. Para la resolucin concreta del enorme sistema de ecuaciones algebraicas en general pueden usarse los mtodos convencionales del lgebra lineal en espacios de dimensin finita. En lo que sigue d es la dimensin del dominio, n el nmero de elementos finitos y N el nmero de nodos total.
La formulacin dbil de una ecuacin diferencial permite convertir un problema de clculo diferencial formulado en trmino de ecuaciones diferenciales en trminos de un problema de lgebra lineal planteado sobre un espacio de Banach, generalmente de dimensin no finita, pero que puede ser aproximado por un sistema finito de ecuaciones algebraicas. Dada una ecuacin diferencial lineal de la forma: (1) Donde la solucin es una cierta funcin definida sobre un dominio d-dimensional , y se han especificado un conjunto de condiciones de contorno adecuadas, puede suponerse que la funcin buscada es un elemento de un espacio de funciones o espacio de Banach V y que la ecuacin (2) es equivalente a:
(2a)
Donde V' es el espacio dual de V, la forma variacional dbil se obtiene buscando la nica solucin tal que:
(2b) Cuando el operador lineal es un operador elptico, el problema se puede plantear como un problema de minimizacin sobre el espacio de Banach.
Este dominio de referencia se suele llamar frecuentemente tambin dominio isoparamtrico. En los anlisis 2D (d = 2) el dominio de referencia se suele tomar como un tringulo equiltero o un cuadrado, mientras que en los anlisis 3D (d = 3), el dominio de referencia tpicamente es un tetraedro o un hexaedro. Adems sobre cada elemento se considerarn algunos puntos especiales, llamados nodos y que generalmente incluirn los vrtices del elemento finito y se requerir la condicin adicional de que dos elementos adyacentes compartan los nodos sobre el subconjunto , es decir:
Una vez definida la particin en elementos finitos, se define sobre cada elemento un espacio funcional de dimensin finito, usualmente formado por polinomios. Este espacio funcional servir para aproximar localmente la solucin del problema variacional. El problema variacional en su forma dbil se plantea sobre un espacio de dimensin no-finita, y por tanto la funcin buscada ser una funcin de dicho espacio. El problema en esa forma exacta es computacionalmente inabordable, as que en la prctica se considerar un subespacio de dimensin finita del espacio vectorial original . Y en lugar de la solucin exacta de (2b) se calcula la proyeccin de la solucin original sobre dicho subespacio vectorial de dimensin finita, es decir, se resolver numricamente el siguiente problema:
(2c) Donde: , es la solucin aproximada. es el proyector ortogonal del espacio original sobre el subespacio vectorial asociado a la discretiacin. Si la discretizacin es suficientemente fina y el espacio funcional finito sobre cada elemento est bien escogido, la solucin numrica obtenida aproximar razonablemente bien la solucin original. Eso implicar en general considerar un nmero muy elevado de elementos finitos y por tanto un subespacio de proyeccin de dimensin elevada. El error entre la solucin exacta y la solucin aproximada puede acotarse gracias al lema de Ce, que en esencia afirma que la solucin exacta y la solucin aproximada satisfacen: (LC) Es decir, el error depender ante todo de lo bien que el subespacio vectorial asociado a la discretizacin en elementos fintios aproxime el espacio vectorial original .
Entonces mediante las aplicaciones que aplican el dominio de referencia a cada elemento finito se define el espacio vectorial que servir para aproximar la solucin como: (3) Cuando es una funcin lineal y el espacio est formado por polinomios entonces la restriccin de es tambin un polinomio. El espacio vectorial es un espacio polinmico en que la base de dicho espacio est formada por funciones de forma , que dado el conjunto de nodos del dominio de referencia se definen como:
Esto permite definir de manera unvoca unas funciones de forma sobre el dominio real sobre el que se define el problema:
Estas funciones se pueden extender a todo el dominio, gracias a que el conjunto de subdominios o elementos finitos constituye una particin de todo el dominio:
Las funciones de forma permiten proyectar sobre el espacio de elementos finitos cualquier funcin definida sobre el dominio original mediante el proyector :
(4)
Donde N es el nmero de nodos. Agrupando los trminos y teniendo en cuenta que v^h es arbitario y que por tanto la ecuacin anterior debe cumplirse para cualquier valor de dicho vector arbitrario se tiene que: (5)
Este es la forma comn del sistema de ecuaciones de un problema de elementos asociado a una ecuacin diferencial lineal, no dependiente del tiempo. Esta ltima forma es precisamente la forma (*) de la resea histrica. Para resolver numricamente el sistema de ecuaciones (*), que usualmente consta de miles o incluso centenares de miles de ecuaciones se requieren algoritmos eficientes que optimicen el nmero de operaciones que debe realizarse y ahorren memoria. En general las complicaciones computacionales que deben resolverse en la resolucin numrica son:
1. El clculo de la matriz de coeficientes , esto generalmente requiere integracin numrica aproximada lo cual es una nueva fuente de errores en el clculo por el MEF. 2. El uso de un mtodo eficiente para resolver el sistema de ecuaciones obtenido. Por ejemplo el mtodo de Cramer es totalmente impracticable para , un ordenador de unos 10 GFlops tardara ms de 2 aos en resolver el sistema por dicho mtodo, mientras que si se usa el mtodo de eliminacin gaussiana tardara menos de una diez milsima de segundo. Para entender la necesidad de la integracin numrica necesitamos ver qu forma tiene tpicamente la forma dbil del problema, expresada en trminos de los subdominios o elementos finitos. Esa forma dbil involucra integrales de la forma:
Donde: son el domino sobre el que se plantea el problema. , representan a cada uno de los elementos finitos y al dominio isoparamtrico que da la forma de los elementos finitos. , representan la funcin que debe integrarse y su expresin sobre el dominio isoparamtrico. , la aplicacin que relaciona el dominio isoparamtrico con cada elemento finito. wm,m, son los pesos y los puntos de integracin usados para integracin gaussiana. n,nPI, son el nmero total de elementos y el nmero de puntos de integracin por elemento.
h es un medida de la finura de la discretizacin es el mximo de los anteriores valores. Puede comprobarse que el error de aproximacin (y por tanto el error de la solucin mediante elementos finitos) viene acotada por:
(AE)
Donde: , son respectivamente la solucin exacta y la solucin obtenida mediante elementos finitos. , es un nmero real que depende de la forma del dominio, entre otros factores. , es el k+1-simo espacio de Sobolev de funciones sobre el dominio . , es la seminorma dada por:
Preproceso, que consiste en la definicin de geometra, generacin de la malla, las condiciones de contorno y asignacin de propiedades a los materiales y otras propiedades. En ocasiones existen operaciones cosmticas de regularizacin de la malla y precondicionamiento para garantizar una mejor aproximacin o una mejor convergencia del clculo. Clculo, el resultado del preproceso, en un problema simple no-dependiente del tiempo, permite generar un conjunto de N ecuaciones y N incgnitas, que puede ser resuelto con cualquier algoritmo para la resolucin de sistemas de ecuaciones lineales. Cuando el problema a tratar es un problema no-lineal o un problema dependiente del tiempo a veces el clculo consiste en una sucesin finita de
sistemas de N ecuaciones y N incgnitas que deben resolverse uno a continuacin de otro, y cuya entrada depende del resultado del paso anterior. Postproceso, el clculo proporciona valores de cierto conjunto de funciones en los nodos de la malla que define la discretizacin, en el postproceso se calculan magnitudes derivadas de los valores obtenidos para los nodos, y en ocasiones se aplican operaciones de suavizado, interpolacin e incluso determinacin de errores de aproximacin.
[editar] Postproceso
Actualmente, el MEF es usado para calcular problemas tan complejos, que los ficheros que se generan como resultado del MEF tienen tal cantidad de datos que resulta conveniente procesarlos de alguna manera adicional para hacerlos ms comprensible e ilustrar diferentes aspectos del problema. En la etapa de post-proceso los resultados obtenidos del la resolucin del sistema son tratados, para obtener representacin grficas y obtener magnitudes derivadas, que permitan extraer conclusiones del problema. El post-proceso del MEF generalmente requiere software adicional para organizar los datos de salida, de tal manera que sea ms fcilmente comprensible el resultado y permita decidir si ciertas consecuencias del problema son o no aceptables. En el clculo de estructuras por ejemplo, el post-proceso puede incluir comprobaciones adicionales de si una estructura cumple los requisitos de las normas pertinentes, calculando si se sobrepasan tensiones admisibles, o existe la posibilidad de pandeo en la estructura.
Masa, volumen, temperatura Energa tensional, esfuerzo tensional Fuerza, desplazamiento, velocidad, aceleracin Sinttica (definidas por el usuario)
Hay mltiples condiciones de carga que se pueden aplicar al sistema. Algunos ejemplos son:
Puntuales, presin, trmicas, gravedad, y cargas centrfugas estticas Cargas trmicas de soluciones del anlisis de transmisin de calor Desplazamientos forzados Flujo de calor y convencin Puntuales, de presin, y cargas de gravedad dinmicas
Cada programa MEF puede venir con una biblioteca de elementos, o una que es construda con el tiempo. Algunos ejemplos de elementos son:
Elementos tipo barra Elementos tipo viga Placa/Cscara/Elementos compuestos Panel de sndwich Elementos slidos Elementos tipo muelle Elementos de masa Elementos rgidos Elementos amortiguadores viscosos
Muchos programas MEF tambin estn equipados con la capacidad de usar mltiples materiales en la estructura, como:
Modelos elsticos isotrpicos / ortotrpicos / anistropicos generales Materiales homogneos / heterogneos Modelos de plasticidad Modelos viscosos
Anlisis esttico se emplea cuando la estructura est sometida a acciones estticas, es decir, no dependientes dal tiempo. Anlisis vibracional es usado para analizar la estructura sometido a vibraciones aleatorias, choques e impactos. Cada uno de estas acciones puede actuar en la frecuencia natural de la estructura y causar resonancia y el consecuente fallo. Anlisis de fatiga ayuda a los diseadores a predecir la vida del material o de la estructura, prediciendo el efecto de los ciclos de carga sobre el especimen. Este anlisis puede mostrar las reas donde es ms probable que se presente una grieta. El anlisis por fatiga puede tambin predecir la tolerancia al fallo del material.
Los modelos de anlisis de transferencia de calor por conductividad o por dinmicas trmicas de flujo del material o la estructura. El estado continuo de transferencia se refiere a las propiedades trmicas en el material que tiene una difusin lineal de calor.
Hace posible el clculo de estructuras que, bien por el gran nmero de operaciones que su resolucin presenta (entramados de muchos pisos, por ejemplo) o por lo tedioso de las mismas (entramados espaciales, por ejemplo) las cuales eran, en la prctica, inabordables mediante el clculo manual. En la mayora de los casos reduce a lmites despreciables el riesgo de errores operativos.
[editar] Limitaciones
En general el MEF tal como se usa actualmente tiene algunas limitaciones:
El MEF calcula soluciones numricas concretas y adaptadas a unos datos particulares de entrada, no puede hacerse un anlisis de sensibilidad sencillo que permita conocer como variar la solucin si alguno de los parmetros se altera ligeramente. Es decir, proporciona slo respuestas numricas cuantitativas concretas no relaciones cualitativas generales. El MEF proporciona una solucin aproximada cuyo margen de error en general es desconocido. Si bien algunos tipos de problemas permiten acotar el error de la solucin, debido a los diversos tipos de aproximaciones que usa el mtodo, los problemas no-lineales o dependientes del tiempo en general no permiten conocer el error. En el MEF la mayora de aplicaciones prcticas requiere mucho tiempo para ajustar detalles de la geometra, existiendo frecuentemente problemas de mal condicionamiento de las mallas, desigual grado de convergencia de la solucin aproximada hacia la solucin exacta en diferentes puntos, etc. En general una
simulacin requiere el uso de numerosas pruebas y ensayos con geometras simplificadas o casos menos generales que el que finalmente pretende simularse, antes de empezar a lograr resultados satisfactorios.
Visualizacin de como un vehculo se deforma en un impacto asimtrico, obtenido usando elementos finitos. El anlisis por elementos finitos (FEA por sus siglas en ingls para: Finite Element Analysis) es una tcnica de simulacin por computador usada en ingeniera. Usa una tcnica numrica llamada Mtodo de los elementos finitos (FEM). Existen muchos Paquetes de software, tanto libres como no libres. El desarrollo de elementos finitos en estructuras, usualmente, se basa en anlisis energticos como el principio de los trabajos virtuales.[cita requerida]
Aplicaciones
En estas aplicaciones, el objeto o sistema se representa por un modelo geomtricamente similar que consta de mltiples regiones discretas simplificadas y conectadas vase: Mtodo de los elementos finitos. Ecuaciones de equilibro, junto con consideraciones fsicas aplicables as como relaciones constitutivas, se aplican a cada elemento, y se construye un sistema de varias ecuaciones. El sistema de ecuaciones se resuelve para los valores desconocidos usando tcnicas de lgebra lineal o esquemas no lineales, dependiendo del problema. Siendo un mtodo aproximado, la precisin de los mtodos FEA puede ser mejorada refinando la discretizacin en el modelo, usando ms elementos y nodos. Comnmente se usa FEA en determinar los esfuerzos y desplazamientos en sistemas mecnicos. Es adems usado de manera rutinaria en el anlisis de muchos otros tipos de problemas, entre ellos Transferencia de calor, dinmica de fluidos, y electromagnetismo. Con FEA se pueden manejar sistemas complejos cuyas soluciones analticas son difcilmente encontradas.
Anlisis estdistico no lineal de una estructura 3D sujeta a deformaciones plsticas, realizado en Code-Aster en CAELinux La Ingeniera asistida por computadora (CAE, del ingls: Computer Aid Engineering) es la aplicacin de programas computacionales de ingeniera para evaluar componentes o ensambles. Contiene simulacin, validacin y optimizacin de productos y herramientas de manufactura. La aplicacin principal de CAE, usada en ingeniera civil, mecnica, aeroespacial, y electrnica, se trata de FEA al lado del Diseo Asistido por Computador (CAD).
[editar] Pre-procesamiento
El primer paso en FEA, pre-procesamiento, es construir un modelo de elementos finitos de la estructura a ser analizada. En muchos paquetes de FEA se requiere de la entrada de una descripcin topolgica de las caractersticas geomtricas de la estructura.3 sta puede ser 1D, 2D, o 3D. El objetivo principal del modelo es replicar de manera realista los parmetros importantes y caractersticas del modelo real.3 La manera mas sencilla para conseguir similaridad en el anlisis es utilizar planos pre existentes, modelos CAD, o datos importados de un ambiente FEA. Una vez se ha creado la geometra, se utiliza un procedimiento para definir y dividir el modelo en "pequeos" elementos. En general, un modelo de elementos finitos esta definido por una malla, la cual est conformada por elementos y nodos. Los nodos representan puntos en los cuales se calcula el desplazamiento (anlisis estructural). Los paquetes de FEA enumeran los nodos como una herramienta de identificacin. Los elementos estn determinados por conjuntos de nodos, y definen propiedades localizadas de masa y rigidez. Los elementos tambin
estn definidos por la numeracin de la malla, la cual permite referenciar la correspondiente deflexin o esfuerzo (en anlisis estructural) para una localizacin especfica.3
colisiones cinemticas de diversos cuerpos y maneja mas avanzadas simulaciones lineales estticas. Vase tambin: Pro/Engineer (ProE).
chasis flexible, resortes, barras de rodaje, ejes cabina y suspensin del motor, el mecanismo de direccin y viraje y cualquier componente dependiente en la frecuencia como lo son las montas hechas de hule. Detalles adicionales como los frenos y fuerzas de un motor fuera de balance pueden ser incluidas en una forma dependiendo a "como se requiera".8 La simulacin dinmica de FEA permite que una variedad de maniobras sea probada con precisin. Pruebas como lo son cortando la esquina, volcado, cambio de lnea en trnsito, vueltas en J, anlisis de vibracin, colisiones y frenado en lnea pueden ser llevados a cabo en forma precisa utilizando la simulacin dinmica en el anlisis de elementos finitos. Cargas con variables tiempo y no lineales permiten a los ingenieros hacer avanzados y realistas anlisis de los elementos finitos, as permitindoles localizar las condiciones crticas y determinar caractersticas en el desempeo. Como un resultado de las capacidades de prueba dinmica mejoradas, los ingenieros pueden determinar las caractersticas ptimas e ideales (ultimate performance) de desempeo del diseo del vehculo sin la necesidad de tomar riesgos fsicos. Como un resultado de FEA dinmico, la necesidad de costosas pruebas destructivas se ha minorizado en gran forma.8