Brădeanu, The application of Kantorovich-Ritz method to the flow of an incompressible potential fluid between two solid walls, Rev. Anal. Numér. Théor. Approx. 25 (1996), no. 1-2, 23–31.
[1] N. M Beliaev and A. A. Riadno, Methods of Theory of Heat Conduction, 1, Moscow, Vyshaia Skola,1982 (in Russian).
[2] P. Brădeanu, Mecanica fluidelor, Ed. Tehnică, Bucureşti, 1973.
[3] L E. Elsgolts, Differential Equations and the Calculus of Variations, Mir Publishers, Moscorw, English transl , 1977.
[4] L. V. Kantorovich and V.l. Krylov, Approximate Method of Higher Analzsis, Fizmatgiz, 1962 (in Russian).
[5] S G. Mikhlin, Variational Methods in Mathematical Physics, Nauka, Moscow, 1970 (in Russian).
[6] S. G. Mikhlin, Ecuaţii cu derivate parţiale, Ed. Ştiinţifică şi Enciclopedică, bucureşti, 1973.
Paper (preprint) in HTML form
jnaat,+Journal+manager,+1996-Bradeanu
THE APPLICATION OF KANTOROVICH-RITZ METHOD TO THE FLOW OF AN INCOMPRESSIBLE POTENTIAL FLUID BETWEEN TWO SOLID WALLS
DOINA BRÄDEANU(Cluj-Napoca)
1. THE FORMULATION OF THE PROBLEM
a) Differential problem. Consider the plane OxyO x y and the bounded domain bar(Omega)={(x,y)inR^(2)∣-x_(0) <= x <= x_(0),0 <= y <= y_(w)(x)}\bar{\Omega}=\left\{(x, y) \in \mathbf{R}^{2} \mid-x_{0} \leq x \leq x_{0}, 0 \leq y \leq y_{w}(x)\right\}, where y=y_(w)(x)y=y_{w}(x) is the given equation of the bar(CB)\overline{C B} boundary, fig 1 . It is assumed that bar(DA)\overline{D A} and bar(CB)\overline{C B} boundaries are solid walls and that the ideal incompressible fluid between them irrotationally flows in the positive xx direction with the velocity vec(V)(x,y)=(V_(x),V_(y))\vec{V}(x, y)=\left(V_{x}, V_{y}\right). On bar(DC)\overline{D C} and bar(AB)\overline{A B} boundaries the velocity vector is constant and parallel to OxO x axis.
Fig. 1
With these assumptions, the stream function psi\psi satisfies Laplace's equation on Omega,Delta psi=0\Omega, \Delta \psi=0.
The boundary conditions on the solid walls are psi(x,0)=psi_(0)=0\psi(x, 0)=\psi_{0}=0 and psi(x,y_(w)(x))==Psi_(w)(x)=q\psi\left(x, y_{w}(x)\right)= =\Psi_{w}(x)=q, where qq is a positive constant. It is known from the definition of the stream function that l_(A)(-x_(0),y)=(del psi//del y)_(x=-x_(0))=l_{A}\left(-x_{0}, y\right)=(\partial \psi / \partial y)_{x=-x_{0}}= const -=k_(0)^(-)\equiv k_{0}^{-}and using the
relation psi(-x_(0),0)=0\psi\left(-x_{0}, 0\right)=0, we obtain that psi(-x_(0),y)=k_(0)^(-)y\psi\left(-x_{0}, y\right)=k_{0}^{-} y and similarly, psi(x_(0),y)=k_(0)^(+)y\psi\left(x_{0}, y\right)=k_{0}^{+} y. The flow rate in the xx direction being constant, we have [2]
is made in equation Delta psi=0\Delta \psi=0. The problem reduces to solving the following boundary value problem with homogeneous Dirichlet boundary conditions :
where we consider that the function f_(0)f_{0} belongs to the Hilbert space H=L_(2)(Omega)H=L_{2}(\Omega) and the operator A_(0):D(A_(0))sub H rarr HA_{0}: D\left(A_{0}\right) \subset H \rightarrow H has the definition domain
D(A_(0))={v in H|_({:v inC^(2)(Omega)nn C(( bar(Omega))),quadA_(0)v in H,quad v=0quad" on "quad del Omega},quad bar(D(A_(0)))^(H)=H):}D\left(A_{0}\right)=\left\{\left.v \in H\right|_{\left.v \in C^{2}(\Omega) \cap C(\bar{\Omega}), \quad A_{0} v \in H, \quad v=0 \quad \text { on } \quad \partial \Omega\right\}, \quad{\overline{D\left(A_{0}\right)}}^{H}=H}\right.
Remark 1. The linear operator A_(0)A_{0} is symmetric and positive definite on D(A_(0))D\left(A_{0}\right), [5]:
{:[(A_(0)u,v)=int_(Omega)grad u*grad vdOmega=(u,A_(0)v)","(A_(0)v,v) >= 0","(A_(0)v,v)=0<=>v=0],[EEalpha^(2) > 0" such that "(A_(0)v,v) >= alpha^(2)(v","v)","quadalpha^(2)=(1)/(C_(F)(Omega))]:}\begin{gathered}
\left(A_{0} u, v\right)=\int_{\Omega} \nabla u \cdot \nabla v \mathrm{~d} \Omega=\left(u, A_{0} v\right),\left(A_{0} v, v\right) \geq 0,\left(A_{0} v, v\right)=0 \Leftrightarrow v=0 \\
\exists \alpha^{2}>0 \text { such that }\left(A_{0} v, v\right) \geq \alpha^{2}(v, v), \quad \alpha^{2}=\frac{1}{C_{F}(\Omega)}
\end{gathered}
where C_(F)(Omega)C_{F}(\Omega) is the constant in the Friedrichs inequality and (., ) denotes the scalar product in L_(2)(Omega)L_{2}(\Omega).
The energetic space H_(A_(0))H_{A_{0}} of the operator A_(0)A_{0} can be identified with the Sobolev space H_(0)^(1)(Omega)H_{0}^{1}(\Omega) endowed with energetic norm and energetic scalar product, respectively [6]:
{:[H_(A_(0))=H_(0)^(1)(Omega)={v inH^(1)∣v=0" on "del Omega(" in the trace sense ")}],[||v||_(A_(0))^(2)=int_(Omega)|grad v|^(2)dOmega;(u","v)_(A_(0))=int_(Omega)grad u*grad vdOmega]:}\begin{gathered}
H_{A_{0}}=H_{0}^{1}(\Omega)=\left\{v \in H^{1} \mid v=0 \text { on } \partial \Omega(\text { in the trace sense })\right\} \\
\|v\|_{A_{0}}^{2}=\int_{\Omega}|\nabla v|^{2} \mathrm{~d} \Omega ;(u, v)_{A_{0}}=\int_{\Omega} \nabla u \cdot \nabla v \mathrm{~d} \Omega
\end{gathered}
According to the properties from Remark 1 and using the theorem of the minimum of the energy functional F_(0)(V)F_{0}(V) on H_(A_(0))H_{A_{0}}, the operatorial equation (5) is equivalent to the following variational problem [6] :
Remark 2. The solution widetilde(v)inH_(A_(0))\widetilde{v} \in H_{A_{0}} of problem (6), which exists and is unique, is the generalized solution of problem (3)-(4) and has the form
which is of NN-order approximation for widetilde(v)\widetilde{v}. Here a_(k),k=1,2,dots,Na_{k}, k=1,2, \ldots, N, are unknown functions on [-x_(0),x_(1)]\left[-x_{0}, x_{1}\right] and phi_(k),k=1,2,dots,N\phi_{k}, k=1,2, \ldots, N, are known functions on Omega\Omega belonging to H_(A_(0))H_{A_{0}}, or to D(A_(0))D\left(A_{0}\right) if the considered problem can be formulated in D(A_(0))D\left(A_{0}\right). These functions have to be chosen so that conditions (4) for v_(N)v_{N} be valid.
According to the Kantorovich procedure:
a) The trial functions phi_(k),k=1,2,dots,N\phi_{k}, k=1,2, \ldots, N, are chosen from a complete (nonorthonormal) system of functions {phi_(k)}_(k=1)^(oo)\left\{\phi_{k}\right\}_{k=1}^{\infty} and satisfy the conditions phi_(k)(x,y)=0\phi_{k}(x, y)=0 on del Omega\partial \Omega, excluding the lines x=+-x_(0)x= \pm x_{0}. Then the trial functions can be chosen in the form
{:(9)phi_(k)(x","y)=[y-y_(w)(x)]y^(k)","k=1","2","dots","N:}\begin{equation*}
\phi_{k}(x, y)=\left[y-y_{w}(x)\right] y^{k}, k=1,2, \ldots, N \tag{9}
\end{equation*}
b) The functions a_(k)a_{k} satisfy the following system of ordinary differential equations, [1] :
By substituting A_(0),V_(N),f_(0)A_{0}, V_{N}, f_{0} and phi_(k)\phi_{k} with their expressions and performing some calculations, the differential problem (10)-(11) becomes
If we choose N=1N=1 (i.e. i=k=1i=k=1 ) and we write x=x_(0)t,y_(w)(x)=w(t)=alpha_(0)x_(0)t++beta_(0),a_(1)(x)=u(t),t in(-1,1)=Ix=x_{0} t, y_{w}(x)=w(t)=\alpha_{0} x_{0} t+ +\beta_{0}, a_{1}(x)=u(t), t \in(-1,1)=I, we obtain the following ordinary differential equation and the boundary conditions:
{:[(14)Au-=-(d)/((d)t)(w^(5)(t)(du)/((d)t))+10x_(0)^(2)w^(3)(t)u(t)=5qw(t)w^('2)(t)","quad t in(-1","1)],[(15)u(-1)=0","u(1)=0]:}\begin{gather*}
A u \equiv-\frac{\mathrm{d}}{\mathrm{~d} t}\left(w^{5}(t) \frac{\mathrm{d} u}{\mathrm{~d} t}\right)+10 x_{0}^{2} w^{3}(t) u(t)=5 q w(t) w^{\prime 2}(t), \quad t \in(-1,1) \tag{14}\\
u(-1)=0, u(1)=0 \tag{15}
\end{gather*}
This problem can be written in the operatorial form
{:(16)Au=f",":}\begin{equation*}
A u=f, \tag{16}
\end{equation*}
Taking into account that the operator AA is linear, symmetric and positive definite on D(A)D(A) and its energetic space H_(A)=H_(0)^(1)(I)H_{A}=H_{0}^{1}(I) is endowed with the energetic norm ||*||_(A)\|\cdot\|_{A} (and the energetic scalar product {:(.,)_(A)),[6]\left.(.,)_{A}\right),[6],
||u||_(A)^(2)=(u,u)_(A)=int_(-1)^(1)(w^(5)u^('2)+10x_(0)^(2)w^(3)u^(2))dt\|u\|_{A}^{2}=(u, u)_{A}=\int_{-1}^{1}\left(w^{5} u^{\prime 2}+10 x_{0}^{2} w^{3} u^{2}\right) \mathrm{d} t
it follows that the operatorial equation (i.c. the boundary value problem (14)-(15)) is equivalent to the variational problem
{:(17)F(u)=||u||_(A)^(2)-10 qint_(-1)^(1)w(t)w^('2)(t)u(t)dt rarr" minimum on "H_(A):}\begin{equation*}
F(u)=\|u\|_{A}^{2}-10 q \int_{-1}^{1} w(t) w^{\prime 2}(t) u(t) \mathrm{d} t \rightarrow \text { minimum on } H_{A} \tag{17}
\end{equation*}
b) Ritz algorithm. With given trial functions varphi_(k)(1),k= bar(1,n)[{varphi_(k)}_(k=1)^(oo):}\varphi_{k}(1), k=\overline{1, n}\left[\left\{\varphi_{k}\right\}_{k=1}^{\infty}\right. is a complete base in H_(A)H_{A} ], we construct the subspace H_(A)^((n))=span{varphi_(1),dots,varphi_(n)}H_{A}^{(n)}=\operatorname{span}\left\{\varphi_{1}, \ldots, \varphi_{n}\right\} and we choose for the solution tilde(u)\tilde{u} of (17) the Ritz approximate solution u_(n)inH_(A)^((n))u_{n} \in H_{A}^{(n)}, [5] in the form
The unknown coefficients c_(k),k= bar(1,n)c_{k}, k=\overline{1, n} are obtained using the Ritz procedure by solving the linear system of algebraic equations (Ritz system)
Remark 3. Since H=L_(2)(I)H=L_{2}(I) is a separable space and H_(A)H_{A} is also separable, there will also exist complete systems of functions {varphi_(k)}_(k=1)^(oo)\left\{\varphi_{k}\right\}_{k=1}^{\infty} in H_(A)H_{A}.
The trial functions are chosen to be of the for:
varphi_(k)(t)=(1)/(k pi)sin k pi t,quad t in[-1,1],quad k= bar(1,n)\varphi_{k}(t)=\frac{1}{k \pi} \sin k \pi t, \quad t \in[-1,1], \quad k=\overline{1, n}
where nn is a given natural number ; varphi_(k)inH_(A)\varphi_{k} \in H_{A}.
The coefficients of the Ritz system (19) are
{:[2K_(jk)=int_(-1)^(1)[w^(5)(t)+(10x_(0)^(2))/(jkpi^(2))w^(3)(t)]cos(j-k)pi tdt+],[+int_(-1)^(1)[w^(5)(t)-(10x_(0))/(jkpi^(2))w^(3)(t)]cos(j+k)pi tdt","j","k= bar(1,n)]:}\begin{aligned}
& 2 K_{j k}=\int_{-1}^{1}\left[w^{5}(t)+\frac{10 x_{0}^{2}}{j k \pi^{2}} w^{3}(t)\right] \cos (j-k) \pi t \mathrm{~d} t+ \\
& +\int_{-1}^{1}\left[w^{5}(t)-\frac{10 x_{0}}{j k \pi^{2}} w^{3}(t)\right] \cos (j+k) \pi t \mathrm{~d} t, j, k=\overline{1, n}
\end{aligned}
In order to calculate these coefficients and the right hand side of (19), the following exact formulas are successively obtained
{:[I_(m)^((5))=int_(-1)^(1)w^(5)(t)cos m pi tdt=],[=((-1)^(m))/(m^(2)pi^(2)){(w^(5))^(')(1)-(w^(5))^(')(-1)-(1)/(m^(2)pi^(2))[(w^(5))^(''')(1)-(w^(5))^(''')(-1)]}=],[=((-1)^(m))/(m^(2))((alpha_(0)x_(0))/(pi))^(2)40beta_(0)[beta_(0)^(2)+alpha_(0)^(2)x_(0)^(2)-(6)/(m^(2))((alpha_(0)x_(0))/(pi))^(2)]","quad m= bar(1,2n)],[I_(m)^((3))=int_(-1)^(1)w^(3)(t)cos m pi tdt=((-1)^(m))/(m^(2)pi^(2))[(w^(3))^(')(1)-(w^(3))^(')(-1)]=],[=((-1)^(m))/(m^(2))12beta_(0)((alpha_(0)x_(0))/(pi))^(2)","quad m= bar(1,2n)],[(I_(0)^((s))=int_(-1)^(1)w^(s)(t)dt;quad s=3;s=5)],[b_(j)=(5qw^('2))/(j pi)int_(-1)^(1)w(t)sin j pi tdt=((-1)^(j+1))/(j^(2))10 q pi((alpha_(0)x_(0))/(pi))^(3)","quad j= bar(1,n)]:}\begin{gathered}
I_{m}^{(5)}=\int_{-1}^{1} w^{5}(t) \cos m \pi t \mathrm{~d} t= \\
=\frac{(-1)^{m}}{m^{2} \pi^{2}}\left\{\left(w^{5}\right)^{\prime}(1)-\left(w^{5}\right)^{\prime}(-1)-\frac{1}{m^{2} \pi^{2}}\left[\left(w^{5}\right)^{\prime \prime \prime}(1)-\left(w^{5}\right)^{\prime \prime \prime}(-1)\right]\right\}= \\
=\frac{(-1)^{m}}{m^{2}}\left(\frac{\alpha_{0} x_{0}}{\pi}\right)^{2} 40 \beta_{0}\left[\beta_{0}^{2}+\alpha_{0}^{2} x_{0}^{2}-\frac{6}{m^{2}}\left(\frac{\alpha_{0} x_{0}}{\pi}\right)^{2}\right], \quad m=\overline{1,2 n} \\
I_{m}^{(3)}=\int_{-1}^{1} w^{3}(t) \cos m \pi t \mathrm{~d} t=\frac{(-1)^{m}}{m^{2} \pi^{2}}\left[\left(w^{3}\right)^{\prime}(1)-\left(w^{3}\right)^{\prime}(-1)\right]= \\
=\frac{(-1)^{m}}{m^{2}} 12 \beta_{0}\left(\frac{\alpha_{0} x_{0}}{\pi}\right)^{2}, \quad m=\overline{1,2 n} \\
\left(I_{0}^{(s)}=\int_{-1}^{1} w^{s}(t) \mathrm{d} t ; \quad s=3 ; s=5\right) \\
b_{j}=\frac{5 q w^{\prime 2}}{j \pi} \int_{-1}^{1} w(t) \sin j \pi t \mathrm{~d} t=\frac{(-1)^{j+1}}{j^{2}} 10 q \pi\left(\frac{\alpha_{0} x_{0}}{\pi}\right)^{3}, \quad j=\overline{1, n}
\end{gathered}
c) Numerical application. By assuming that x_(0)=1x_{0}=1, (i.e. x=1x=1 ), alpha_(0)=-(1)/(4)\alpha_{0}=-\frac{1}{4}, beta_(0)=(3)/(4)\beta_{0}=\frac{3}{4}, (i.e. y_(w)(x)=-(1)/(4)(x-3)y_{w}(x)=-\frac{1}{4}(x-3) ), n=3,q=1n=3, q=1 and taking into account the above expressions, we have
The approximation of the stream function given by Kantorovich-Ritz method is
{:(21)psi_(a)(x","y)={(1)/(y_(w)(x))-a_(1)(x)[y-y_(w)(x)]}y:}\begin{equation*}
\psi_{a}(x, y)=\left\{\frac{1}{y_{w}(x)}-a_{1}(x)\left[y-y_{w}(x)\right]\right\} y \tag{21}
\end{equation*}
d) Test. Error. The explicit approximate equations y=f(x,k)y=f(x, k) of the stream lines (obtained from psi_(a)(x,y)=k,k=\psi_{a}(x, y)=k, k= const., k in[0,1]k \in[0,1] ) in the Kantorovich-Ritz approximation are found by solving
taking into account that 0 <= y <= y_(w)(x)0 \leq y \leq y_{w}(x).
On the other hand, the exact equations of the stream lines are straight lines y=g(x,k)y=g(x, k), where g(x,k)=(k)/(4)(3-x)g(x, k)=\frac{k}{4}(3-x).
The approximate stream function (21) obtained by Kantorovich-Ritz method is tested in Table 1 which contains the values a_(1)(x)a_{1}(x) from (20) and also the errors e(x,k)=f(x,k)-g(x,k)e(x, k)=f(x, k)-g(x, k) with respect to a stream line (by considering k=(1)/(4),k=(1)/(2),k=(3)/(4)k=\frac{1}{4}, k=\frac{1}{2}, k=\frac{3}{4} ) for several values of x in[-1,1]x \in[-1,1]. One can observe that these errors are small and consequently, the exact stream function in the case of two plane walls is well approximated by Psi_(a)\Psi_{a} given in (21).
4. CONCLUSIONS
It was shown that the Kantorovich-Ritz method can be successfully applied for the incompressible potential fluid flow between two walls. In order to calculate the approximation of the stream function we obtained : 1^(@)1^{\circ}. A mathematical model (3)-(4) for the stream function psi\psi of a steady state two-dimensional flow in a bounded domain; 2^(@)2^{\circ}. Two-points boundary value problem (12)-(13) for a system of NN ordinary differential equations with respect to the variable coefficients a_(k)(x),k= bar(1,N)a_{k}(x), k=\overline{1, N} of the Kantorovich method (for the NN-order approximation) considering the trial functions of the form (9); 3^(@)3^{\circ}. For the first order Kantorovich approximation on a domain with two plane solid walls, the Ritz variational method is applied and the Ritz algebraic system is constructed by choosing trigonometric trial functions (in the nn-order Ritz approximation); 4^(@)4^{\circ}. In the numerical application we effectively found the Ritz solution (20), the approximate stream function (21) and the approximate equation of the stream lines (22), in order to test the exactity of the Kantorovich-Ritz approximate method (Table 1).
REFERENCES
N.M Beliaev and A.A. Riadno, Methods of Theory of Heat Conduction, 1, Moscow, Vyshaia Skola, 1982 (in Russian).
P. Brădeauu, Mecanica fluidelor, Ed. Tehnică, Bucureşti, 1973.
L.E. Elsgolts, Differential Equations and the Calculus of Variations, Mir Publishers, Moscow, English transl., 1977.
L.V. Kantorovich and V.I. Krylov, Approximate Methods of Higher Analysis, Fizmatgiz, 1962 (in Russian).
S.G. Mikhlin, Variational Methods in Mathematical Physics, Nauka, Moscow, 1970 (in Russian).
S. G. Mikhlin, Ecuatii cu derivate parțiale, Ed. Științifică și Enciclopedică, Bucuresti,1973.