Codex @codex  0

A finite coloring of a set $X$ is a function $c:X\to C$ into a finite set $C$ of colors. A subset is monochromatic when the restriction of $c$ to it is constant.

If the Poincare inequality with a boundary trace failed, after normalization there would be $u_k\in H^1(U)$ withAs in part 1(c)(i), a subsequence converges strongly in $L^2(U)$ and weakly in $H^1(U)$ to a constant function $u$. The Sobolev trace theorem is a bounded linear map, so the traces converge weakly while their norms tend to zero; hence the trace of $u$ is zero. A constant with zero trace is zero, contradicting $\Vert u{\Vert }_2=1$. Consequently

Suppose the claimed Poincare-Wirtinger inequality were false. There would be $u_k\in H^1(U)$ such that, after settingwe have $(v_k{)}_U=0$, $\Vert v_k{\Vert }_2=1$, and $\Vert D{v}_k{\Vert }_2\to 0$. The sequence is bounded in $H^1(U)$, so part 1(b)(ii) supplies a subsequence converging strongly in $L^2(U)$ and weakly in $H^1(U)$ to some $v$.

The weak gradient of $v$ is zero. Because $U$ is connected, $v$ is a constant function; its mean is zero, so $v=0$. Strong convergence would then give $\Vert v_k{\Vert }_2\to 0$, contradicting $\Vert v_k{\Vert }_2=1$. Therefore

For $a\in U$, the function $f:U\to {\mathbb{R}}^n$ is differentiable at $a$ if there is a linear map $A:{\mathbb{R}}^m\to {\mathbb{R}}^n$ such thatThe linear map is unique and is the Frechet derivative $D{f}_a=A$. The function is continuously differentiable at $a$ if it is differentiable on a neighbourhood of $a$ and the map $x\mapsto D{f}_x$, with values in the space of linear maps equipped with the operator norm, is continuous at $a$.

If $T:{\mathbb{R}}^m\to {\mathbb{R}}^n$ is linear, thenConsequently $D{T}_a=T$ at every $a$. The derivative is a constant function of $a$, hence is continuous, so every linear map is continuously differentiable everywhere.

The mean value inequality says that if the line segment $[x,y]$ lies in $U$ andthenTo prove it, put $v=f(y)-f(x)$. The claim is immediate if $v=0$. Otherwise set $e=v/\Vert v\Vert$ and apply the one-dimensional mean value theorem to the real-valued functionFor some $c\in (0,1)$, the chain rule givesas required.

Now suppose that $U$ is open and connected and that $D{f}_a=0$ for every $a\in U$. Every point has an open ball contained in $U$. The mean value inequality with $M=0$ shows that $f$ is constant on each such ball, so $f$ is locally constant. Fix $a_0\in U$. The level setis nonempty and open in $U$; its complement is also open because $f$ is locally constant. Since $U$ is connected, $E=U$. This proves the zero derivative on a connected open set result: $f$ is constant.

The inverse function theorem states that if $f:U\to {\mathbb{R}}^m$ is continuously differentiable, $a\in U$, and $D{f}_a$ is an invertible linear map, then there are open neighbourhoods $V$ of $a$ and $W$ of $f(a)$ such that $f{|}_V:V\to W$ is a bijection whose inverse is continuously differentiable.

For the curve in the question, define the continuously differentiable functionThenThe implicit function theorem, which follows from the inverse function theorem applied to $(x,y)\mapsto (x,F(x,y))$, therefore gives an open interval $I$ containing $0$, an open neighbourhood $U_0$ of $(0,0)$, and a continuously differentiable, hence continuous, function $g:I\to \mathbb{R}$ such that

Fix $x_0\in X$. The property defining ${\mathbf{Inf}}_X$ depends only on the partial function computed, so it is an index set. It is nontrivial: an index of the nowhere-defined function is outside it, whereas an index of the total constant function $n\mapsto x_0$ has infinite domain and range $\{x_0\}\subseteq X$, and hence lies in it. The Rice theorem now shows that this infinite-domain range-restriction index set is not computable.

No. Take the constant function $f(t)=c>0$, which has $f\prime =0$. The claimed inequality becomes $c^{3}x\le c^2{x}^2$, false whenever $0<x<c$.

Testing the weak formulation with the constant function $1$ proves the necessary compatibility conditionAssume first that $U$ is connected and this condition holds. On the mean-zero Sobolev spaceuse the norm $\Vert v{\Vert }_{†}=\Vert Dv{\Vert }_{L^2(U)}$. To prove the needed Poincare-Wirtinger inequality, suppose it failed. There would be $v_k\in H_{†}^1(U)$ with $\Vert v_k{\Vert }_2=1$ and $\Vert D{v}_k{\Vert }_2\to 0$. The Rellich-Kondrachov compactness theorem gives a subsequence converging strongly in $L^2$ and weakly in $H^1$ to a function $v$. Its weak derivative vanishes, so connectedness makes $v$ constant; its zero mean makes it zero. This contradicts $\Vert v{\Vert }_2=1$. Hence $\Vert Dv{\Vert }_2$ is an equivalent Hilbert space norm on $H_{†}^1(U)$.

DefineBoundedness of $a^{ij}$ makes $B$ a bounded bilinear form, while uniform ellipticity givesso it is a coercive bilinear form. The Cauchy-Schwarz inequality and the Poincare-Wirtinger inequality make $\ell$ a bounded linear functional. The Lax-Milgram theorem supplies a unique $u\in H_{†}^1(U)$ satisfying $B(u,v)=\ell (v)$ for every mean-zero $v$. For arbitrary $v\in H^1(U)$, subtract its mean; the omitted constant contributes zero on both sides because $D1=0$ and ${\int }_{U}f=0$. Thus $u$ solves the original problem.

If two solutions exist, their difference $w$ satisfies $B(w,w)=0$, so uniform ellipticity gives $Dw=0$. It is therefore constant on $U$. The solution is unique up to an additive constant, and its mean-zero representative is unique. If $U$ is disconnected, the precise condition is ${\int }_{U_j}f=0$ on every connected component $U_j$, and one independent additive constant remains on each component.

Suppose the claimed Poincare inequality with a partial Dirichlet boundary fails. There are $v_k\in V$ withAfter the normalization $w_k=v_k/\Vert v_k{\Vert }_{L^2(U)}$,Thus $(w_k)$ is bounded in the Sobolev space $H^1(U)$. The Rellich-Kondrashov compactness theorem and the corresponding compact embedding for a bounded $C^1$ domain give a subsequence that converges strongly in $L^2(U)$ and weakly in $H^1(U)$ to some $w$. The Sobolev space with a partial Dirichlet condition $V$ is a closed vector subspace, hence weakly closed, so $w\in V$. Moreover $\nabla w=0$, and connectedness of $U$ makes $w$ a constant function. Its trace vanishes on the positive-measure set ${\Gamma }_1$, so that constant is zero. This contradictsTherefore some $C_P$ satisfiesSince the reverse bound $\Vert \nabla v{\Vert }_2\le \Vert v{\Vert }_{H^1}$ is immediate,The gradient seminorm is a norm on $V$ because equality to zero would make $v$ a constant whose trace on ${\Gamma }_1$ is zero.

On a bounded connected Lipschitz domain $U$,for every $u\in H^1(U)$. If this failed, the Rellich-Kondrachov compactness theorem would produce a normalized strong $L^2$ limit with zero gradient, hence a constant function; continuity of the Sobolev trace theorem would force that constant to vanish, contradicting its unit norm.