跳到主要内容

九州大学 システム情報科学府 情報理工学専攻・電気電子工学専攻 2024年1月実施 解析学・微積分

Author​

祭音Myyura (co-authored with ChatGPT 5.5)

Description​

(1) Find the maximum and the minimum of the function f(x,y)=x2+2xy+2y2f(x,y)=x^2+2xy+2y^2 over the curve x2+xy+y2=1x^2 + xy + y^2 = 1, and find the points which achieve them.

(2) Find the solution to the following differential equation defined for x≥0x \ge 0, where y(0)=0y(0)=0,

dydx+y=sin⁡x\frac{dy}{dx} + y = \sin x

(3) Find the radius of convergence of the series

∑n=1∞(z+1)n−1(n+1)32n\sum_{n=1}^{\infty} \frac{(z+1)^{n-1}}{(n+1)^3 2^n}

where zz is a complex number.

题目描述​

  1. 在约束曲线
    x2+xy+y2=1x^2+xy+y^2=1
    上,求函数
    f(x,y)=x2+2xy+2y2f(x,y)=x^2+2xy+2y^2
    的最大值和最小值,并求出所有达到这些值的点。
  2. 在 x≥0x\ge0 上求初值问题
    dydx+y=sin⁡x,y(0)=0\frac{dy}{dx}+y=\sin x,\qquad y(0)=0
    的解。
  3. 设 zz 为复数,求幂级数
    ∑n=1∞(z+1)n−1(n+1)3 2n\sum_{n=1}^{\infty}\frac{(z+1)^{n-1}}{(n+1)^3\,2^n}
    的收敛半径。

Kai​

(1)​

We want to optimize

f(x,y)=x2+2xy+2y2f(x,y)=x^2+2xy+2y^2

subject to

x2+xy+y2=1.x^2+xy+y^2=1.

Use Lagrange multipliers:

∇f=λ∇g,\nabla f=\lambda \nabla g,

where

g(x,y)=x2+xy+y2.g(x,y)=x^2+xy+y^2.

Then

∂f∂x=2x+2y,∂f∂y=2x+4y,\frac{\partial f}{\partial x}=2x+2y, \qquad \frac{\partial f}{\partial y}=2x+4y,

and

∂g∂x=2x+y,∂g∂y=x+2y.\frac{\partial g}{\partial x}=2x+y, \qquad \frac{\partial g}{\partial y}=x+2y.

So

2x+2y=λ(2x+y),2x+2y=\lambda(2x+y),
2x+4y=λ(x+2y).2x+4y=\lambda(x+2y).

Solving this generalized eigenvalue problem gives

λ=2orλ=23.\lambda=2 \qquad \text{or} \qquad \lambda=\frac{2}{3}.

Because the constraint satisfies g(x,y)=1g(x,y)=1, the value of ff equals λ\lambda.

Case 1: λ=2\lambda=2​

This gives

x=0.x=0.

Using the constraint,

y2=1,y^2=1,

so

y=±1.y=\pm 1.

Thus the maximum value is

2\boxed{2}

at the points

(0,1), (0,−1).\boxed{(0,1),\ (0,-1)}.

Case 2: λ=23\lambda=\frac{2}{3}​

This gives

x+2y=0,x+2y=0,

so

x=−2y.x=-2y.

Substitute into the constraint:

x2+xy+y2=1.x^2+xy+y^2=1.

Then

4y2−2y2+y2=1,4y^2-2y^2+y^2=1,

so

3y2=1.3y^2=1.

Hence

y=±13,y=\pm \frac{1}{\sqrt{3}},

and

x=∓23.x=\mp \frac{2}{\sqrt{3}}.

Thus the minimum value is

23\boxed{\frac{2}{3}}

at the points

(−23,13),(23,−13).\boxed{\left(-\frac{2}{\sqrt{3}},\frac{1}{\sqrt{3}}\right), \left(\frac{2}{\sqrt{3}},-\frac{1}{\sqrt{3}}\right)}.

Therefore,

max⁡f=2\boxed{\max f=2}

and

min⁡f=23.\boxed{\min f=\frac{2}{3}}.

(2)​

We solve

dydx+y=sin⁡x,\frac{dy}{dx}+y=\sin x,

with initial condition

y(0)=0.y(0)=0.

This is a first-order linear differential equation. The integrating factor is

ex.e^x.

Multiplying both sides by exe^x, we get

exdydx+exy=exsin⁡x.e^x\frac{dy}{dx}+e^x y=e^x\sin x.

The left side becomes

ddx(exy).\frac{d}{dx}(e^x y).

So

ddx(exy)=exsin⁡x.\frac{d}{dx}(e^x y)=e^x\sin x.

Integrate both sides:

exy=∫exsin⁡x dx.e^x y=\int e^x\sin x\,dx.

Using

∫exsin⁡x dx=ex(sin⁡x−cos⁡x)2,\int e^x\sin x\,dx = \frac{e^x(\sin x-\cos x)}{2},

we have

exy=ex(sin⁡x−cos⁡x)2+C.e^x y=\frac{e^x(\sin x-\cos x)}{2}+C.

Divide by exe^x:

y=sin⁡x−cos⁡x2+Ce−x.y=\frac{\sin x-\cos x}{2}+Ce^{-x}.

Use the initial condition y(0)=0y(0)=0:

0=sin⁡0−cos⁡02+C0=\frac{\sin 0-\cos 0}{2}+C
0=0−12+C0=\frac{0-1}{2}+C
C=12.C=\frac{1}{2}.

Therefore,

y(x)=sin⁡x−cos⁡x+e−x2\boxed{ y(x)=\frac{\sin x-\cos x+e^{-x}}{2} }

for x≥0x\ge 0.

(3) Radius of convergence​

Consider the power series

∑n=1∞(z+1)n−1(n+1)32n.\sum_{n=1}^{\infty} \frac{(z+1)^{n-1}}{(n+1)^3 2^n}.

Let

w=z+1.w=z+1.

Then the series becomes

∑n=1∞wn−1(n+1)32n.\sum_{n=1}^{\infty} \frac{w^{n-1}}{(n+1)^3 2^n}.

We examine the general term

an=wn−1(n+1)32n.a_n=\frac{w^{n-1}}{(n+1)^3 2^n}.

Using the root test,

lim⁡n→∞∣an∣1/n=lim⁡n→∞(∣w∣n−1(n+1)32n)1/n.\lim_{n\to\infty} |a_n|^{1/n} = \lim_{n\to\infty} \left( \frac{|w|^{n-1}}{(n+1)^3 2^n} \right)^{1/n}.

This equals

∣w∣2=∣z+1∣2.\frac{|w|}{2} = \frac{|z+1|}{2}.

The root test proves absolute convergence when

∣z+1∣2<1.\frac{|z+1|}{2}<1.

Thus

∣z+1∣<2.|z+1|<2.

Therefore, the radius of convergence is

2.\boxed{2}.

On ∣z+1∣=2|z+1|=2, the absolute value of the nn-th term is 1/[2(n+1)3]1/[2(n+1)^3], so the series also converges absolutely on the boundary.