On a boundary control problem for a pseudo-parabolic equation

Farrukh Dekhkonov; Farrukh Dekhkonov

doi:10.3934/cam.2023015

Communications in Analysis and Mechanics

2023, Volume 15, Issue 2: 289-299. doi: 10.3934/cam.2023015

Previous Article Next Article

Research article Special Issues

On a boundary control problem for a pseudo-parabolic equation

Farrukh Dekhkonov ^,

Department of Mathematics, Namangan State University, Namangan, Uzbekistan

Received: 14 April 2023 Revised: 03 June 2023 Accepted: 13 June 2023 Published: 19 June 2023
35K70, 35K05

Previously, boundary control problems for parabolic type equations were considered. A portion of the thin rod boundary has a temperature-controlled heater. Its mode of operation should be found so that the average temperature in some region reaches a certain value. In this article, we consider the boundary control problem for the pseudo-parabolic equation. The value of the solution with the control parameter is given in the boundary of the interval. Control constraints are given such that the average value of the solution in considered domain takes a given value. The auxiliary problem is solved by the method of separation of variables, and the problem under consideration is reduced to the Volterra integral equation. The existence theorem of admissible control is proved by the Laplace transform method.

Keywords:

Citation: Farrukh Dekhkonov. On a boundary control problem for a pseudo-parabolic equation[J]. Communications in Analysis and Mechanics, 2023, 15(2): 289-299. doi: 10.3934/cam.2023015

Related Papers:

[1]	Farrukh Dekhkonov . On one boundary control problem for a pseudo-parabolic equation in a two-dimensional domain. Communications in Analysis and Mechanics, 2025, 17(1): 1-14. doi: 10.3934/cam.2025001
[2]	Yonghui Zou . Global regularity of solutions to the 2D steady compressible Prandtl equations. Communications in Analysis and Mechanics, 2023, 15(4): 695-715. doi: 10.3934/cam.2023034
[3]	Huiyang Xu . Existence and blow-up of solutions for finitely degenerate semilinear parabolic equations with singular potentials. Communications in Analysis and Mechanics, 2023, 15(2): 132-161. doi: 10.3934/cam.2023008
[4]	Yao Sun, Pan Wang, Xinru Lu, Bo Chen . A boundary integral equation method for the fluid-solid interaction problem. Communications in Analysis and Mechanics, 2023, 15(4): 716-742. doi: 10.3934/cam.2023035
[5]	Ho-Sik Lee, Youchan Kim . Boundary Riesz potential estimates for parabolic equations with measurable nonlinearities. Communications in Analysis and Mechanics, 2025, 17(1): 61-99. doi: 10.3934/cam.2025004
[6]	Yuxuan Chen . Global dynamical behavior of solutions for finite degenerate fourth-order parabolic equations with mean curvature nonlinearity. Communications in Analysis and Mechanics, 2023, 15(4): 658-694. doi: 10.3934/cam.2023033
[7]	Xiulan Wu, Yaxin Zhao, Xiaoxin Yang . On a singular parabolic $ p $-Laplacian equation with logarithmic nonlinearity. Communications in Analysis and Mechanics, 2024, 16(3): 528-553. doi: 10.3934/cam.2024025
[8]	Yang Liu, Xiao Long, Li Zhang . Long-time dynamics for a coupled system modeling the oscillations of suspension bridges. Communications in Analysis and Mechanics, 2025, 17(1): 15-40. doi: 10.3934/cam.2025002
[9]	Andrea Brugnoli, Ghislain Haine, Denis Matignon . Stokes-Dirac structures for distributed parameter port-Hamiltonian systems: An analytical viewpoint. Communications in Analysis and Mechanics, 2023, 15(3): 362-387. doi: 10.3934/cam.2023018
[10]	Enzo Vitillaro . Nontrivial solutions for the Laplace equation with a nonlinear Goldstein-Wentzell boundary condition. Communications in Analysis and Mechanics, 2023, 15(4): 811-830. doi: 10.3934/cam.2023039

Abstract

1. Introduction and statement of the problem

Consider the pseudo-parabolic equation in the domain $\Omega = \{(x, t): 0 < x < l, \ \ t > 0 \}$ :

$\begin{equation} \frac{\partial u}{\partial t} = \frac{\partial^{2} }{\partial t \partial x}\bigg(k(x)\frac{\partial u}{\partial x}\bigg) + \frac{\partial}{\partial x}\bigg(k(x)\frac{\partial u}{\partial x}\bigg), \quad (x, t) \in\Omega, \end{equation}$

(1.1)

with boundary conditions

$\begin{equation} u(0, t) = \ \mu(t), \quad u(l, t) = 0, \quad t > 0, \end{equation}$

(1.2)

and initial condition

