<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">AM</journal-id><journal-title-group><journal-title>Applied Mathematics</journal-title></journal-title-group><issn pub-type="epub">2152-7385</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/am.2016.716157</article-id><article-id pub-id-type="publisher-id">AM-71222</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Existence and Uniqueness of Solution for Cahn-Hilliard Hyperbolic Phase-Field System with Dirichlet Boundary Condition and Regular Potentials
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Jean</surname><given-names>De Dieu Mangoubi</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Daniel</surname><given-names>Moukoko</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Fidele</surname><given-names>Moukamba</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Franck</surname><given-names>Davhys Reval Langa</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>G.R.A.F.E.D.P, Faculté des Sciences et Techniques, Université Marien NGOUABI, Brazzaville, Congo</addr-line></aff><pub-date pub-type="epub"><day>14</day><month>10</month><year>2016</year></pub-date><volume>07</volume><issue>16</issue><fpage>1919</fpage><lpage>1926</lpage><history><date date-type="received"><day>August</day>	<month>20,</month>	<year>2016</year></date><date date-type="rev-recd"><day>Accepted:</day>	<month>October</month>	<year>11,</year>	</date><date date-type="accepted"><day>October</day>	<month>14,</month>	<year>2016</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  Our aim in this paper is to study the existence and the uniqueness of the solutions for hyperbolic Cahn-Hilliard phase-field system, with initial conditions, Dirichlet boundary condition and regular potentials.
 
