olymmath

Putnam 1982 A4

  • Session A

Assume that the system of differential equations y′=−z3y'=-z^3 , z′=y3z'=y^3 with the initial conditions y(0)=1y(0)=1 , z(0)=0z(0)=0 has a unique solution y=f(x)y=f(x) , z=g(x)z=g(x) defined for real xx . Prove that there exists a positive constant LL such that for all real xx , f(x+L)=f(x),g(x+L)=g(x).f(x+L)=f(x),\enspace g(x+L)=g(x).

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Similar problems

These problems have the most words in common with this statement.

Locator putnam/1982/a4 · Tag JXQ9MZBC6G · Edit this page on GitHub · Keys: j next, k previous