$\begin{equation} u(x, 0) = 0, \quad 0\leq x\leq l. \end{equation}$

(1.3)

Assume that the function $k(x)\in C^{2}\big([0, l]\big)$ satisfies the conditions

$k(x) > 0, \quad k'(x)\leq 0, \quad 0\leq x \leq l.$

The condition (1.2) means that there is a magnitude of output given by a measurable real-valued function $\mu(t)$ (See ^[1,2,3] for more information).

Definition 1. If function $\mu(t)\in W_{2}^{1}(\mathbb{R_{+}})$ satisfies the conditions $\mu(0) = 0$ and $|\mu(t)| \leq 1$ , we say that this function is an admissible control.

Problem B. For the given function $\theta(t)$ Problem B consists looking for the admissible control $\mu(t)$ such that the solution $u(x, t)$ of the initial-boundary problem (1.1)-(1.3) exists and for all $t\geq0$ satisfies the equation

$\begin{equation} \int\limits_0^l u(x, t)\, dx = \theta(t). \end{equation}$

(1.4)

One of the models is the theory of incompressible simple fluids with decaying memory, which can be described by equation (1) (see ^[1]). In ^[2], stability, uniqueness, and availability of solutions of some classical problems for the considered equation were studied (see also ^[4,5]). Point control problems for parabolic and pseudo-parabolic equations were considered. Some problems with distributed parameters impulse control problems for systems were studied in ^[3,6]. More recent results concerned with this problem were established in ^{[7,8,9,10,11,12,13,14,15]}. Detailed information on the problems of optimal control for distributed parameter systems is given in ^[16] and in the monographs ^{[17,18,19,20]}. General numerical optimization and optimal boundary control have been studied in a great number of publications such as ^[21]. The practical approaches to optimal control of the heat conduction equation are described in publications like ^[22].

Control problems for parabolic type equations are considered in works ^[13,14] and ^[15]. In this work, such control problems are considered for the pseudo-parabolic equation.

Consider the following eigenvalue problem

$\begin{equation} \frac{d}{d x}\bigg(k(x)\frac{d v_{k}(x)}{d x}\bigg) = -\lambda_{k}\, v_{k}(x), \quad 0 < x < l, \end{equation}$

(1.5)

with boundary condition

$\begin{equation} v_{k}(0) = v_{k}(l) = 0, \quad 0\leq x\leq l. \end{equation}$

(1.6)

It is well-know that this problem is self-adjoint in $L_{2}(\Omega)$ and there exists a sequence of eigenvalues $\{\lambda_{k}\}$ so that $0 < \lambda_{1}\leq\lambda_{2}\leq...\leq\lambda_{k}\rightarrow \infty, \ \ k\rightarrow \infty$ . The corresponding eigenfuction $v_{k}$ form a complete orthonormal system $\{v_{k}\}_{k \epsilon N}$ in $L_{2}(\Omega)$ and these function belong to $C(\bar{\Omega})$ , where $\bar{\Omega} = \Omega\cup\partial\Omega$ (see, ^[23,24]).

2. Main integral equation

Definition 2. By the solution of the problem (1.1)–(1.3) we understand the function $u(x, t)$ represented in the form

$\begin{equation} u(x, t) = \frac{l-x}{l}\mu(t) -v(x, t), \end{equation}$

(2.1)

where the function $v(x, t) \in C_{x, t}^{2, 1}(\Omega)\cap C(\bar{\Omega})$ , $v_{x} \in C(\bar{\Omega})$ is the solution to the problem:

$v_{t} = \frac{\partial^{2}}{\partial t\partial x}\bigg(k(x)\frac{\partial v}{\partial x}\bigg) + \frac{\partial}{\partial x}\bigg(k(x)\frac{\partial v}{\partial x}\bigg)+$

$+\frac{k'(x)}{l}\mu(t)+\frac{k'(x)}{l}\mu'(t)+\frac{l-x}{l}\mu'(t),$

with boundary conditions

$v(0, t) = 0, \quad v(l, t) = 0,$

and initial condition

$v(x, 0) = 0.$

Set

$\begin{equation} \beta_k = \big(\lambda_k a_k -b_k\big)\, \gamma_k, \end{equation}$

(2.2)

where

