解析解存在性论文