Nos complace presentar el primero de tres volmenes de artculos de la encuesta en varios

campos de las ecuaciones diferenciales-algebraicas (DAEs). En las ltimas dos dcadas,

ha habido una actividad de investigacin sustancial en la teora, aplicaciones y clculos de
DAEs; Nuestro objetivo es dar una imagen casi completa de estos ltimos acontecimientos.
Qu son los DAE? Ciertamente pertenecen a ecuaciones diferenciales, pero la
terminologa no est clara. En su forma ms general, los DAE son ecuaciones diferenciales
implcitas.
Sin embargo, esto es todava demasiado amplio y en vista de linealizaciones y el hecho de
que la mayora de la investigacin es sobre DAEs lineales, se utiliza la nocin ms estrecha
de sistemas diferenciales-geomtricos. Este hecho se refleja en la Clasificacin de Materias
Matemticas (MSC 2010), que es una taxonoma en un primer, segundo y tercer nivel (clase
de 2, 3 y 5 dgitos, respectivamente). Los DAEs se mencionan dos veces en el nivel tres:
34 Ecuaciones diferenciales ordinarias, 34A Teora general, 34A09 Ecuaciones implcitas,
ecuaciones algebraicas diferenciales, y 65 Anlisis numrico, 65L Ecuaciones diferenciales
ordinarias, 65L80 Mtodos para ecuaciones algebraicas diferenciales.
Cul es la historia de los DAE? Aunque los DAE se pueden rastrear anteriormente,
No hasta los aos 60 que los matemticos y los ingenieros comenzaron a estudiar a fondo
las ediciones computacionales, la teora matemtica, y las aplicaciones de DAEs. Hay
muchas relaciones con disciplinas matemticas como la geometra diferencial, el lgebra,
el anlisis funcional, el anlisis numrico, la estocstica y la teora del control, por mencionar
slo algunos; Y hay aplicaciones extensas en teora del circuito elctrico, procesos
qumicos, mecnica constreida, as como en economa. Adems del inters matemtico
intrnseco, hay dos razones fundamentales para estos avances: primero, el modelado
automtico, que da lugar a DAEs de gran dimensin, y segundo el avance de las
computadoras y, por lo tanto, la viabilidad de resolver problemas numricamente. En
trminos cuantitativos, este desarrollo ha llevado a ms de 1500 artculos de revistas y
conferencias sobre DAEs cada ao.
Es apropiado un nivel dos, en lugar del actual nivel tres, para los DAE apropiados? El MSC
trata de clasificar los diferentes niveles jerrquicamente. Sin embargo, las unidades
terminolgicas para diferentes campos, de modo que puedan separarse
No necesariamente existen. Adems, los campos y su importancia varan en el tiempo:
surgen nuevos campos, otros se vuelven menos importantes. Uno podra imaginar que los
DAE son igualmente importantes, como por ejemplo, 34B Problemas de los valores lmite,
34G Ecuaciones diferenciales
En espacios abstractos, 34K Ecuaciones funcionales diferenciales y diferencias
diferenciales, 34L Operadores diferenciales ordinarios, por nombrar slo algunos dentro de
la clase de 34 ODEs.
El inmenso nmero de artculos sobre DAEs no es ciertamente una razn suficiente para
cualquier taxonoma, y los mtodos subyacentes en DAEs son muy distintos: geometra
diferencial, distribuciones y lgebra lineal. Pero la importancia y la importancia cambiantes
de hoy de los DAEs han sido demostradas por cerca de diez monografas de la investigacin
en campos de DAEs en la ltima dcada y, lo ms importante, recientemente los primeros
libros de texto sobre la teora matemtica de DAEs se han escrito. Esto puede indicar un
punto de inflexin: los DAEs se estn convirtiendo en un campo por derecho propio, junto
a otros campos en las ecuaciones diferenciales ordinarias.
La coleccin de artculos de la encuesta en los DAE presentados en los prximos tres
volmenes incluir los temas