$\begin{equation} a_{k} = \int\limits_0^l \frac{l-x}{l}v_{k}(x)dx, \quad b_{k} = \int\limits_0^l \frac{k'(x)}{l}\, v_{k}(x)dx, \end{equation}$

(2.3)

and

$\begin{equation} \gamma_k = \int\limits_0^l v_{k}(x)dx. \end{equation}$

(2.4)

Consequently, we have

$\begin{equation} v(x, t) = \sum\limits_{k = 1}^\infty \frac{v_{k}(x)}{1+\lambda_{k}} \int\limits_0^t e^{-\mu_{k}\, (t-s)}\big(\mu'(s)\, a_{k}+\mu'(s)\, b_{k}+\mu(s)\, b_{k}\big)\, ds, \end{equation}$

(2.5)

where $a_k$ , $b_k$ defined by (2.3) and $\mu_{k} = \frac{\lambda_{k}}{1+\lambda_{k}}$ .

From (2.1) and (2.5) we get the solution of the problem (1.1)–(1.3) (see, ^[23,25]):

$u(x, t) = \frac{l-x}{l}\mu(t) -\sum\limits_{k = 1}^\infty \frac{v_{k}(x)}{1+\lambda_{k}} \int\limits_0^t e^{-\mu_{k}\, (t-s)}\big(\mu'(s)\, a_{k}+\mu'(s)\, b_{k}+\mu(s)\, b_{k}\big)\, ds.$

According to condition (1.4) and the solution of the problem (1.1)-(1.3), we may write

$\begin{array}{c} \theta = \int\limits_0^l u(x, t) dx = \mu(t) \int\limits_0^l \frac{l-x}{l}dx \\ -\sum\limits_{k = 1}^\infty \frac{1}{1+\lambda_{k}}\, \bigg( \int\limits_0^t e^{-\mu_{k}\, (t-s)}\big(\mu'(s)\, a_{k}+\mu'(s)\, b_{k}+\mu(s)\, b_{k}\big)\, ds\bigg)\int\limits_0^l v_{k}(x)dx \\ = \mu(t) \int\limits_0^l \frac{l-x}{l}dx-\sum\limits_{k = 1}^\infty \frac{b_{k}\, \gamma_{k}}{1+\lambda_{k}} \int\limits_0^t e^{-\mu_{k}(t-s)}\mu(s)ds \\ -\sum\limits_{k = 1}^\infty \frac{(a_{k}+b_{k})\, \gamma_{k}}{1+\lambda_{k}} \int\limits_0^t e^{-\mu_{k}(t-s)}\, \mu'(s)ds = \mu(t) \int\limits_0^l \frac{l-x}{l}dx \\ -\sum\limits_{k = 1}^\infty \frac{b_{k}\, \gamma_{k}}{1+\lambda_{k}} \int\limits_0^t e^{-\mu_{k}(t-s)}\mu(s)ds-\mu(t)\, \sum\limits_{k = 1}^\infty \frac{(a_{k}+b_{k})\, \gamma_{k}}{1+\lambda_{k}} \\ +\sum\limits_{k = 1}^\infty \frac{(a_{k}+b_{k})\, \lambda_{k}\, \gamma_{k}}{(1+\lambda_{k})^{2}} \int\limits_0^t e^{-\mu_{k}(t-s)}\, \mu(s)ds. \end{array}$

(2.6)

where $\gamma_{k}$ defined by (2.4).

Note that

$\begin{equation} \int\limits_0^l \frac{l-x}{l}dx = \int\limits_0^l \bigg( \sum\limits_{k = 1}^\infty a_k\, v_{k}(x)\bigg)dx = \sum\limits_{k = 1}^\infty a_{k}\, \gamma_{k}. \end{equation}$

(2.7)

Thus, from (2.6) and (2.7) we get

$\begin{equation} \theta(t) = \mu(t)\, \sum\limits_{k = 1}^\infty \frac{\beta_{k}}{1+\lambda_{k}}+ \sum\limits_{k = 1}^\infty \frac{\beta_{k}}{(1+\lambda_{k})^{2}} \int\limits_0^t e^{-\mu_{k}(t-s)}\, \mu(s)ds, \quad t > 0, \end{equation}$

(2.8)

where $\beta_{k}$ defined by (2.2).

Set

$\begin{equation} B(t) = \sum\limits_{k = 1}^\infty \frac{\beta_{k}}{(1+\lambda_{k})^{2}}\, e^{-\mu_{k}\, t}, \quad t > 0, \end{equation}$

(2.9)

and

$\delta = \sum\limits_{k = 1}^\infty \frac{\beta_{k}}{1+\lambda_{k}}.$

According to (2.8) and (2.9), we have the following integral equation

$\begin{equation} \delta\, \mu(t)+\int\limits_0^t B(t-s)\, \mu(s)ds = \theta(t), \quad t > 0. \end{equation}$

(2.10)

Proposition 1. For the cofficients $\{\beta_{k}\}_{k = 1}^{\infty}$ the estimate

$0\leq \beta_k \leq C, \quad k = 1, 2, ...$

is valid.

Proof. Step 1. Now we use (1.5) and (2.3). Then consider the following equality

$\lambda_{k}\, a_{k} = \int\limits_0^l \frac{l-x}{l}\lambda_{k}\, v_{k}(x)dx = - \int\limits_0^l \frac{l-x}{l}\frac{d}{d x}\bigg(k(x)\, \frac{d v_{k}(x)}{d x}\bigg)dx$

$= -\bigg( \frac{l-x}{l}k(x)v_{k}'(x)\bigg|_{x = 0}^{x = l}+ \frac{1}{l} \int\limits_0^l k(x)\, v_{k}'(x)dx\bigg) = k(0)v_{k}'(0)-\frac{1}{l}\int\limits_0^l k(x)\, v_{k}'(x)dx$

$= k(0)v_{k}'(0)-\frac{1}{l}\bigg(k(l)v_{k}(l)-k(0)v_{k}(0)\bigg)+\int\limits_0^l \frac{k'(x)}{l}\, v_{k}(x)dx$

