[대학교이상] picard-lindelöf 질문

[익명(165.229)]

세 번째 사진에서 f(tau,u(tau))를 tau에 대해서 적분을 할때 f를 R에서 R^n으로가는 함수로 봐야하는건가? 저렇게 적분을 정의할수있는 이유가 뭔지 모르겠음 R^n+1에서 R^n으로 가는 함수로 생각해야할듯한데 진짜 모르겠다

[익명(211.246)]

R에서 R^n으로 가는 함수 g를 for all t in [t0-d, t0+d], g(t)=f(t,u(t))로 정의해두고 g를 tau에 대해서 적분하는건가..?

[익명(121.166)]

ㅇㅇ

[익명(211.246)]

글쓴놈인데 보니까 아이피가 바뀌어있네 어쨌든 그렇게 보는거였구나 여태 form하며 뭐 온갖거 다 찾아봤는데 십 ㅋㅋㅋ

[익명(14.36)]

Khalil 책에 깔끔한 증명이 있다. Banach fixed-point theorem 설명하느라 증명이 좀 길긴 하지만.