１階微分方程式

無限個の解：\(y=Cexp(-\int a(x) dx)\)　\((C は定数)\) のうち、初期条件：\(y_0=y(x_0)\) を満たす解を求めるためにはどうすればよいのだろうか？ 目標は、\(y_0=y(x_0)\) を満たすように、任意定数である \(C\) を確定させることである。