$= k(0)v_{k}'(0)+b_{k}.$

Then we have

$\begin{equation} \lambda_{k}\, a_{k}-b_{k} = k(0)v_{k}'(0). \end{equation}$

(2.11)

Step 2. Now we integrate the Eq. (1.5) from $0$ to $x$

$k(x)v_k'(x)-k(0)v_k'(0) = -\lambda_k\int\limits_0^xv_k(\tau)d\tau,$

and according to $k(x) > 0, \ x\in[0, l]$ , we can write

$\begin{equation} v_k'(x)-\frac{1}{k(x)}k(0)v_k'(0) = -\frac{\lambda_k}{k(x)}\int\limits_0^x v_k(\tau)d\tau. \end{equation}$

(2.12)

Thus, we integrate the Eq. (2.12) from $0$ to $l$ . Then we have

$\begin{equation} v_k(l)-v_k(0)-k(0)v_k'(0)\int\limits_0^l\frac{dx}{k(x)} = -\lambda_k\int\limits_0^l\frac{1}{k(x)}\Big(\int\limits_0^x v_k(\tau)d\tau\Big)dx. \end{equation}$

(2.13)

From (1.6) and (2.13) we get

$k(0)v_k'(0)\int\limits_0^l\frac{dx}{k(x)} = \lambda_k\int\limits_0^l\frac{1}{k(x)}\Big(\int\limits_0^x v_k(\tau)d\tau\Big)dx.$

Then

$\begin{equation} k(0)v_k'(0) = \lambda_k\int\limits_0^l G(\tau)v_k(\tau)d\tau, \end{equation}$

(2.14)

where

$G(\tau) = \int\limits_\tau^l\frac{dx}{k(x)}\Big(\int\limits_0^l\frac{dx}{k(x)}\Big)^{-1}.$

According to $G(\tau) > 0$ and from (2.14) we have (see, ^[24])

$\begin{equation} v_k'(0)\int\limits_0^l v_k(\tau)d\tau \geq 0. \end{equation}$

(2.15)

Consequently, from (2.11) and (2.15) we get the following estimate

$\beta_{k} = (\lambda_{k}\, b_{k}-a_{k})\, \gamma_{k} = k(0)v_{k}'(0)\cdot \int\limits_0^l v_{k}(x)dx \geq0.$

Step 3. It is clear that if $k(x)\in C^1([0, l])$ , we may write the estimate (see, ^[24,26])

$\max\limits_{0\leq x\leq l}|v_k'(x)|\leq C\lambda_k^{1/2}.$

Therefore,

$\begin{equation} |v_k'(0)|\leq C\lambda_k^{1/2}, \quad |v_k'(l)|\leq C\lambda_k^{1/2}, \end{equation}$

(2.16)

Then from Eq. (1.5), we can write

$\begin{equation} k(l)v_k'(l)-k(0)v_k'(0) = -\lambda_k\int\limits_0^lv_k(x)dx = -\lambda_k\, \gamma_{k}. \end{equation}$

(2.17)

According to (2.16) and (2.17) we have the estimate

$|\gamma_k|\leq \Big|\frac{1}{\lambda_k}\Big(k(l)v_k'(l)-k(0)v_k'(0)\Big)\Big|\leq C\lambda_k^{-1/2}.$

Then

$\beta_k \leq k(0)\, \big| v_k'(0)\gamma_k\big| \leq C.$

Proposition 2. A function $B(t)$ is continuous on the half-line $t\geq 0$ .

Proof. Indeed, according to Proposition 1 and (2.9), we can write

$0 < B(t)\leq \text{const} \sum\limits_{k = 1}^\infty \frac{1}{(1+\lambda_{k})^{2}}.$

3. Main result

Denote by $W(M)$ the set of function $\theta\in W_{2}^{2}(-\infty, +\infty)$ , $\theta(t) = 0$ for $t\leq 0$ which satisfies the condition

