{"title":"Reproducing kernel Banach space defined by the minimal norm property and applications to partial differential equation theory","authors":"Tomasz Łukasz Żynda","doi":"10.1515/gmj-2023-2095","DOIUrl":null,"url":null,"abstract":"It it well known that a Hilbert space <jats:italic>V</jats:italic> of functions defined on <jats:italic>U</jats:italic> is a reproducing kernel Hilbert space if and only if for any <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>z</m:mi> <m:mo>∈</m:mo> <m:mi>U</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_gmj-2023-2095_eq_0240.png\" /> <jats:tex-math>{z\\in U}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, in the set <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:msub> <m:mi>V</m:mi> <m:mi>z</m:mi> </m:msub> <m:mo>:=</m:mo> <m:mrow> <m:mo stretchy=\"false\">{</m:mo> <m:mrow> <m:mi>f</m:mi> <m:mo>∈</m:mo> <m:mi>V</m:mi> </m:mrow> <m:mo>∣</m:mo> <m:mrow> <m:mrow> <m:mi>f</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>z</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mn>1</m:mn> </m:mrow> <m:mo stretchy=\"false\">}</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_gmj-2023-2095_eq_0132.png\" /> <jats:tex-math>{V_{z}:=\\{f\\in V\\mid f(z)=1\\}}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, if non-empty, there is exactly one element with minimal norm and there is a direct connection between the reproducing kernel and such an element. In this paper, we define reproducing kernel Banach space as a space which satisfies this property and the reproducing kernel of it using this relation. We show that this reproducing kernel share a lot of basic properties with the classical one. The notable exception is that in Banach spaces the equality <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:mi>K</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>z</m:mi> <m:mo>,</m:mo> <m:mi>w</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo>=</m:mo> <m:mover accent=\"true\"> <m:mrow> <m:mi>K</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>w</m:mi> <m:mo>,</m:mo> <m:mi>z</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo>¯</m:mo> </m:mover> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_gmj-2023-2095_eq_0105.png\" /> <jats:tex-math>{K(z,w)=\\overline{K(w,z)}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> does not have to be true without assumptions that <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:mrow> <m:mi>K</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>z</m:mi> <m:mo>,</m:mo> <m:mi>w</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo>≠</m:mo> <m:mn>0</m:mn> </m:mrow> <m:mo>,</m:mo> <m:mrow> <m:mrow> <m:mi>K</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>w</m:mi> <m:mo>,</m:mo> <m:mi>z</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo>≠</m:mo> <m:mn>0</m:mn> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_gmj-2023-2095_eq_0106.png\" /> <jats:tex-math>{K(z,w)\\neq 0,K(w,z)\\neq 0}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. We give sufficient and necessary conditions for a Banach space of functions to be a reproducing kernel Banach space. At the end, we give some examples including ones which show how reproducing kernel Banach spaces can be used to solve extremal problems of Partial Differential Equations Theory.","PeriodicalId":55101,"journal":{"name":"Georgian Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.8000,"publicationDate":"2023-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Georgian Mathematical Journal","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1515/gmj-2023-2095","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
It it well known that a Hilbert space V of functions defined on U is a reproducing kernel Hilbert space if and only if for any z∈U{z\in U}, in the set Vz:={f∈V∣f(z)=1}{V_{z}:=\{f\in V\mid f(z)=1\}}, if non-empty, there is exactly one element with minimal norm and there is a direct connection between the reproducing kernel and such an element. In this paper, we define reproducing kernel Banach space as a space which satisfies this property and the reproducing kernel of it using this relation. We show that this reproducing kernel share a lot of basic properties with the classical one. The notable exception is that in Banach spaces the equality K(z,w)=K(w,z)¯{K(z,w)=\overline{K(w,z)}} does not have to be true without assumptions that K(z,w)≠0,K(w,z)≠0{K(z,w)\neq 0,K(w,z)\neq 0}. We give sufficient and necessary conditions for a Banach space of functions to be a reproducing kernel Banach space. At the end, we give some examples including ones which show how reproducing kernel Banach spaces can be used to solve extremal problems of Partial Differential Equations Theory.
期刊介绍:
The Georgian Mathematical Journal was founded by the Georgian National Academy of Sciences and A. Razmadze Mathematical Institute, and is jointly produced with De Gruyter. The concern of this international journal is the publication of research articles of best scientific standard in pure and applied mathematics. Special emphasis is put on the presentation of results obtained by Georgian mathematicians.