关于常微分方程中解的存在唯一性簡介

§1.引言十九世紀二十年代,Cauchy在严格奠定数学分析的基础上,认定前人毫无根据地相信通解的存在,并以此为出发点先求通解,然后确定常数以决定特解的办法是不科学的。他把求特解和証明特解的存在提到首要地位,于是提出了带有初始条件的所謂哥西問題。約在1830年左右,他給出了方程dy/dx=f(x,y)带有初始条件x=x_0时y=y_0的解的存在和唯一性的第一个証明。首先是在右端函数为解析的条件下采用优函数的方法証明的。其次,他在f和(?)的連續假設下証明了解的存在唯一性(証明概要发表于1835年)。