$\|\theta\|_{W_{2}^{2}(R_{+})}\leq M.$

Theorem 1. There exists $M > 0$ such that for any function $\theta\in W(M)$ the solution $\mu(t)$ of the equation (2.10) exists, and satisfies condition

$|\mu(t)|\ \leq\ 1.$

We write integral equation (2.10)

$\delta\, \mu(t)+\int\limits_0^t B(t-s)\mu(s)ds = \theta(t), \quad t > 0.$

By definition of the Laplace transform we have

$\widetilde{\mu}(p) = \int\limits_0^\infty e^{-pt}\, \mu(t)\, dt.$

Applying the Laplace transform to the second kind Volterra integral equation (2.10) and taking into account the properties of the transform convolution we get

$\widetilde{\theta}(p) = \delta\, \widetilde{\mu}(p)+\widetilde{B}(p)\, \widetilde{\mu}(p).$

Consequently, we obtain

$\widetilde{\mu}(p) = \frac{\widetilde{\theta}(p)}{\delta+\widetilde{B}(p)}, \quad \text{where} \ \ p = a+i\xi, \quad a > 0,$

and

$\begin{equation} \mu(t) = \frac{1}{2\pi i}\int\limits_{a-i\xi}^{a+i\xi}\frac{\widetilde{\theta}(p)}{\delta+\widetilde{B}(p)}\, e^{pt}dp = \frac{1}{2\pi}\int\limits_{-\infty}^{+\infty}\frac{\widetilde{\theta}(a+i\xi)}{\delta+\widetilde{B}(a+i\xi)}\, e^{(a+i\xi)t}d\xi. \end{equation}$

(3.1)

Then we can write

$\widetilde{B}(p) = \int\limits_0^\infty B(t)e^{-pt}\, dt = \sum\limits_{k = 1}^\infty \frac{\beta_{k}}{(1+\lambda_{k})^{2}}\int\limits_0^\infty e^{-(p+\mu_{k})t}\, dt = \sum\limits_{k = 1}^\infty \frac{\rho_{k}}{p+\mu_{k}},$

where $\rho_{k} = \frac{\beta_{k}}{(1+\lambda_{k})^{2}}\geq 0$ and

$\widetilde{B}(a+i\xi) = \sum\limits_{k = 1}^\infty \frac{\rho_{k}}{a+\mu_{k}+i\xi} = \sum\limits_{k = 1}^\infty \frac{\rho_{k}\, (a+\mu_{k})}{(a+\mu_{k})^{2}+\xi^{2}}-i\xi\, \sum\limits_{k = 1}^\infty \frac{\rho_{k}}{(a+\mu_{k})^{2}+\xi^{2}}.$

It is clear that

$(a+\mu_{k})^{2}+\xi^{2}\leq [(a+\mu_{k})^{2}+1](1+\xi^{2}),$

and we have the inequality

$\begin{equation} \frac{1}{(a+\mu_{k})^{2}+\xi^{2}} \geq \frac{1}{1+\xi^{2}}\, \frac{1}{(a+\mu_{k})^{2}+1}. \end{equation}$

(3.2)

Consequently, according to (3.2) we can obtain the estimates

$\begin{array}{c} | \text{Re}(\delta+\widetilde{B}(a+i\xi))| = \delta+\sum\limits_{k = 1}^\infty \frac{\rho_{k}\, (a+\mu_{k})}{(a+\mu_{k})^{2}+\xi^{2}} \\ \geq \frac{1}{1+\xi^{2}}\, \sum\limits_{k = 1}^\infty \frac{\rho_{k}\, (a+\mu_{k})}{(a+\mu_{k})^{2}+1} = \frac{C_{1a}}{1+\xi^{2}}, \end{array}$

(3.3)

and

$\begin{array}{c} | \text{Im}(\delta+\widetilde{B}(a+i\xi))| = |\xi|\sum\limits_{k = 1}^\infty \frac{\rho_{k}}{(a+\mu_{k})^{2}+\xi^{2}} \\ \geq \frac{|\xi|}{1+\xi^{2}}\, \sum\limits_{k = 1}^\infty \frac{\rho_{k}}{(a+\mu_{k})^{2}+1} = \frac{C_{2a}\, |\xi|}{1+\xi^{2}}, \end{array}$

(3.4)

where $C_{1a}$ , $C_{2a}$ as follows

$C_{1a} = \sum\limits_{k = 1}^\infty \frac{\rho_{k}\, (a+\mu_{k})}{(a+\mu_{k})^{2}+1}, \ \ C_{2a} = \sum\limits_{k = 1}^\infty \frac{\rho_{k}}{(a+\mu_{k})^{2}+1}.$

From (3.3) and (3.4), we have the estimate

