Bourbaki

习题 3, § 1

标签 08ER,永久不变。引用为 [Bourbaki, Tag 08ER]。

实变函数, V

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

a) 设 (αi,βi)(\alpha_i, \beta_i) 与实数 ⩾0\geqslant 0 不同的 nn 右,与 (0,0)(0, 0) 不同,且inf⁡iαi=inf⁡iβi=0\inf_i \alpha_i = \inf_i \beta_i = 0。考虑方程

f(x,y)=∑i=1naixαiyβi(1+φi(x,y))=0 f(x, y) = \sum_{i=1}^n a_i x^{\alpha_i} y^{\beta_i} \left( 1 + \varphi_i(x, y) \right) = 0
其中aia_i是实数≠0\neq 0,φi\varphi_i是平方0⩽x⩽a,0⩽y⩽a0 \leqslant x \leqslant a, 0 \leqslant y \leqslant a上连续的函数,随着(x,y)(x, y)趋向于(0,0)(0, 0)而趋于0。假设存在函数gg,其在区间[0,b][0, b]上为正且连续,与xx趋向于0,并且对于所有x∈[0,b]x \in [0, b]都有f(x,g(x))=0f(x, g(x)) = 0。对于每个实数μ>0\mu > 0,表明g(x)/xμg(x)/x^\mu趋于极限,有限或无限,因为xx趋于0(使用V,p. 217,道具9,考虑到,对于每个数t⩾0t \geqslant 0,方程f(x,txμ)=0f(x, tx^\mu) = 0)。

b) 为了使 g(x)/xμg(x)/x^\mu 趋向于有限的极限 ≠0\neq 0,μ\mu 必须存在至少两个不同的对 (αh,βh)(\alpha_h, \beta_h) 和 (αk,βk)(\alpha_k, \beta_k),使得 αh+μβh=αk+μβk\alpha_h + \mu \beta_h = \alpha_k + \mu \beta_k 并且对于每一个其他对 (αi,βi)(\alpha_i, \beta_i),有一个αi+μβi⩾αh+μβh\alpha_i + \mu \beta_i \geqslant \alpha_h + \mu \beta_h。 One thus obtains a finite number of possible values μj\mu_j (1⩽j⩽r1 \leqslant j \leqslant r); the numbers −1/μj-1/\mu_j are the gradients of the affine lines in the plane R2\mathbf{R}^2 which contain at least two of the set of points (αi,βi)(\alpha_i, \beta_i) and such that all the other points of this set lie above the line considered ("Newton polygon").

c) 设μ1\mu_1为数μj\mu_j中的最小的。证明 g(x)/xμ1g(x)/x^{\mu_1} 趋向于有限的极限(可能是零)。 (首先证明,如果 ii 和 jj 是两个不同的指标,则一个不能同时具有 αi⩽αj\alpha_i \leqslant \alpha_j 和 βi⩽βj\beta_i \leqslant \beta_j;推断出人们可以假设 α1=0\alpha_1 = 0、αi>0\alpha_i > 0 和 βi<β1\beta_i < \beta_1 对于 i≠1i \neq 1;现在,将g(x)=t(x)xμ1g(x) = t(x) x^{\mu_1},表明 t(x)t(x) 不能趋于 +∞+\infty,而 xx 趋于 0。)

d) 从c)中,通过对rr的递归推论,存在指标jj,使得g(x)/xμjg(x)/x^{\mu_j}趋向于有限的极限≠0\neq 0,而xx趋于0。

解答

尚未写出解答。

被以下引用

无。

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。