13/10/07 00:11:55.60 S/EiscOT.net
α_t=αt/dtとして（α={X,P,U,}）と表記することにして、
G(t)=u(X)-pX+tXを微分すると
G_t=u'(X)*X_t-(p_t*X+pX_t)+(X+t*X_t)
=p*X_t-p_t*X-pX_t+X+t*X_t(定義よりu'(X)=p)
=-p_t*X+X+t*X_t
=X(-p_t + 1 +t*X_t/X)でしょ
13/10/07 00:11:55.60 S/EiscOT.net
α_t=αt/dtとして（α={X,P,U,}）と表記することにして、
G(t)=u(X)-pX+tXを微分すると
G_t=u'(X)*X_t-(p_t*X+pX_t)+(X+t*X_t)
=p*X_t-p_t*X-pX_t+X+t*X_t(定義よりu'(X)=p)
=-p_t*X+X+t*X_t
=X(-p_t + 1 +t*X_t/X)でしょ