$|\delta+\widetilde{B}(a+i\xi)|^{2} = | \text{Re}(\delta+\widetilde{B}(a+i\xi))|^{2}+| \text{Im}(\delta+\widetilde{B}(a+i\xi))|^{2}\geq \frac{ \text{min}(C_{1a}^{2}, C_{2a}^{2})}{1+\xi^{2}},$

and

$\begin{equation} |\delta+\widetilde{B}(a+i\xi)|\geq \frac{C_{a}}{\sqrt{1+\xi^{2}}}, \quad \text{where} \quad C_{a} = \text{min}(C_{1a}, C_{2a}). \end{equation}$

(3.5)

Then, by passing to the limit at $a\rightarrow 0$ from (3.1), we can obtain the equality

$\begin{equation} \mu(t) = \frac{1}{2\pi}\int\limits_{-\infty}^{+\infty}\frac{\widetilde{\theta}(i\xi)}{\delta+\widetilde{B}(i\xi)}\, e^{i\xi t}d\xi. \end{equation}$

(3.6)

Lemma 1. Let $\theta(t)\in W(M)$ . Then for the image of the function $\theta(t)$ the following inequality

$\int\limits_{-\infty}^{+\infty} |\widetilde{\theta}(i\xi)|\sqrt{1+\xi^{2}}d\xi \leq C\, \| \theta\|_{W_{2}^{2}(R_{+})},$

is valid.

Proof. We use integration by parts in the integral representing the image of the given function $\theta(t)$

$\widetilde{\theta}(a+i\xi) = \int\limits_0^\infty e^{-(a+i\xi)t}\theta(t)\, dt = - \theta(t)\, \frac{e^{-(a+i\xi)t}}{a+i\xi}\bigg|_{t = 0}^{t = \infty}+\frac{1}{a+i\xi}\int\limits_0^\infty e^{-(a+i\xi)t}\, \theta'(t)\, dt.$

Then using the obtained inequality and multiplying by the corresponding coefficient we get

$(a+i\xi)\, \widetilde{\theta}(a+i\xi) = \int\limits_0^\infty e^{-(a+i\xi)t}\, \theta'(t)\, dt,$

and for $a\rightarrow 0$ we have

$i\xi\, \widetilde{\theta}(i\xi) = \int\limits_0^\infty e^{-i\xi t}\, \theta'(t)\, dt.$

Also, we can write the following equality

$(i\xi)^{2}\, \widetilde{\theta}(i\xi) = \int\limits_0^\infty e^{-i\xi t}\, \theta''(t)\, dt.$

Then we have

$\begin{equation} \int\limits_{-\infty}^{+\infty} |\widetilde{\theta}(i\xi)|^{2}(1+\xi^{2})^{2}d\xi\leq C_{1}\, \| \theta\|_{W_{2}^{2}(R_{+})}^{2}. \end{equation}$

(3.7)

Consequently, according to (3.7) we get the following estimate

$\int\limits_{-\infty}^{+\infty} |\widetilde{\theta}(i\xi)|\sqrt{1+\xi^{2}}d\xi = \int\limits_{-\infty}^{+\infty} \frac{|\widetilde{\theta}(i\xi)|(1+\xi^{2})}{\sqrt{1+\xi^{2}}}$

$\leq \bigg(\int\limits_{-\infty}^{+\infty} |\widetilde{\theta}(i\xi)|^{2}(1+\xi^{2})^{2}d\xi\bigg)^{1/2}\bigg(\int\limits_{-\infty}^{+\infty} \frac{1}{1+\xi^{2}}d\xi\bigg)^{1/2} \leq C\, \| \theta\|_{W_{2}^{2}(R_{+})}.$

Proof of the Theorem 1. We prove that $\mu\in W_2^1(\mathbb{R}_+)$ . Indeed, according to (3.5) and (3.6), we obtain

$\int\limits_{-\infty}^{+\infty}|\widetilde{\mu}(\xi)|^2 (1+|\xi|^2)\, d\xi\ = \ \int\limits_{-\infty}^{+\infty} \left|\frac{\widetilde{\theta}(i\xi)}{\delta+\widetilde{B}(i\xi)}\right|^2 (1+|\xi|^2)\, d\xi\$

$\leq C \int\limits_{-\infty}^{+\infty} |\widetilde{\theta}(i\xi)|^2 (1+|\xi|^2)^2\, d\xi\ = \ C\|\theta\|_{W_2^2(\mathbb{R})}^2.$

Further,

$|\mu(t) - \mu(s)|\ = \ \left|\int\limits_s^t \mu'(\tau)\, d\tau\right|\ \leq \ \|\mu'\|_{L_2} \sqrt{t-s}.$

