• 検索結果がありません。

·・極値) 5-1.全微分・・・2変数関数z =f(x, y)が(x, y

N/A
N/A
Protected

Academic year: 2021

シェア "·・極値) 5-1.全微分・・・2変数関数z =f(x, y)が(x, y"

Copied!
5
0
0

読み込み中.... (全文を見る)

全文

(1)

担当 丹下 基生:研究室(B715) mail([email protected]

5(’161116日:Keywords · · ·・極値)

5-1.全微分・2変数関数z =f(x, y)(x, y) = (a, b)で全微分可能であるとは、ラ ンダウの記号を用いて、

f(a+h, b+k) =f(a, b) +αh+βk+o(

h2 +k2) (h, k)(0,0) が成り立つようなα, βが存在することである.一変数のときの微分可能性は、

f(a+h) =f(a) +αh+o(h) (h0)

となるようなhが存在することである.全微分可能であれば、偏微分可能であり α=fxかつβ=fyである.これは、(a, b, f(a, b))においてグラフ上に接平面が存在 することと同値である.

(例)f(x, y) = x2y

x2+y2 が原点で全微分可能でないことを示す.fx(0,0) = fy(0,0) = 0であるから、g(x, y) = f(x, y) f(0,0) fx(0,0)x fy(0,0)y = f(x, y)は、

lim

(x,y)(0,0)

|g(x, y)|

x2+y2 ̸= 0であればよい.今、lim

h0

|g(h, h)|

h2+h2 = lim

h0

|f(h, h)|

2|h| = 232 となり全微分可能でない.

5-2.陰関数の定理・・・F(x, y)C1級関数とする.F(x, y) = 0を満たす点x0 = (x0, y0)Fy(x0, y0) ̸= 0 を満たすなら、あるϵが存在して、x0ϵ-近傍において、

F(x, y) = 0を満たす陰関数y = φ(x)が存在する.つまり、その領域において、

F(x, φ(x)) = 0を満たす.

(例)F(x, y) =x2+y21としたとき、F(x, y) = 0を満たす集合がy=φ(x)とした 陰関数(つまり、F(x, φ(x)) = 0)が存在するためのxの条件を求めよ.

5-3.微分係数・・関数F(x, y) = 0(x0, y0)において、陰関数が存在するとき、そ の陰関数をy=φ(x)とすると、(x0, y0)の近くのF(x, y) = 0を満たす点(x, y)で、

φ(x) =Fx(x, y)/Fy(x, y)

と計算でき、2階微分は、φ′′(x) =(FxxFy2 2FxyFxFy+FyyFx2)/Fy3 となる.

5-4.陰関数の接線および法線の方程式・F(x, y)C1級であるとする.このとき、

Fy(x0, y0)̸= 0 であるなら、F(x, y) = 0を満たす集合の(x0, y0)での接線の方程式は Fy(x0, y0)(yy0) +Fx(x0, y0)(xx0) = 0となり、また、法線の方程式は、

Fx(x0, y0)(yy0)Fy(x0, y0)(xx0) = 0となる.

5-5.特異点・F(x, y) = 0を満たす集合のうち、陰関数が存在しない条件Fx(x, y) = 0 かつFy(x, y) = 0を満たす点のことを特異点という.

ホームページ:http://www.math.tsukuba.ac.jp/~tange/jugyo/16/bischem.html bloghttp://motochans.blogspot.jp/

Twitter: BasicMathIIB

1

(2)

微積分II演習 第5

2016127

学籍番号 氏名

———————————————————————————————————————————

例題 5-1. (全微分可能・陰関数の定理)

(1) 次の関数が全微分可能かどうか調べよ.

(1) f(x, y) = x3+y3

x2+y2 (2) f(x, y) = x4+y4

x2+y2

(2) 次の関数F(x, y)において、関係式F(x, y) = 0xを変数とする陰関数y=φ(x) として局所的に解くことができる点(x0, y0)の条件を求めよ.

(a) F(x, y) =x3+ 3xy+y5x+ 1 (b) F(x, y) =x2xy+y37

2

(3)

(1) 等式F(x, y) = 0がある点(x0, y0)の周りで、陰関数y =φ(x)が存在するとす る.このとき、合成関数の微分を用いることで、

φ(x) =Fx(x, y) Fy(x, y) となることを示せ.

(2) 方程式F(x, y) = 3x2xy2+ 2xy+yx= 0の点(1,2)における接線、法線の 方程式を求めよ.またこの方程式の零点に特異点はあるか?

3

(4)

微積分II演習 第5

提出20161123

学籍番号 氏名

———————————————————————————————————————————

問題 5-1. (全微分)

(1) 次の関数f(x, y) = x3+y3

(x2+y2)n2 n = 1のとき、全微分可能であるが、n = 2 とき、全微分可能でないことを示せ.

(2) F(x, y) = 0を満たす陰関数y=φ(x)の2回微分は、

φ′′(x) =FxxFy22FxyFxFy +FyyFx2 Fy3

と計算できることを示せ.

4

(5)

(1) つぎの方程式F(x, y) =xe2yexy + sin(πxy) +yの点(0,1)における接線、法 線の方程式を求めよ.

(2) 体積一定となる直方体のうち、表面積が最小となるものを求めよ.

5

参照

関連したドキュメント

In this section, we establish a purity theorem for Zariski and etale weight-two motivic cohomology, generalizing results of [23]... In the general case, we dene the

We provide an accurate upper bound of the maximum number of limit cycles that this class of systems can have bifurcating from the periodic orbits of the linear center ˙ x = y, y ˙ =

In the second section, we study the continuity of the functions f p (for the definition of this function see the abstract) when (X, f ) is a dynamical system in which X is a

We study a Neumann boundary-value problem on the half line for a second order equation, in which the nonlinearity depends on the (unknown) Dirichlet boundary data of the solution..

Lang, The generalized Hardy operators with kernel and variable integral limits in Banach function spaces, J.. Sinnamon, Mapping properties of integral averaging operators,

Algebraic curvature tensor satisfying the condition of type (1.2) If ∇J ̸= 0, the anti-K¨ ahler condition (1.2) does not hold.. Yet, for any almost anti-Hermitian manifold there

In this paper, for each real number k greater than or equal to 3 we will construct a family of k-sum-free subsets (0, 1], each of which is the union of finitely many intervals

Global transformations of the kind (1) may serve for investigation of oscilatory behavior of solutions from certain classes of linear differential equations because each of