>関数解析を用いて解の存在だけ示せても、
>実際には何の役にも立たない。
Afo！
You should consider to solve
nonlinear partial differential equations
or linear partial differential equations.
We are able to also do to use computer to these equations,
because we prove the existence of solutions of these equations.