Hence, $\mu\in \text{Lip}\, \alpha$ , where $\alpha = 1/2$ . Then from (3.5), (3.6) and (3.7), we have

$|\mu(t)|\leq \frac{1}{2\pi}\int\limits_{-\infty}^{+\infty}\frac{|\widetilde{\theta}(i\xi)|}{|\delta+\widetilde{B}(i\xi)|}d\xi\leq \frac{1}{2\pi C_{0}}\int\limits_{-\infty}^{+\infty} |\widetilde{\theta}(i\xi)|\sqrt{1+\xi^{2}}d\xi$

$\leq \frac{C}{2\pi C_{0}}\| \theta\|_{W_{2}^{2}(R_{+})}\leq \frac{C\, M}{2\pi C_{0}} = 1,$

as $M$ we took

$M = \frac{2\pi C_{0}}{C}.$

4. Conclusion

An auxiliary boundary value problem for the pseudo-parabolic equation was considered. The restriction for the admissible control is given in the integral form. By the separation variables method, the desired problem was reduced to Volterra's integral equation. The last equation was solved by the Laplace transform method. Theorem on the existence of an admissible control is proved. Later, it is also interesting to consider this problem in the $n-$ dimensional domain. We assume that the methods used in the present problem can also be used in the $n-$ dimensional domain.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Conflict of interest

The author declare there is no conflict of interest.

References

[1]	B. D. Coleman, W. Noll, An Approximation Theorem for Functionals, with Applications in Continuum Mechanics, Arch. Rational Mech. Anal., 6 (1960), 355–370. https://doi.org/10.1007/BF00276168 doi: 10.1007/BF00276168
[2]	B. D. Coleman, R. J. Duffin, V. J. Mizel, Instability, uniqueness, and nonexistence theorems for the equation on a strip, Arch. Rational Mech. Anal., 19 (1965), 100–116. https://doi.org/10.1007/BF00282277 doi: 10.1007/BF00282277
[3]	L. W. White, Point control approximations of parabolic problems and pseudo-parabolic problems, Appl. Anal., 12 (1981), 251–263. https://doi.org/10.1080/00036818108839365 doi: 10.1080/00036818108839365
[4]	I. E. Egorov, E. S. Efimova, Boundary value problem for third order equation not presented with respect to the highest derivative, Mat. Zamet., 24 (2017), 28–36. https://doi.org/10.25587/SVFU.2018.4.11314 doi: 10.25587/SVFU.2018.4.11314
[5]	A. I. Kozhanov, The existence of regular solutions of the first boundary value Problem for one class of Sobolev type equations with alternating direction, Mat. Zamet. YaGU, 2 (1997), 39–48.
[6]	S. I. Lyashko, On the solvability of pseudo-parabolic equations, Mat., 9 (1985), 71–72.
[7]	S. Albeverio, Sh. A. Alimov, On one time-optimal control problem associated with the heat exchange process, Appl. Math. Opt., 57 (2008), 58–68. https://doi.org/10.1007/s00245-007-9008-7 doi: 10.1007/s00245-007-9008-7
[8]	Sh. A. Alimov, On a control problem associated with the heat transfer process, Eurasian. Math. J., 1 (2010), 17–30.
[9]	Sh. A. Alimov, F. N. Dekhkonov, On the time-optimal control of the heat exchange process, Uzbek Mathematical Journal, 2 (2019), 4–17. https://doi.org/10.29229/uzmj.2019-2-1 doi: 10.29229/uzmj.2019-2-1
[10]	Yu. V. Egorov, Optimal control in Banach spaces, Dokl. Akad. Nauk SSSR, 150 (1967), 241–244.
[11]	Z. K. Fayazova, Boundary control of the heat transfer process in the space, Izv. Vyssh. Uchebe. Zaved. Mat., 12 (2019), 82–90. https://doi.org/10.26907/0021-3446-2019-12-82-90 doi: 10.26907/0021-3446-2019-12-82-90
[12]	Z. K. Fayazova, Boundary control for a Psevdo-Parabolic equation, Mathematical Notes of NEFU, 12 (2018), 40–45. https://doi.org/10.25587/SVFU.2019.20.57.008 doi: 10.25587/SVFU.2019.20.57.008
[13]	F. N. Dekhkonov, E.I. Kuchkorov, On the time-optimal control problem associated with the heating process of a thin rod, Lobachevskii. J. Math., 44 (2023), 1126–1136. https://doi.org/10.1134/S1995080223030101 doi: 10.1134/S1995080223030101
[14]	F. N. Dekhkonov, On a time-optimal control of thermal processes in a boundary value problem, Lobachevskii. J. Math., 43 (2022), 192–198. https://doi.org/10.1134/S1995080222040096 doi: 10.1134/S1995080222040096
[15]	F. N. Dekhkonov, On the control problem associated with the heating process, Mathematical notes of NEFU, 29 (2022), 62–71. https://doi.org/10.25587/SVFU.2023.82.41.005 doi: 10.25587/SVFU.2023.82.41.005
[16]	H. O. Fattorini, Time-optimal control of solutions of operational differential equations, DSIAM J. Control, 2 (1965), 49–65.
[17]	H. O. Fattorini, Time and norm optimal controls: a survey of recent results and open problems, Acta Math. Sci. Ser. B Engl. Ed., 31 (2011), 2203–2218. http://dx.doi.org/10.1016/S0252-9602(11)60394-9 doi: 10.1016/S0252-9602(11)60394-9
[18]	A. V. Fursikov, Optimal Control of Distributed Systems, Theory and Applications, Translations of Math. Monographs, Amer. Math. Soc., Providence, Rhode Island, (2000). https://doi.org/10.1090/mmono/187D
[19]	A. Friedman, Optimal control for parabolic equations, J. Math. Anal. Appl., 18 (1967), 479–491. https://doi.org/10.1016/0022-247X(67)90040-6 doi: 10.1016/0022-247X(67)90040-6
[20]	J. L. Lions, P. Lelong, Contróle optimal de systèmes gouvernés par des équations aux dérivées partielles, Dunod Gauthier-Villars, Paris, (1968).
[21]	A. Altmüller, L. Grüne, Distributed and boundary model predictive control for the heat equation, Technical report, University of Bayreuth, Department of Mathematics, (2012). https://doi.org/10.1002/gamm.201210010 doi: 10.1002/gamm.201210010
[22]	S. Dubljevic, P. D. Christofides, Predictive control of parabolic PDEs with boundary control actuation, Chem. Eng. Sci., 61 (2006), 6239–6248. https://doi.org/10.1016/j.ces.2006.05.041 doi: 10.1016/j.ces.2006.05.041
[23]	A. N. Tikhonov, A. A. Samarsky, Equations of Mathematical Physics, Nauka, Moscow, (1966).
[24]	F. G. Tricomi, Differential equations, Moscow, (1962).
[25]	V. S. Vladimirov, Equations of Mathematical Physics, Marcel Dekker, New York, (1971). https://doi.org/10.1063/1.3022385
[26]	V. E. Vladykina, Spectral characteristics of the Sturm-Liouville operator under minimal restrictions on smoothness of coefficients, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 6 (2019), 23–28. https://doi.org/10.3103/S0027132219060044 doi: 10.3103/S0027132219060044