</p></abstract><kwd-group><kwd>Cahn-Hilliard Hyperbolic Phase-Field System</kwd><kwd> Regular Potential</kwd><kwd> Dirichlet Boundary Conditions</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>G. Caginalp introduced in [<xref ref-type="bibr" rid="scirp.71222-ref1">1</xref>] the following phase-field system</p><disp-formula id="scirp.71222-formula184"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x2.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula185"><label>(2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x3.png"  xlink:type="simple"/></disp-formula><p>where u is the order parameter and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x4.png" xlink:type="simple"/></inline-formula> is the (relative) temperature. These equations model phase transition processes such as melting-solidification processes and have been studied, see [<xref ref-type="bibr" rid="scirp.71222-ref2">2</xref>] - [<xref ref-type="bibr" rid="scirp.71222-ref6">6</xref>] , for a similar phase-field model with a nonlinear term.</p><p>These Cahn-Hilliard phase-fiel system are known as the conserved phase-field system (see [<xref ref-type="bibr" rid="scirp.71222-ref7">7</xref>] - [<xref ref-type="bibr" rid="scirp.71222-ref9">9</xref>] ) based on type III heat conduction and with two temperatures (see [<xref ref-type="bibr" rid="scirp.71222-ref10">10</xref>] ). The authors have proved the existence and the uniqueness of the solutions, the existence of global attractor and of exponential attractors with singularly or regular potentials.</p><p>In [<xref ref-type="bibr" rid="scirp.71222-ref11">11</xref>] , Ntsokongo and Batangouna have studied the following Cahn-Hilliard phase- field system</p><disp-formula id="scirp.71222-formula186"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x5.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula187"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x6.png"  xlink:type="simple"/></disp-formula><p>where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x7.png" xlink:type="simple"/></inline-formula>, u is the order parameter and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x8.png" xlink:type="simple"/></inline-formula> is the (relative) temperature, they have proved the existence and the uniqueness solution with Dirichlet boundary condition and regular potentials.</p><p>In this paper, we consider the following Cahn-Hilliard hyperbolic phase-fiel system</p><disp-formula id="scirp.71222-formula188"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x9.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula189"><label>(6)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x10.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula190"><label>(7)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x11.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula191"><label>(8)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x12.png"  xlink:type="simple"/></disp-formula><p>which is the perturbed phase-field system of Cahn-Hilliard phase-field system (3)-(4) with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x13.png" xlink:type="simple"/></inline-formula>. In the above hyperbolic system <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x14.png" xlink:type="simple"/></inline-formula> is a bounded and regular domain of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x15.png" xlink:type="simple"/></inline-formula> with <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x16.png" xlink:type="simple"/></inline-formula> or 3 and f is the nonlinear regular potentials.</p><p>The hyperbolic system has been extensively studied for Dirichlet boundary conditions and regular or singular potentials (see [<xref ref-type="bibr" rid="scirp.71222-ref12">12</xref>] - [<xref ref-type="bibr" rid="scirp.71222-ref14">14</xref>] ). Whose certain have to end at existence of global attractor or at the existence of exponential attractors (see [<xref ref-type="bibr" rid="scirp.71222-ref15">15</xref>] ).</p><p>In this paper we prove the existence and the uniqueness of solutions of (5)-(8). We consider the regular potential <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x17.png" xlink:type="simple"/></inline-formula> which satisfies the following properties:</p><disp-formula id="scirp.71222-formula192"><label>(9)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x18.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula193"><label>(10)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x19.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula194"><label>(11)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x20.png"  xlink:type="simple"/></disp-formula></sec><sec id="s2"><title>2. Notations</title><p>We denote by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x21.png" xlink:type="simple"/></inline-formula> the usual L<sup>2</sup>-norm (with associated product scalar (.,.)) and set</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x22.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x23.png" xlink:type="simple"/></inline-formula> denotes the minus Laplace operator with Dirichlet</p><p>boundary conditions. More generally, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x24.png" xlink:type="simple"/></inline-formula>denote the norm of Banach space X.</p><p>Throughout this paper, the same letters <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x25.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x26.png" xlink:type="simple"/></inline-formula> denote (generally positive) constants which may change from line to line, or even a same line.</p></sec><sec id="s3"><title>3. A Priori Estimates</title><p>We multiply (5) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x27.png" xlink:type="simple"/></inline-formula> and (6) by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x28.png" xlink:type="simple"/></inline-formula>, integrate over <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x27.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x28.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x29.png" xlink:type="simple"/></inline-formula> and add the two resulting differential equalities. We find</p><disp-formula id="scirp.71222-formula195"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x30.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.71222-formula196"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x31.png"  xlink:type="simple"/></disp-formula><p>satisfies</p><disp-formula id="scirp.71222-formula197"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x32.png"  xlink:type="simple"/></disp-formula><p>Finaly, we conclude that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x33.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.71222-formula198"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x34.png"  xlink:type="simple"/></disp-formula><p>and</p><disp-formula id="scirp.71222-formula199"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x35.png"  xlink:type="simple"/></disp-formula><p>for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x36.png" xlink:type="simple"/></inline-formula>.</p><p>Multiply (6) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x37.png" xlink:type="simple"/></inline-formula> and integrate over<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x37.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x38.png" xlink:type="simple"/></inline-formula>. We get.</p><disp-formula id="scirp.71222-formula200"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x39.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula201"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x40.png"  xlink:type="simple"/></disp-formula><p>Then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x41.png" xlink:type="simple"/></inline-formula>.</p><p>In this study, we have three main results; existence theorem, uniqueness theorem and existence theorem with more regularity.</p></sec><sec id="s4"><title>4. Existence and Uniqueness of Solutions</title><p>Theorem 4.1. (Existence) We assume <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x42.png" xlink:type="simple"/></inline-formula> then the system (5) - (8) possesses at least one solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x43.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x44.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x45.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.71222-formula202"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x46.png"  xlink:type="simple"/></disp-formula><p>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x47.png" xlink:type="simple"/></inline-formula>, for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x48.png" xlink:type="simple"/></inline-formula>.</p><p>The proof is based on a priori estimates obtained in the previous section and on a standard Galerkin scheme.</p><p>Theorem 4.2. (Uniqueness) Let the assumpptions of Theorem 4.1 hold. Then, the system (5) - (8) possesses a unique solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x49.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x50.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x51.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.71222-formula203"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x52.png"  xlink:type="simple"/></disp-formula><p>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x53.png" xlink:type="simple"/></inline-formula> for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x54.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x55.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x56.png" xlink:type="simple"/></inline-formula> be two solutions of the system (5)-(8) with initial data <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x57.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x58.png" xlink:type="simple"/></inline-formula>, respectively. We set <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x59.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x60.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x57.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x59.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x61.png" xlink:type="simple"/></inline-formula> is solution of the following system</p><disp-formula id="scirp.71222-formula204"><label>(12)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x62.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula205"><label>(13)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x63.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula206"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x64.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula207"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x65.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.71222-formula208"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x66.png"  xlink:type="simple"/></disp-formula><p>We multiply (12) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x67.png" xlink:type="simple"/></inline-formula> and integrate over<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x67.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x68.png" xlink:type="simple"/></inline-formula>. We find</p><disp-formula id="scirp.71222-formula209"><label>(14)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x69.png"  xlink:type="simple"/></disp-formula><p>Multiplying (13) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x70.png" xlink:type="simple"/></inline-formula> and integrating over<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x71.png" xlink:type="simple"/></inline-formula>, we get</p><disp-formula id="scirp.71222-formula210"><label>(15)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x72.png"  xlink:type="simple"/></disp-formula><p>Now summing (14) and (15) we obtain</p><disp-formula id="scirp.71222-formula211"><label>(16)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x73.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.71222-formula212"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x74.png"  xlink:type="simple"/></disp-formula><p>Lagrange theorem gives a estimates</p><disp-formula id="scirp.71222-formula213"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x75.png"  xlink:type="simple"/></disp-formula><p>which implies</p><disp-formula id="scirp.71222-formula214"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x76.png"  xlink:type="simple"/></disp-formula><p>Inserting the above estimate into (16), we have</p><disp-formula id="scirp.71222-formula215"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x77.png"  xlink:type="simple"/></disp-formula><p>Applying Gronwall’s lemma, we obtain for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x78.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.71222-formula216"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x79.png"  xlink:type="simple"/></disp-formula><p>We deduce the continuous dependence of the solution relative to the initial conditions, hence the uniqueness of the solution.</p><p>The existence and uniqueness of the solution of problem (5)-(8) being proven in a larger space, we will seek the solution with more regularity. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x80.png" xlink:type="simple"/></inline-formula></p><p>Theorem 4.3. Assume</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x81.png" xlink:type="simple"/></inline-formula>,</p><p>then the system (5)-(8) possesses a unique solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x82.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x83.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x84.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x85.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.71222-formula217"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x86.png"  xlink:type="simple"/></disp-formula><p>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x87.png" xlink:type="simple"/></inline-formula>, for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x87.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x88.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Following theorems 4.1 and 4.2, the system (5)-(8) possesses the unique solution <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x89.png" xlink:type="simple"/></inline-formula> such that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x90.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x91.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.71222-formula218"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x92.png"  xlink:type="simple"/></disp-formula><p>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x93.png" xlink:type="simple"/></inline-formula>, for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x93.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x94.png" xlink:type="simple"/></inline-formula>.</p><p>Multiply (2.1) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x95.png" xlink:type="simple"/></inline-formula> and integrate over<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x96.png" xlink:type="simple"/></inline-formula>. We have</p><disp-formula id="scirp.71222-formula219"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x97.png"  xlink:type="simple"/></disp-formula><p>we deduce the following inequality</p><disp-formula id="scirp.71222-formula220"><label>(17)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x98.png"  xlink:type="simple"/></disp-formula><p>Thanks to use<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x99.png" xlink:type="simple"/></inline-formula>, we find the following estimate</p><disp-formula id="scirp.71222-formula221"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x100.png"  xlink:type="simple"/></disp-formula><p>Since<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x101.png" xlink:type="simple"/></inline-formula>, then the estimate (17) implies</p><disp-formula id="scirp.71222-formula222"><label>(18)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x102.png"  xlink:type="simple"/></disp-formula><p>Multiplying (6) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x103.png" xlink:type="simple"/></inline-formula> and integrating over<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x104.png" xlink:type="simple"/></inline-formula>, we get</p><disp-formula id="scirp.71222-formula223"><label>(19)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x105.png"  xlink:type="simple"/></disp-formula><p>Now summing (18) and (19), we obtain</p><disp-formula id="scirp.71222-formula224"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x106.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.71222-formula225"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x107.png"  xlink:type="simple"/></disp-formula><p>Appling the Gronwall’s lemma, we deduce that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x108.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.71222-formula226"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x109.png"  xlink:type="simple"/></disp-formula><p>and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x110.png" xlink:type="simple"/></inline-formula>.</p><p>Multiplying (5) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x111.png" xlink:type="simple"/></inline-formula> and integrating ovre<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x111.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x112.png" xlink:type="simple"/></inline-formula>, we obtain</p><disp-formula id="scirp.71222-formula227"><label>(20)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-7403345x113.png"  xlink:type="simple"/></disp-formula><p>Thanks to use <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x114.png" xlink:type="simple"/></inline-formula> and the fact that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x115.png" xlink:type="simple"/></inline-formula>, we get</p><disp-formula id="scirp.71222-formula228"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x116.png"  xlink:type="simple"/></disp-formula><p>Inserting the above estimate into (20), we obtain</p><disp-formula id="scirp.71222-formula229"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x117.png"  xlink:type="simple"/></disp-formula><p>which implies that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x118.png" xlink:type="simple"/></inline-formula>.</p><p>Multiplying (6) by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x119.png" xlink:type="simple"/></inline-formula> and integrating over<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x120.png" xlink:type="simple"/></inline-formula>, we find</p><disp-formula id="scirp.71222-formula230"><graphic  xlink:href="http://html.scirp.org/file/2-7403345x121.png"  xlink:type="simple"/></disp-formula><p>that implies<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x122.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-7403345x123.png" xlink:type="simple"/></inline-formula></p></sec><sec id="s5"><title>5. Conclusion</title><p>We have just shown the theorems of existence and uniqueness of the solutions for perturbed Cahn-Hilliard hyperbolic phase-field system with regular potentials.</p></sec><sec id="s6"><title>Cite this paper</title><p>De Dieu Mangoubi, J., Moukoko, D., Moukamba, F. and Langa, F.D.R. (2016) Existence and Uniqueness of Solution for Cahn-Hilliard Hyperbolic Phase-Field System with Dirichlet Boundary Condition and Regular Potentials. Applied Mathematics, 7, 1919-1926. http://dx.doi.org/10.4236/am.2016.716157</p></sec></body><back><ref-list><title>References</title><ref id="scirp.71222-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Caginalp, G. (1988) Conserved-Phase Field System: Implications for Kinetic Undercooling. Physical Review B, 38, 789-791. http://dx.doi.org/10.1103/PhysRevB.38.789</mixed-citation></ref><ref id="scirp.71222-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Brochet, D., Hilhorst, D. and Novick-Cohen, A. (1996) Maximal Attractor and Inertial Sets for a Conserved Phase-Field Model. Advances in Differential Equations, 1, 547-578.</mixed-citation></ref><ref id="scirp.71222-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Brochet, D. (1993) Maximal Attractor and Inertial Sets for Some Second and Fourth Order Phase-Field Models. In: Pitman Res. Notes Math. Ser, Vol. 296, Longman Sci. Tech., Harlow, 77-85.</mixed-citation></ref><ref id="scirp.71222-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Colli, P., Gilardi, G., Grasselli, M. and Schimperna, G. (2001) The Conserved Phase-Field System with Memory. Adv. Math. Sci Appl., 11, 265-291.</mixed-citation></ref><ref id="scirp.71222-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Gatti, S. and Pata, V. (2004) Exponential Attractor for a Conserved Phase-Field System with Memory. Physica D: Nonlinear Phenomena, 189, 31-48.  
http://dx.doi.org/10.1016/j.physd.2003.10.005</mixed-citation></ref><ref id="scirp.71222-ref6"><label>6</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Gilardi</surname><given-names> G. </given-names></name>,<etal>et al</etal>. (<year>2007</year>)<article-title>On a Conserved Phase-Field Model with Irregular Potentials and Dynamic Boundary Condition. Rend. Cl. Sci. Mat. Nat</article-title><source></source><volume> 141</volume>,<fpage> 129</fpage>-<lpage>161</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.71222-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Miranville, A. (2013) On the Conserved Phase-Field Model. Journal of Mathematical Analysis and Applications, 400, 143-152. http://dx.doi.org/10.1016/j.jmaa.2012.11.038</mixed-citation></ref><ref id="scirp.71222-ref8"><label>8</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Caginalp</surname><given-names> G. </given-names></name>,<etal>et al</etal>. (<year>1990</year>)<article-title>The Dynamic of Conserved Phase Field System: Stefan-Like, Hele-Shaw and Cahn-Hilliard Models as Asymptotic Limits</article-title><source> IMA Journal of Applied Mathematics</source><volume> 44</volume>,<fpage> 77</fpage>-<lpage>94</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.71222-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Colli, P., Gilardi, G., Laurenot, Ph. and Novick-Cohen, A. (1999) Uniqueness and Long-Time Behavior for the Conserved Phase-Field System Memory. Discrete and Continuous Dynamical Systems—Series A, 5, 375-390. http://dx.doi.org/10.3934/dcds.1999.5.375</mixed-citation></ref><ref id="scirp.71222-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Miranville, A. and Quintanilla, R. (2011) A Type III Phase-Field System with a Logarithmic Potential. Applied Mathematics Letters, 24, 1003-1008.  
http://dx.doi.org/10.1016/j.aml.2011.01.016</mixed-citation></ref><ref id="scirp.71222-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Ntsokongo, A.J. and Batangouna, N. (2016) Existence and Uniqueness of Solutions for a Conserved Phase-Field Type Model. AIMS Mathematics, 1, 144-155.  
http://dx.doi.org/10.3934/Math.2016.2.144</mixed-citation></ref><ref id="scirp.71222-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Goyaud, M.E.I., Moukamba, F., Moukoko, D. and Langa, F.D.R. (2015) Existence and Uniqueness of Solution for Caginalp Hyperbolic Phase Field System with Polynomial Growth Potential. International Mathematical Forum, 10, 477-486.</mixed-citation></ref><ref id="scirp.71222-ref13"><label>13</label><mixed-citation publication-type="journal" xlink:type="simple"><name name-style="western"><surname>Moukoko</surname><given-names> D. </given-names></name>,<etal>et al</etal>. (<year>2014</year>)<article-title>Well-Posedness and Longtime Behaviors of a Hyprebolic Caginalp System</article-title><source> Journal of Applied Analysis and Computation</source><volume> 4</volume>,<fpage> 151</fpage>-<lpage>196</lpage>.<pub-id pub-id-type="doi"></pub-id></mixed-citation></ref><ref id="scirp.71222-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Moukoko, D. (2015) Etude de Modeles Hyperboliques de champ de phase de Caginalp, These unique, Falculté des Sciences et Techniques, Université Marien NGOUABI.</mixed-citation></ref><ref id="scirp.71222-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Moukoko, D., Moukamba, F. and Reval, L.F.D. (2015) Global Attractor for Caginalp Hyperbolics Field-Phase System with Singular Potential. Journal of Mathematics Research, 7, 165-177.</mixed-citation></ref></ref-list></back></article>