Prototipo para la solución de la ecuación diferencial no
lineal ordinaria de primer orden (Ecuación de Riccati).
Carolina Martínez Reyna, Mario Alberto Terrés Palacios, Miguel Olvera Aldana, Encarnación Salinas Hernández.
Escuela Superior de Computo I.P.N. México D.F.
Tel. 57-29-6000 ext. 52000 y 52021. E-mail:carom26892@gmail.com,
mfminaaino@hotmail.com
Resumen: En el presente trabajo se investigaciones para dar solución parcial a
desarrolló un prototipo de sistema que este problema [1]. permite resolver ecuaciones diferenciales no lineales ordinarias de primer orden conocidas Actualmente, esta ecuación solo puede ser como Ecuaciones de Riccati, mediante una resuelta si se plantea una solución particular a técnica desarrollada por uno de los directores ella. Si se decidiera resolver esta ecuación en del trabajo terminal [1]. papel sería demasiado tardado, ya que se debe de contar con diversos conocimientos en el área de cálculo y de ecuaciones diferenciales, Palabras Clave: Ecuación de Riccati, por lo que al ocupar una herramienta de Sistemas Basados en Conocimiento, software se podría resolver con mayor Analizador Léxico Sintáctico. eficiencia y así garantizar la correcta solución.
I. INTRODUCCIÓN Existen poderosas herramientas matemáticas
que nos ayudan a resolver esta ecuación de Existen diversos problemas matemáticos en forma parcial, pero para realizarlo se debe esta disciplina que siguen sin solución o contar con conocimientos de algún lenguaje soluciones parciales, ejemplos de este tipo de de programación para poder dar solución a problemas son: la conjetura de Goldbach, la esta, lo que se vuelve un problema, ya que no hipótesis de Riemann, la conjetura de Hodge, todas las personas cuentan con estos problemas para la solución total de conocimientos, y si están involucrados con ecuaciones diferenciales no lineales, entre alguna ciencia o ingeniería, se deben dar otras más. La complejidad de solucionar estos tiempo para aprender a programar estas tipos de problemas es demasiado elevada e ecuaciones y así poder utilizar dichas incluso encontrar una solución parcial a estos herramientas. enigmas requiere de muchos años de investigación y análisis matemático. Si estos enigmas lograran ser resueltos de forma II.METODOLOGÍA parcial o total podrían significar una gran contribución auxiliar a otras disciplinas. El prototipo consta de 3 módulos principales; La ecuación de Riccati es uno estos grandes los cuales son: El analizador léxico-sintáctico enigmas para las matemáticas. A la fecha no (ALS) [2], la base de conocimientos y la se ha logrado dar solución general a esta interfaz gráfica. ecuación, por lo que se han realizado diversas la interfaz gráfica un verdadero reto, ya que Los ALS desarrollados son: se trataba de lograr la misma confiabilidad y potencia de los CAS (Sistema Algebraico 1. Analizador con la entrada de datos Computacional) [3] actuales, pero agregando como una cadena con estructura la facilidad y sencillez para manejarlo. Por lo que creímos conveniente realizar nuestro matemática; con salida como sistema para todo tipo de usuario, sin la consulta PROLOG [4] a la base de necesidad de conocer alguna sintaxis o ser un conocimientos. experto en el tema. 2. Analizador con entrada de datos como resultado de la consulta a la La lógica de programación se basó en las base de conocimientos devuelta soluciones [1]: con estructura de un árbol en recorrido postorden; con salida como una cadena con estructura Partiendo de la estructura de la Ecuación de matemática. Riccati el Dr. Salinas dedujo las siguientes 3. Analizador con entrada de datos soluciones: como la cadena devuelta por PROLOG [4] estructurada con formato matemático; con salida como una cadena con estructura Látex.
Base de conocimientos
Las principales reglas que se programaron
en la base de conocimientos para la solución a la ecuación de Riccati, fueron reglas para las integrales necesarias a la solución de la ecuación y reglas de simplificación algebraica.
Las integrales programadas como reglas a
consultar en la base de conocimientos deben de ser de naturaleza simbólica ya que para integrales de soluciones numéricas se usan otros tipos de programas como los sistemas algebraicos computacionales.
Interfaz Gráfica
La interfaz gráfica fue uno de los mayores
problemas dentro del trabajo, ya que gran parte de los objetivos y de los requerimientos funcionales del sistema caían dentro de ella, el querer mejorar nuestro sistema con base en los software que actualmente existen, hizo de Que dan solución a:
Basado en las soluciones propuestas por el
Dr. Salinas se restringió la simplificación de las expresiones ingresadas en la lógica programación; que a continuación se muestran:
En caso de que α sea una función de x la
condición a cumplir es la siguiente: la integral En este caso la integral señalada en el del exponente de u debe ser 0 y el producto exponente debe ser un entero positivo ó xn ó Q ser la antiderivada de la integral del de Q α en z debe ser 1. Si las condiciones exponente, para que el sistema pueda anteriores se cumplen el sistema podrá simplificar la solución. simplificar la solución para este caso.
III.RESULTADOS
Se trabajó con las 3 soluciones encontradas,
el sistema logra estructurar las soluciones de acuerdo al trabajo del Dr. Salinas [1], si no se cumplen las condiciones impuestas en la lógica de programación el sistema no podrá simplificar las soluciones a la ecuación.
Se encontraron y trabajaron casos específicos
que si cumplen con las condiciones y logran la simplificación en la solución de la ecuación [5]: En el caso en el que α sea una constante la integral del exponente de u debe ser 0 y la integral del exponente de z debe ser un ln, para que la solución pueda ser simplificada en el sistema. [5] A small Java library to parse mathematical formulas to LaTeX and display them as images. [En línea].Disponible en: IV.CONCLUSIONES https://github.com/mzur/pretty-formula. El prototipo elimina la complejidad de uso y [6] Wolframe Mathematica. [En línea]. de visualización inherente de los sistemas de Disponible en: algebra computacional, como Mathematica[6], ya que no se requiere de https://www.wolfram.com/mathematica/. ningún conocimiento previo de programación o de alguna sintaxis de un lenguaje en particular, ayudando al usuario final a que pueda resolver ecuaciones diferenciales de Riccati necesitando únicamente conocimientos previos de la materia. En caso de que la solución no sea simbólica el sistema estructurar la solución en pantalla para que el usuario pueda ver y comprender ésta.
RECONOCIMIENTOS
Los Autores agradecen a la Escuela Superior
de Cómputo del Instituto Politécnico Nacional por el apoyo recibido y las facilidades otorgadas para el desarrollo del presente trabajo terminal.
REFERENCIAS
[1] Sobre las soluciones restringidas a la
ecuación de Riccati. E. Salinas Hernández, J. Martínez. 8 de Agosto de 2011.