This article has been cited by:

1.	Jiazhuo Cheng, Qiru Wang, Global existence and finite-time blowup for a mixed pseudo-parabolic r(x)-Laplacian equation, 2024, 13, 2191-950X, 10.1515/anona-2023-0133
2.	Guangwei Du, Xinjing Wang, Monotonicity of solutions for parabolic equations involving nonlocal Monge-Ampère operator, 2024, 13, 2191-950X, 10.1515/anona-2023-0135
3.	Yuxuan Chen, Global dynamical behavior of solutions for finite degenerate fourth-order parabolic equations with mean curvature nonlinearity, 2023, 15, 2836-3310, 658, 10.3934/cam.2023033
4.	Farrukh Dekhkonov, On one boundary control problem for a pseudo-parabolic equation in a two-dimensional domain, 2025, 17, 2836-3310, 1, 10.3934/cam.2025001

Reader Comments

Your name:*

Email:*
© 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Communications in Analysis and Mechanics

0.7

Metrics

Article views(1319) PDF downloads(96) Cited by(4)

Preview PDF

Download XML

Export Citation

Article outline

Show full outline

Communications in Analysis and Mechanics

On a boundary control problem for a pseudo-parabolic equation

Related Papers:

Abstract

1. Introduction and statement of the problem

2. Main integral equation

3. Main result

4. Conclusion

Use of AI tools declaration

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Catalog

Abstract

1. Introduction and statement of the problem

2. Main integral equation

3. Main result

4. Conclusion

Use of AI tools declaration

Conflict of interest

References

Communications in Analysis and Mechanics

On a boundary control problem for a pseudo-parabolic equation

Related Papers:

Abstract

1. Introduction and statement of the problem

2. Main integral equation

3. Main result

4. Conclusion

Use of AI tools declaration

Conflict of interest

References

This article has been cited by:

Reader Comments

通讯作者: 陈斌, bchen63@163.com

Metrics

Other Articles By Authors

Related pages

Tools

Export File

Citation

Format

Content

Catalog

Abstract

1. Introduction and statement of the problem

2. Main integral equation

3. Main result

4. Conclusion

Use of AI tools declaration

Conflict of interest

References