This work is concerned with the inverse problem of determining initial value of the Cauchy problem for a nonlinear diffusion process with an additional condition on free boundary. Considering the flow of water through a homogeneous isotropic rigid porous medium, we have such desire: for every given positive constants $K$ and $T_0$, to decide the initial value $u_0$ such that the solution $u(x,t)$ satisfies ${sup}_{x\in H_u\left(T_0\right)}\left|x\right|\ge K$, where $H_u\left(T_0\right)=\{x\in {ℝ}^N:u(x,T_0)>0\}$. In this paper, we first establish a priori estimate $u_t\ge C\left(t\right)u$ and a more precise Poincaré type...

Let $\Omega$ be a bounded open subset of ${ℝ}^n$, $n>2$. In $\Omega$ we deduce the global differentiability result $$u\in H^2(\Omega ,{ℝ}^N)$$ for the solutions $u\in H^1(\Omega ,{ℝ}^n)$ of the Dirichlet problem $$u-g\in H_0^1(\Omega ,{ℝ}^N),-\sum _i{D}_i{a}^i(x,u,Du)=B_0(x,u,Du)$$ with controlled growth and nonlinearity $q=2$. The result was obtained by first extending the interior differentiability result near the boundary and then proving the global differentiability result making use of a covering procedure.

We study the large time asymptotic behavior of solutions of the doubly degenerate parabolic equation $u_t=\mathrm{div}(u^{m-1}{\left|Du\right|}^{p-2}Du)-u^q$ with an initial condition $u(x,0)=u_0\left(x\right)$. Here the exponents $m$, $p$ and $q$ satisfy $m+p\ge 3$, $p>1$ and $q>m+p-2$.

Let $A_1,\cdots ,A_m$ be $n\times n$ real matrices such that for each $1\le i\le m,$ $A_i$ is invertible and $A_i-A_j$ is invertible for $i\ne j$. In this paper we study integral operators of the form $$Tf\left(x\right)=\int k_1(x-A_{1}y)k_2(x-A_{2}y)\cdots k_m(x-A_{m}y)f\left(y\right)\mathrm{d}y,$$ $k_i\left(y\right)={\sum }_{j\in \mathbb{Z}}{2}^{jn/q_i}{\varphi }_{i,j}\left(2^{j}y\right)$, $1\le q_i<\infty ,$ $1/q_1+1/q_2+\cdots +1/q_m=1-r,$ $0\le r<1,$ and ${\varphi }_{i,j}$ satisfying suitable regularity conditions. We obtain the boundedness of $T:H^p\left({ℝ}^n\right)\to L^q\left({ℝ}^n\right)$ for $0<p<1/r$ and $1/q=1/p-r.$ We also show that we can not expect the $H^p$-$H^q$ boundedness of this kind of operators.

If $\Omega \subset {ℝ}^n$ is a bounded domain with Lipschitz boundary $\partial \Omega$ and $\Gamma$ is an open subset of $\partial \Omega$, we prove that the following inequality $${\left({\int }_{\Omega }{\left|A\left(x\right)\nabla u\left(x\right)\right|}^{p}dx\right)}^{1/p}+{\left({\int }_{\Gamma }{\left|u\left(x\right)\right|}^{p}d{\mathscr{H}}^{n-1}\left(x\right)\right)}^{1/p}\ge c{\parallel u\parallel }_{W^{1,p}\left(\Omega \right)}$$ holds for all $u\in W^{1,p}(\Omega ;{ℝ}^m)$ and $1<p<\infty$, where $${\left(A\left(x\right)\nabla u\left(x\right)\right)}_k=\sum _{i=1}^m\sum _{j=1}^n{a}_k^{ij}\left(x\right)\frac{\partial u_i}{\partial x_j}\left(x\right)(k=1,2,...,r;r\ge m)$$ defines an elliptic differential operator of first order with continuous coefficients on $\overline{\Omega }$. As a special case we obtain $${\int }_{\Omega }{\left|\nabla u\left(x\right)F\left(x\right)+{\left(\nabla u\left(x\right)F\left(x\right)\right)}^T\right|}^{p}dx\ge c{\int }_{\Omega }{\left|\nabla u\left(x\right)\right|}^{p}dx,(*)$$ for all $u\in W^{1,p}(\Omega ;{ℝ}^n)$ vanishing on $\Gamma$, where $F:\overline{\Omega }\to M^{n\times n}\left(ℝ\right)$ is a continuous mapping with $detF\left(x\right)\ge \mu >0$. Next we show that $(*)$ is not valid if $n\ge 3$, $F\in L^{\infty }\left(\Omega \right)$ and $detF\left(x\right)=1$, but does hold if $p=2$, $\Gamma =\partial \Omega$ and $F\left(x\right)$ is symmetric and positive definite in $\Omega$.