{"title":"半平面内受诺伊曼边界条件控制的热方程的可控性问题与点式控制","authors":"Larissa Fardigola, Kateryna Khalina","doi":"arxiv-2409.10169","DOIUrl":null,"url":null,"abstract":"In the paper, the problems of controllability and approximate controllability\nare studied for the control system $w_t=\\Delta w$,\n$w_{x_1}(0,x_2,t)=u(t)\\delta(x_2)$, $x_1>0$, $x_2\\in\\mathbb R$, $t\\in(0,T)$,\nwhere $u\\in L^\\infty(0,T)$ is a control. To this aid, it is investigated the\nset $\\mathcal{R}_T(0)\\subset L^2((0,+\\infty)\\times\\mathbb R)$ of its end states\nwhich are reachable from $0$. It is established that a function\n$f\\in\\mathcal{R}_T(0)$ can be represented in the form $f(x)=g\\big(|x|^2\\big)$\na.e. in $(0,+\\infty)\\times\\mathbb R$ where $g\\in L^2(0,+\\infty)$. In fact, we\nreduce the problem dealing with functions from $L^2((0,+\\infty)\\times\\mathbb\nR)$ to a problem dealing with functions from $L^2(0,+\\infty)$. Both a necessary\nand sufficient condition for controllability and a sufficient condition for\napproximate controllability in a given time $T$ under a control $u$ bounded by\na given constant are obtained in terms of solvability of a Markov power moment\nproblem. Using the Laguerre functions (forming an orthonormal basis of\n$L^2(0,+\\infty)$), necessary and sufficient conditions for approximate\ncontrollability and numerical solutions to the approximate controllability\nproblem are obtained. It is also shown that there is no initial state that is\nnull-controllable in a given time $T$. The results are illustrated by an\nexample.","PeriodicalId":501286,"journal":{"name":"arXiv - MATH - Optimization and Control","volume":"187 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Controllability Problems for the Heat Equation in a Half-Plane Controlled by the Neumann Boundary Condition with a Point-Wise Control\",\"authors\":\"Larissa Fardigola, Kateryna Khalina\",\"doi\":\"arxiv-2409.10169\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In the paper, the problems of controllability and approximate controllability\\nare studied for the control system $w_t=\\\\Delta w$,\\n$w_{x_1}(0,x_2,t)=u(t)\\\\delta(x_2)$, $x_1>0$, $x_2\\\\in\\\\mathbb R$, $t\\\\in(0,T)$,\\nwhere $u\\\\in L^\\\\infty(0,T)$ is a control. To this aid, it is investigated the\\nset $\\\\mathcal{R}_T(0)\\\\subset L^2((0,+\\\\infty)\\\\times\\\\mathbb R)$ of its end states\\nwhich are reachable from $0$. It is established that a function\\n$f\\\\in\\\\mathcal{R}_T(0)$ can be represented in the form $f(x)=g\\\\big(|x|^2\\\\big)$\\na.e. in $(0,+\\\\infty)\\\\times\\\\mathbb R$ where $g\\\\in L^2(0,+\\\\infty)$. In fact, we\\nreduce the problem dealing with functions from $L^2((0,+\\\\infty)\\\\times\\\\mathbb\\nR)$ to a problem dealing with functions from $L^2(0,+\\\\infty)$. Both a necessary\\nand sufficient condition for controllability and a sufficient condition for\\napproximate controllability in a given time $T$ under a control $u$ bounded by\\na given constant are obtained in terms of solvability of a Markov power moment\\nproblem. Using the Laguerre functions (forming an orthonormal basis of\\n$L^2(0,+\\\\infty)$), necessary and sufficient conditions for approximate\\ncontrollability and numerical solutions to the approximate controllability\\nproblem are obtained. It is also shown that there is no initial state that is\\nnull-controllable in a given time $T$. The results are illustrated by an\\nexample.\",\"PeriodicalId\":501286,\"journal\":{\"name\":\"arXiv - MATH - Optimization and Control\",\"volume\":\"187 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Optimization and Control\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.10169\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Optimization and Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.10169","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Controllability Problems for the Heat Equation in a Half-Plane Controlled by the Neumann Boundary Condition with a Point-Wise Control
In the paper, the problems of controllability and approximate controllability
are studied for the control system $w_t=\Delta w$,
$w_{x_1}(0,x_2,t)=u(t)\delta(x_2)$, $x_1>0$, $x_2\in\mathbb R$, $t\in(0,T)$,
where $u\in L^\infty(0,T)$ is a control. To this aid, it is investigated the
set $\mathcal{R}_T(0)\subset L^2((0,+\infty)\times\mathbb R)$ of its end states
which are reachable from $0$. It is established that a function
$f\in\mathcal{R}_T(0)$ can be represented in the form $f(x)=g\big(|x|^2\big)$
a.e. in $(0,+\infty)\times\mathbb R$ where $g\in L^2(0,+\infty)$. In fact, we
reduce the problem dealing with functions from $L^2((0,+\infty)\times\mathbb
R)$ to a problem dealing with functions from $L^2(0,+\infty)$. Both a necessary
and sufficient condition for controllability and a sufficient condition for
approximate controllability in a given time $T$ under a control $u$ bounded by
a given constant are obtained in terms of solvability of a Markov power moment
problem. Using the Laguerre functions (forming an orthonormal basis of
$L^2(0,+\infty)$), necessary and sufficient conditions for approximate
controllability and numerical solutions to the approximate controllability
problem are obtained. It is also shown that there is no initial state that is
null-controllable in a given time $T$. The results are illustrated by an
example.