- Sistemas lineales
- Sistemas no lineales
- Teora de soluciones
- Teora de la estabilidad
- Teora del control
- Reduccin de modelos
- Mtodos analticos
- Mtodos geomtricos diferenciales
- Mtodos algebraicos
- Mtodos numricos
- Problemas acoplados con ecuaciones diferenciales parciales
- DAEs estocsticas
- Ingeniera Qumica
- Modelado de circuitos
- Ingeniera mecnica

Esto puede mostrar la profundidad y el ancho del progreso reciente en las ecuaciones
algebraicas diferenciales y posiblemente apoyar el hecho de que las ecuaciones
diferencial-algebraicas estn en un estado en el que ya no son slo una coleccin de
resultados sobre el mismo tema sino un campo dentro de la Clase de ecuaciones
diferenciales ordinarias.
1. Introduccin
La controlabilidad es, grosso modo, la propiedad de un sistema que cualquier dos
trayectorias pueden ser concatenadas por otra trayectoria admisible. El concepto preciso,
sin embargo, depende del marco especfico, ya que una gran cantidad de conceptos
diferentes de controlabilidad estn presentes en la actualidad.
Desde la famosa obra de Kalman [81-83], que introdujo la nocin de controlabilidad hace
unos 50 aos, el campo de la teora del control matemtico ha revivido y crece rpidamente
desde entonces, emergiendo en un rea importante en matemticas aplicadas, debido
principalmente a Sus contribuciones a campos tales como la ingeniera mecnica, elctrica
y qumica (vase, por ejemplo, [2, 47, 148]). Para una buena visin general de la teora de
control matemtico estndar, es decir, que implica ecuaciones diferenciales ordinarias
(ODEs), y su historia, vase p. [70, 76, 77, 80, 138, 142].
Justo antes de que la teora del control matemtico comenzara a crecer, Gantmacher
public su famoso libro [60] y con ello sent las bases para el redescubrimiento de las
ecuaciones algebraicas diferenciales (DAE), cuyas primeras teoras principales han sido
desarrolladas por Wieierstra y Kronecker [ 93] en trminos de lpices de matriz. Se ha
descubierto que los DAE son apropiados para modelar una amplia variedad de problemas
en economa [111], demografa [37], sistemas mecnicos [7, 31, 59, 67, 127, 149], dinmica
de mltiples cuerpos [55, 67, 139] , 141], las redes elctricas [7, 36, 54, 106, 117, 134, 135],
la mecnica de fluidos [7, 65, 106] y la ingeniera qumica [48, 50-52, 126], que a menudo
no puede ser modelado por Sistemas ODE estndar. Especialmente el tremendo esfuerzo
en el anlisis numrico de DAEs [10, 96, 98] es responsable de DAEs hoy en da una
poderosa herramienta para el modelado y la simulacin de los procesos dinmicos
mencionados.
En general, los DAE son ecuaciones diferenciales implcitas, y en el caso ms simple slo
una combinacin de ecuaciones diferenciales junto con restricciones algebraicas (de las
que proviene el nombre DAE). Estas restricciones algebraicas, sin embargo, pueden hacer
que las soluciones de problemas de valor inicial ya no sean nicas, o que las soluciones no
existan en absoluto. Adems, al considerar problemas no homogneos, la inhomogeneidad
tiene que ser "consistente" con el DAE para que existan soluciones. Tratando con estos
problemas se ha desarrollado una teora de solucin enorme para DAEs, cuya contribucin
ms importante es la de Wilkinson [159]. Hoy en da, hay un montn de monografas [31,
37, 38, 49, 66, 98] y un libro de texto [96], donde toda la teora se puede buscar. Una
representacin completa de la teora de la solucin general lineal invariable en el tiempo
DAEs, junto con posibles soluciones distributivas basadas en la teora desarrollada en [143,
144], se da en [22]. Una buena visin general de la teora DAE y un antecedente histrico
tambin se puede encontrar en [99].