Entropy for a PDE system with non-homogenous boundary condition

Consider a system of PDEs

\begin{cases}L_t - \Delta L = 0, x\in \Omega, t>0\\ \dfrac{\partial L}{\partial \nu} + \beta L = \alpha l, x\in \partial \Omega, t>0\\l_t = -\alpha l + \beta L, x\in\partial \Omega, t>0\end{cases}

Suppose that (L,l) is a positive solution to the system (with sufficient smooth property).

Find the two convex function \phi and \psi such that the functional

E(L,l) = \int_{\Omega}\phi(L)dx + \int_{\partial \Omega}\psi(l)dS

is decreasing in time.

It is enough to find \phi and \psi such that \dfrac{d}{dt}E(L,l) \leq 0. We give a computation

\dfrac{d}{dt}E(L,l) = \dfrac{d}{dt}(\int_{\Omega}\phi(L)dx + \int_{\partial \Omega}\psi(l)dS)

=\int_{\Omega}\phi'(L)L_tdx + \int_{\partial\Omega}\psi'(l)l_tdS

=\int_{\Omega}\phi'(L)\Delta Ldx +\int_{\partial\Omega}\psi'(l)(-\alpha l + \beta L)dS

= -\int_{\Omega}\phi''(L)|\nabla L|^2dx + \int_{\partial \Omega}\phi'(L)\dfrac{\partial L}{\partial \nu}dS +\int_{\partial\Omega}\psi'(l)(-\alpha l + \beta L)dS

= -\int_{\Omega}\phi''(L)|\nabla L|^2dx +\int_{\partial \Omega}(\phi'(L) - \psi'(l))(\alpha l -\beta L)dS

The last relation suggests that if (\phi'(x) - \psi'(y))(\alpha y - \beta x) \leq 0, then we get what we claim since \phi'' \geq 0.

Two approriate choices of mine:

\phi(x) = \beta x^2, \psi(x) = \alpha x^2

and

\phi(x) = x\log(\beta x) - \beta x, \psi(x) = x\log(\alpha x) - \alpha x

[Update]

Since we want to use Csiszar-Kullback’s inequality, \phi and \psi should be

\phi(x) = x(\log(\beta x) - \beta)+ \beta, \psi(x) = x(\log(\alpha x) - \alpha) + \alpha

Advertisements

About baotangquoc

Lecturer School of Applied Mathematics and Informatics Hanoi University of Science and Technology No 1, Dai Co Viet Street, Hanoi
This entry was posted in Entropy. Bookmark the permalink.

One Response to Entropy for a PDE system with non-homogenous boundary condition

  1. Pingback: Well posedness of a coupled PDE-ODE system | Tăng Quốc Bảo

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s