<?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">OJOp</journal-id><journal-title-group><journal-title>Open Journal of Optimization</journal-title></journal-title-group><issn pub-type="epub">2325-7105</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/ojop.2022.112002</article-id><article-id pub-id-type="publisher-id">OJOp-117790</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Computer Science&amp;Communications</subject><subject> Engineering</subject><subject> Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  On the Regularization Method for Solving Ill-Posed Problems with Unbounded Operators
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Nguyen</surname><given-names>Van Kinh</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Faculty of Applied Science, Ho Chi Minh University of Food Industry, Ho Chi Minh City, Vietnam</addr-line></aff><pub-date pub-type="epub"><day>15</day><month>06</month><year>2022</year></pub-date><volume>11</volume><issue>02</issue><fpage>7</fpage><lpage>14</lpage><history><date date-type="received"><day>16,</day>	<month>April</month>	<year>2022</year></date><date date-type="rev-recd"><day>11,</day>	<month>June</month>	<year>2022</year>	</date><date date-type="accepted"><day>15,</day>	<month>June</month>	<year>2022</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><html>
 <head></head>
 
  Let 
  <img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGoAAAASCAYAAACzUEs7AAAGe0lEQVRYCe2Yf2xT1xXH+w8SpdVga2LKKBUqKVNUVtbCCl3XFkQho1B+KWQdA5HhFDYK25iB/lLSBArODwgNLGnCj9Z1Q9OVlKQMgjRDgUKwwVOTQUiC3PxUPJLIia0kVoyerz6tgx2/F54dK51WZYulq3fevefXPd9zzr3P9zDyGxYRuGdYeDniJCNADZMkGAFqBKgIIyA6uHz0Qy62isgEeqs4/oGJJm9k7P8rXBFWlKDVZqMzwljSa6fKYsZstmC5YqXiRgOOXrWQ3aa6QIf+YrfaomJOtNqw+R2Qag+ydfeXdCk4vuOL59/cuOLz2YyloqFPd3djJRazGbPFiq0j0s1H4Ed3I5V98fHb8jqp+8rSZ/tKTRtqORgRUFJtHkvjc2iK2FcvjqMriYpewt6zFzhTeoTUtb/iJd1n1EvBjYimw6xafYiWwfRKteQtjSen34EeTm9eQor1dlDZd6Z6aTj6WyaNnkN2wx0nRfsnrJ21nN2nanGqRW+oNkUXlelzGRu9ksJWny1B94VtxP06D6tDFiCZ/sGB6q0kJ24CY+OL6JEJhie93Ez/BdErCukMMHpryXpOw7OZN/wZI1GZMpv5OU2Ex6mXypw4JoyNp0jmgLs0kccTS3AF9P8nnp5zbIp5hI1nPCA1UPLODo7VDSEZ3C5cg4m1G1iqmcu+RgHeegqTs/gyzGYGAaqL8rx00jdMJ2bjWTyyYHjritiyJo1/9CMhWxTNHJgXxcKDt2QgSFQkT+feGWlc9yWNdJ20p6ay+Zxcq0yHn+wqzyM9fQPTYzZyVsYqGvby/KRETrgHygg6rpXy3u5kXtu2la06HbrA2PoWxkr1jL2jxc3f1z3EY7piivW7OF4Xjneg3eC7tz6fdWvyqVJt934+cYuDL45nYX4z1R+kkPvPuzYSVAjhrucChymbbJOdU0kPMzPtOgq3pXaqv7LhVCkH0XaEl6Ln8q4vW/p/EtdSn2R07HbMvmxzGlg67hkyvw7dU4TDRHa2CfupJB6e6Qc4oM/9NxIeeIIUReAFzZ/+mVVbDnO+xo7D6cQpHy4XbsUmAsqCT2dRAg9oFlNgG4QxKKJCubmcPItH4/RccshjIGcVtOTORzNjOa+/f4PBCjBkRYnmYlL1ZTR3tlCwaBxx+e1yK2Fp58crGf/0bmoUGHTx6ctR/Cj+47526K3exVP3L+C9thAbEc0Up+opa+6kpWAR4+LyUXjgKSPpoYloT8rS9vZl3vpdJrUKu2FdVS5K9ZSkLuOxcc+ypy6MEuHkZvkZTCZT6HH6EK9MG8N9U1eSfalNacf/5jAuJ/rnO6iKICfUgZJsHNuTxWGjEaMhg4QYDauPywKiajYw2UPp2ok8kVyhqEDReJBFmqlsOnvnhif9622evC+OAkdATv6UsB3bQ9ZhI0ajgYyEGDSrj6PwwHOGP0zWsKZENttbyu+TCod2bkmNnMhIp+TrBv76QhQvHmqVtW25b76zvw1raSFGX3xCjQ+zSZw2hlE/nsP2zxsHKPC9OilKGH93p1Lh9E2pANWN1ZBLmd2f6Z4veDUmFl35YMXpt+A+zfrJP2HLRRm/00LGopkse9dK4CIumvbx/P1z2Nd/kwt62G01kFtm9wfKwxevxhCrK1e2h96TrJs4hU3yM0608smGl8mqCN/vg5b8lK+S9Ol83nfb81KrfxrNio9QzaG7hNUmJKpz5jNl9l840RSiXFzHWDXhp7xxNcT6ALUKoERnFSWpC4ldoKfCd/h47FgL1zNt9IMszjxPfSDKgLfmCNrlb1LWEdQo2q9z4u15RI16lPid+9mfncHO5G1s/mMKhqsOZYZ6TqGd9LjSUdFJVUkqC2MXoK9wIvBgtxayftpoHlycyXm5Ay4DS344jwMD7vai8zIHNq7iN6sT0SYlodVqgyNpE/lXZQlED/UX3mf7C1N45rVL9HXhLhunt89mzL3T2WCw0CJnD241LCVuHeWVFTu45FRn62k0U7RlFj8Y9TM2f3btjl111v5ZBVD9s5EQoouWhlZlO4pErp+ng8L4ySQUDe2zVapIZsasNK5FlpD9Vv8bhOhsoskV4uwdogNDB2qIBuVirlItv/zTOcW1X74emhbY85YRt/em6ld8aLnhu/K9AoW3hv2JOk6GaBEhw+q9SY52G6YwH4ghZYfpwvcLlO+sqy9m1x4Tkf4nC26qPtpJbvn/EUrf3vq+Ac00HF8E5TmeAAAAAElFTkSuQmCC" alt="" />
  <img src="Edit_811046b7-0762-4f12-966c-e5a3d8846777.png" width="131" height="28" alt="" /> be a linear, closed, and densely defined unbounded operator, where X and Y are Hilbert spaces. Assume that A is not boundedly invertible. Suppose the equation 
  <em>Au=f</em> is solvable, and instead of knowing exactly 
  <em>f</em> only know its approximation 
  <img src="Edit_220e9cad-d89e-4180-9988-b6c69b842cb5.png" width="41" height="28" alt="" /> satisfies the condition: 
  <img src="Edit_3e5f6073-bc56-40db-9026-90ea66aeb069.png" width="167" height="28" alt="" /> In this paper, we are interested a regularization method to solve the approximation solution of this equation. This approximation is a unique global minimizer
  <img src="Edit_15818f48-7853-4dfe-b316-f27708eb401b.png" width="51" height="27" alt="" /> of the functional 
  <img src="Edit_ffdfe817-b439-4c94-a07b-fa46414c9b31.png" width="169" height="28" alt="" />, for any 
  <img src="Edit_24197fbb-c993-40cd-99b9-edb35fbefcce.png" width="66" height="28" alt="" /> , defined as follows: 
  <img src="Edit_1f4361de-3602-4d6c-ab91-795fd6076cc5.png" width="157" height="28" alt="" /> . We also study the stability of this method when the regularization parameter is selected a priori and a posteriori. At the same time, we give an application of this method to the weak derivative operator equation in Hilbert space
  <img src="Edit_e49f44fa-a04e-4bb2-a189-270cf9daa477.png" width="91" height="28" alt="" />.
 
</html></p></abstract><kwd-group><kwd>Ill-Posed Problem</kwd><kwd> Regularization Method</kwd><kwd> Unbounded Linear Operator</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>Let A : D ( A ) ⊂ X → Y be a linear, closed, densely defined unbounded operator, where X and Y are Hilbert spaces. Consider the equation</p><p>A u = f (1)</p><p>Problem-solving solution of Equation (1) is called ill-posed [<xref ref-type="bibr" rid="scirp.117790-ref1">1</xref>] if A is not boundedly invertible. This may happen if the null space N ( A ) = { u : A u = 0 } is not trivial, i.e. A is not injective, or if A is injective but A − 1 is unbounded, i.e. the range of A, R ( A ) is not closed [<xref ref-type="bibr" rid="scirp.117790-ref2">2</xref>].</p><p>If ‖ A ‖ &lt; ∞ , problem-solving stable solution of Equation (1) has been extensively studied in the literature in detail ( [<xref ref-type="bibr" rid="scirp.117790-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref6">6</xref>] and references therein).</p><p>If f δ , the noisy data, are given</p><p>‖ f δ − f ‖ ≤ δ (2)</p><p>is a stable approximation to the unique minimal norn solution to Equation (1) was constructed by several methods (variational regularization, quasi solution, iterative regularization, ... [<xref ref-type="bibr" rid="scirp.117790-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref6">6</xref>] and references therein).</p><p>If A is a linear, closed, densely defined unbounded operator, problem (1) has been some recent research [<xref ref-type="bibr" rid="scirp.117790-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref8">8</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref9">9</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref10">10</xref>] [<xref ref-type="bibr" rid="scirp.117790-ref11">11</xref>], however, there are still many open problems such as parameter choice rules of regularization method with the linear closed, densely defined unbounded operator A : D ( A ) ⊂ X → Y .</p><p>Our aim is to study problem-solving stable approximation solution of Equation (1) when operator A is a linear, closed, and densely defined from space Hilbert X into space Hilbert Y. We shall present the regularization method for solving the problem (1), we shall present a priori and a posteriori parameter choice rules of regularization; at the same time give an application to the weak derivative operator equation.</p><p>The paper structure consists of 3 sections: Section 1 the introduction briefly summarizes the recent research results and come up with the problem that needs to be studied; Section 2 presents some main results; Section 3 presents an application of this method.</p></sec><sec id="s2"><title>2. Some Main Results</title><p>Lemma 1. [<xref ref-type="bibr" rid="scirp.117790-ref2">2</xref>] Let A : D ( A ) ⊂ X → Y be a linear, closed, densely defined operator, where X and Y are Hilbert spaces, then</p><p>1) the operators T = A ∗ A and Q = A A ∗ are densely defined, self-adjoint;</p><p>2) A ∗ is closed, densely defined and A ∗ ∗ = A ;</p><p>3) the operators A ˜ : = ( I X + A ∗ A ) − 1 : X → Y , A A ˜ : X → Y are both defined on all of X and are bounded, σ ( A ˜ ) ⊆ [ 0,1 ] . Also, A ˜ is self-adjoint;</p><p>4) the operator A ^ : = ( I Y + A A ∗ ) − 1 : Y → X is bounded and self-adjoint and A ∗ A ^ : Y → X is bounded.</p><p>Lemma 2. Let A : D ( A ) ⊂ X → Y be a linear, closed, densely defined operator, where X and Y are Hilbert spaces. If f = A y , y ⊥ N ( A ) then y is unique.</p><p>Proof. Suppose y 1 , and y 2 satisfy f = A y 1 , y 1 ⊥ N ( A ) , and f = A y 2 , y 2 ⊥ N ( A ) then A ( y 1 − y 2 ) = 0 . Thus y 1 − y 2 ∈ N ( A ) . There exits u ∈ N ( A ) such that y 1 − y 2 = u imply 〈 y 1 − y 2 , u 〉 = 〈 y 1 , u 〉 − 〈 y 2 , u 〉 = 0 = 〈 u , u 〉 . Thus u = 0 , it follows that y 1 = y 2 .</p><p>Theorem 1. For any f ∈ Y , the problem</p><p>F ( u ) = ‖ A u − f ‖ 2 + α ‖ u ‖ 2 → min ,   α = const &gt; 0, (3)</p><p>has a unique solution u α = A ∗ ( A A ∗ + α I Y ) − 1 f , where I Y is the identity operator on Y.</p><p>Proof. Consider the equation</p><p>( A A ∗ + α I Y ) w α = f ,   α = const &gt; 0 (4)</p><p>which is uniquely solvable w α = ( A A ∗ + α I Y ) − 1 f (Lemma 1). Let u α = A ∗ w α then</p><p>A u α = A A ∗ ( A A ∗ + α I Y ) − 1 f = ( A A ∗ + α I Y ) ( A A ∗ + α I Y ) − 1 f − α I Y ( A A ∗ + α I Y ) − 1 f = f − α w α ,</p><p>or</p><p>A u α − f = − α w α .</p><p>We have</p><p>F ( u + v ) = ‖ A u − f ‖ 2 + α ‖ u ‖ 2 + ‖ A v ‖ 2 + α ‖ v ‖ 2 + 2 Re [ ( A u − f , A v ) + α ( u , v ) ] , (5)</p><p>for any v ∈ D ( A ) . If u = u α , then</p><p>( A u α − f , A v ) + α ( u α , v ) = − α ( w α , A v ) + α ( u α , v ) = − α ( A ∗ w α , v ) + α ( u α , v ) = 0. (6)</p><p>Thus Equation (6) implies</p><p>F ( u α + v ) = F ( u α ) + ‖ A v ‖ 2 + α ‖ v ‖ 2 ≥ F ( u α ) (7)</p><p>and F ( u α + v ) = F ( u α ) if and only if v = 0 , so u α is the unique minimier of F ( u ) .</p><p>Theorem 1 is proved.</p><p>Theorem 2. If f = A y , y ⊥ N ( A ) then</p><p>lim α → 0 ‖ u α − y ‖ = 0 ,   u α = A ∗ ( A A ∗ + α I ) − 1 f . (8)</p><p>Proof. It follows from Lemma 2, y is unique. Write Equation (4) as A ( A ∗ w α − y ) = − α w α . Apply A ∗ , which is possible because w α ∈ D ( A ∗ ) , we obtain</p><p>A ∗ A ( u α − y ) = − α u α . (9)</p><p>Multiply Equation (9) by u α − y , we obtain</p><p>( A ∗ A ( u α − y ) , u α − y ) = − α ( u α , u α − y )</p><p>or</p><p>‖ A ( u α − y ) ‖ 2 = − α ( ‖ u α ‖ 2 − ( u α , y ) ) . (10)</p><p>Since α &gt; 0 this implies</p><p>‖ u α ‖ 2 ≤ ( u α , y ) ,</p><p>so</p><p>‖ u α ‖ ≤ ‖ y ‖ ,   ∀ α &gt; 0.</p><p>Therefore one may assume (taking a subsequence) that u α weakly converges to an element z, u n : = u α n ⇀ z , as α n → 0 .</p><p>It follows from Equation (10) that</p><p>lim n → ∞ ‖ A ( u n − y ) ‖ = 0,   i . e .   lim n → ∞ ‖ A u n − f ‖ = 0.</p><p>We shall prove that z = y .</p><p>Let γ run through the set such that { A ∗ A γ } is dense in N ⊥ , where N : = N ( A ) . Note that N ( T ) = N ( A ) , where T = A ∗ A . Because of the formulas X = R ( T ) &#175; ⊕ N ( T ) the { γ } = D ( T ) is dense in X, and the set { T γ } is dense in N ⊥ .</p><p>Multiply the equation T ( u α − y ) = − α u α by γ and pass to the limit α → 0 . We obtain</p><p>( z − y , T γ ) = 0.</p><p>We have assume y ⊥ N . If z ⊥ N , then z − y ⊥ N and z − y ⊥ N ⊥ , so z − y = 0 .</p><p>One may always assume that z ⊥ N because T u α = T u α ˜ , where u α ˜ is the orthogonal projection of u α onto N ⊥ .</p><p>Thus, we have u n : = u α n ⇀ z , ‖ u n ‖ ≤ ‖ y ‖ . Thus implies lim n → ∞ ‖ u n − y ‖ = 0 .</p><p>For convenience for the reader we prove this claim. Since u n : = u α n ⇀ z , one gets ‖ y ‖ ≤ lim _ n → ∞ ‖ u n ‖ . The inequality ‖ u n ‖ ≤ ‖ y ‖ implies lim &#175; n → ∞ ‖ u n ‖ ≤ ‖ y ‖ . Therefore lim n → ∞ ‖ u n ‖ = ‖ y ‖ . This and the weakly converge u n : = u α n ⇀ z imply strong convergence</p><p>‖ u n − y ‖ 2 = ‖ u n ‖ 2 + ‖ y ‖ 2 − 2 Re ( u n − y ) → 0,   as   n → ∞ .</p><p>Theorem 2 is proved.</p><p>Theorem 3. If ‖ f δ − f ‖ ≤ δ , f = A y , y ⊥ N ( A ) and</p><p>F δ ( u ) = ‖ A u − f δ ‖ 2 + α ‖ u ‖ 2 = min , (11)</p><p>then there exists a unique global minimier u α , δ to (11) and lim δ → 0 ‖ u δ − y ‖ = 0 , where u δ : = u α ( δ ) , δ and α ( δ ) is properly chosen, in particular lim δ → 0 α ( δ ) = 0 .</p><p>Proof. It follows from Lemma 2, y is unique. The existence and uniqueness of the minimizer u α , δ of F δ ( u ) follows from Theorem 1 and u α , δ = A ∗ ( Q + α I Y ) − 1 f δ . We have</p><p>‖ u α , δ − y ‖ ≤ ‖ u α , δ − u α ‖ + ‖ u α − f ‖ .</p><p>By Theorem 2, ‖ u α − f ‖ : = η ( α ) → 0 , as α → 0 .</p><p>Let us estimate</p><p>‖ u α , δ − u α ‖ = ‖ A ∗ ( Q + α I Y ) − 1 ( f δ − f ) ‖ ≤ δ ‖ A ∗ ( Q + α I Y ) − 1 ‖ .</p><p>By the polar decomposition theorem [<xref ref-type="bibr" rid="scirp.117790-ref12">12</xref>], one has A ∗ = U Q 1 / 2 , where U is a partial isometry, so ‖ U ‖ ≤ 1 . One has,</p><p>‖ A ∗ ( Q + α I Y ) − 1 ‖ = ‖ U Q 1 / 2 ( Q + α I Y ) − 1 ‖ ≤ ‖ Q 1 / 2 ( Q + α I Y ) − 1 ‖ = max λ ≥ 0 c λ 1 / 2 λ + α = 1 2 α ,</p><p>where the spectral representation for Q was used.</p><p>Thus</p><p>‖ u α , δ − y ‖ ≤ δ 2 α + η ( α ) . (12)</p><p>For a fixed small δ &gt; 0 , choose α = α ( δ ) which minimizes the right side of Equation (12). Then lim δ → 0 α ( δ ) = 0 and lim δ → 0 ( δ 2 α ( δ ) + η ( α ( δ ) ) ) = 0.</p><p>Theorem 3 is proved.</p><p>Remark 1. We can also choose α ( δ ) = c δ k , with any k &lt; 2 and c = const &gt; 0 . The constant c can be arbitrary.</p><p>We can also choose α ( δ ) by a descrepancy principle. For example, consider the equation for finding α ( δ ) :</p><p>‖ A u α , δ − f δ ‖ = c δ ,   c = const &gt; 1.</p><p>We assume that ‖ f δ ‖ &gt; c δ .</p><p>That is the content of the following theorem.</p><p>Theorem 4. The equation</p><p>‖ A u α , δ − f δ ‖ = c δ ,   c = const &gt; 1 ,   ‖ f δ ‖ &gt; c δ , (13)</p><p>has a unique solution α = α ( δ ) &gt; 0 , lim δ → 0 α ( δ ) = 0 , and if u δ : = u α ( δ ) , δ , then lim δ → 0 ‖ u δ − y ‖ = 0 .</p><p>Proof. Let us prove that Equation (13) has a unique root α ( δ ) &gt; 0 , lim δ → 0 α ( δ ) = 0 . Indeed, using the spectial theorem [<xref ref-type="bibr" rid="scirp.117790-ref12">12</xref>], one gets</p><p>‖ A u α , δ − f δ ‖ 2 = ‖ [ A A ∗ ( Q + α I ) ] − 1 f δ ‖ 2 = ∫ 0 ∞ | s s + α − 1 | 2 d ( E s , f δ , f δ ) = α 2 ∫ 0 ∞ d ( E s , f δ , f δ ) ( s + α ) 2 : = g ( α , δ ) ,</p><p>where E s is the resolution of the identity of Q.</p><p>One has g ( ∞ , δ ) = ‖ f δ ‖ 2 &gt; c 2 δ δ , and g ( + 0 , δ ) = ‖ P N ∗ f δ ‖ 2 , where P N ∗ is the orthoprojector onto the subspace N ∗ = N ( Q ) = N ( A ∗ ) = R ( A ) ⊥ .</p><p>Since f ∈ R ( A ) and ‖ f δ − f ‖ ≤ δ , it follows that ‖ P N ∗ f δ ‖ ≤ δ , so</p><p>g ( + 0, δ ) ≤ δ 2 . The function g ( α , δ ) for a fixed δ &gt; 0 is a continuous strictly increasing function of α on [ 0, ∞ ) . Therefore there exists a unique α = α ( δ ) &gt; 0 which solves Equation (13) if ‖ f δ ‖ &gt; c δ and c &gt; 1 . Clearly lim δ → 0 α ( δ ) = 0 , because lim δ → 0 c α ( δ ) = 0 and the relation lim δ → 0 α 2 ( δ ) ∫ 0 ∞ d ( E s , f δ , f δ ) ( s + α ( δ ) ) 2 = 0 implies lim δ → 0 α ( δ ) = 0 . The function α = α ( δ ) is a monotonically growing function of δ with α ( + 0 ) = 0 .</p><p>Let us prove that lim δ → 0 ‖ u δ − y ‖ = 0 , where u δ : = u α ( δ ) , δ , and α ( δ ) solves Equation (13). By the definition of u δ , we get</p><p>‖ A u α − f δ ‖ 2 + α ( δ ) ‖ u δ ‖ 2 ≤ ‖ A y − f δ ‖ 2 + α ( δ ) ‖ y ‖ 2 = δ 2 + α ( δ ) ‖ y ‖ 2 .</p><p>Since ‖ A u α − f δ ‖ 2 = c 2 δ 2 &gt; δ 2 , it follows that ‖ u δ ‖ ≤ ‖ y ‖ . Thus u δ ⇀ z , and, as in the proof of Theorem 2, we obtain z = y and lim δ → 0 ‖ u δ − y ‖ = 0 .</p><p>Theorem 4 is proved.</p><p>Remark 2. Theorems 1 - 4 are well known in the case of a bounded operator A.</p><p>If A is bounded, then a necessary condition for the minimum of the functional f ( u ) = ‖ A u − f ‖ 2 + α ‖ u ‖ 2 is the equation</p><p>A ∗ A u + α u = A ∗ f . (14)</p><p>Hence in this case conditions are required f ∈ D ( A ∗ ) .</p><p>If A is unbounded, then f does not necessarily belong to D ( A ∗ ) , so Equation (14) may have no sence. Therefore, some changes in the usual theory are necessary. The changes are given in this paper. We prove, among other things, that for any f ∈ Y , in particular for f ∉ D ( A ∗ ) , the element u α = A ∗ ( A A ∗ + α I Y ) − 1 f is well defined for any α = const &gt; 0 , provided that A is a closed, linear, densely defined operator in Hilbert space (Theorem 1).</p></sec><sec id="s3"><title>3. Applications</title><p>As a simple concrete example of this type of approximation, consider differentiation in H = L 2 [ 0 , 1 ] .</p><p>We define the operator A : D ( A ) ⊂ H → H as follows</p><p>A f = d f d x ,   f ∈ D ( A ) ,</p><p>with D ( A ) = { f ∈ H : f   is   absolutely   continuous   on   [ 0,1 ]   and   f ′ ( x ) ∈ H } .</p><p>Then D ( A ) is dense in H since it contains the complete orthonormal set { sin n π x } n = 1 ∞ .</p><p>Clearly, A is a linear operator.</p><p>We show that A is a closed operator in Hilbert space H. Indeed, for suppose { f n } ⊂ D ( A ) and f n → f and f ′ n → g , in each case the convergence being in the L 2 [ 0,1 ] norm. Since</p><p>f n ( x ) = f n ( 0 ) + ∫ 0 x     f ′ n ( t ) d t ,</p><p>we see that the sequence of constant functions { f n ( 0 ) } converges in L 2 [ 0,1 ] and hence the numerical sequence { f n ( 0 ) } converges to some real number C.</p><p>Now define h ∈ D ( A ) by h ( x ) = C + ∫ 0 x     g ( t ) d t . Then, for any x ∈ [ 0,1 ] , we have by of the Cauchy-Schwarz inequality</p><p>| f n ( x ) − h ( x ) | = | f n ( 0 ) − C + ∫ 0 x ( f ′ n ( t ) − g ( t ) ) d t | ≤ | f n ( 0 ) − C | + ∫ 0 x | f ′ n ( t ) − g ( t ) | d t ≤ | f n ( 0 ) − C | + ‖ f ′ n − g ‖</p><p>and hence f n → h uniformly. Therefore, f = h ∈ D ( A ) and A f = f ′ = h ′ = g , verifying that the operator A is closed, linear, densely defined in L 2 [ 0,1 ] .</p><p>Let</p><p>D ∗ = { g ∈ D ( A ) : g ( 0 ) = g ( 1 ) = 0 } .</p><p>Then for f ∈ D ( A ) and g ∈ D ∗ , we have</p><p>〈 A f , g 〉 = ∫ 0 1     f ′ ( t ) g ( t ) d t = f ( t ) g ( t ) | 0 1 − ∫ 0 1     f ( t ) g ′ ( t ) d t = 〈 f , − g ′ 〉</p><p>Therefore D ∗ ⊂ D ( A ∗ ) and A ∗ g = − g ′ , for g ∈ D ∗ .</p><p>On the other hand, if g ∈ D ( A ∗ ) , let g ∗ = A ∗ g . Then</p><p>〈 A f , g 〉 = 〈 f , g ∗ 〉</p><p>for all f ∈ D ( A ) . In particular, for f ≡ 1 , we find that ∫ 0 1     g ∗ ( t ) d t = 0 .</p><p>Now let</p><p>h ( t ) = − ∫ 0 t     g ∗ ( s ) d s .</p><p>Then h ∈ D ∗ and A ∗ h = g ∗ = A ∗ g and hence h − g ∈ N ( A ∗ ) . Therefore, 〈 A f , h − g 〉 = 0 , for all f ∈ D ( A ) . But R ( A ) contains all continuous function and hence g = h ∈ D ∗ .</p><p>We conclude that</p><p>D ( A ∗ ) = D ∗ ,   and   A ∗ g = − g ′ .</p><p>According to Theorem 1, for any f ∈ Y = L 2 [ 0 , 1 ] , the problem</p><p>F ( u ) = ‖ A u − f ‖ 2 + α ‖ u ‖ 2 → min ,   α = const &gt; 0,</p><p>has a unique solution u α = A ∗ ( A A ∗ + α I ) − 1 f , where I is the identity operator on Y = L 2 [ 0,1 ] . f ∈ Y = L 2 [ 0 , 1 ] does not necessarily belong to D ( A ∗ ) .</p><p>It follows from Theorem 2, that if f = A y , y ⊥ N ( A ) then</p><p>lim α → 0 ‖ u α − y ‖ = 0 ,   u α = A ∗ ( A A ∗ + α I ) − 1 f .</p><p>It follows from Theorem 3, that if ‖ f δ − f ‖ ≤ δ , f = A y , and</p><p>F δ ( u ) = ‖ A u − f δ ‖ 2 + α ‖ u ‖ 2 = min , (15)</p><p>then there exists a unique global minimier u α , δ to Equation (15) and lim δ → 0 ‖ u δ − y ‖ = 0 , where u δ : = u α ( δ ) , δ and α ( δ ) is properly chosen, in particular lim δ → 0 α ( δ ) = 0 .</p><p>It follows from Theorem 4, that the equation</p><p>‖ A u α , δ − f δ ‖ = c δ ,   c = const &gt; 1 ,   ‖ f δ ‖ &gt; c δ ,</p><p>has a unique solution α = α ( δ ) &gt; 0 , lim δ → 0 α ( δ ) = 0 , and if u δ : = u α ( δ ) , δ , then lim δ → 0 ‖ u δ − y ‖ = 0 .</p></sec><sec id="s4"><title>Conflicts of Interest</title><p>The author declares no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s5"><title>Cite this paper</title><p>Van Kinh, N. (2022) On the Regularization Method for Solving Ill-Posed Problems with Unbounded Operators. Open Journal of Optimization, 11, 7-14. https://doi.org/10.4236/ojop.2022.112002</p></sec></body><back><ref-list><title>References</title><ref id="scirp.117790-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Tikhonov, A.N. and Arsenin, V.Ya. (1978) Solution of Ill-Posed Problems. John Wiley &amp; Sons, Hoboken.</mixed-citation></ref><ref id="scirp.117790-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Groetsch, C.W. (2006) Stable Approximate Evualuation of Unbounded Operators. Springer, Berlin. https://doi.org/10.1007/3-540-39942-9</mixed-citation></ref><ref id="scirp.117790-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Bakushinsky, A. and Goncharsky, A. (1994) Ill-Posed Problems: Theory and Applications. Springer, Berlin. https://doi.org/10.1007/978-94-011-1026-6</mixed-citation></ref><ref id="scirp.117790-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Engl, H.W., Hanke, M. and Neubauer, A. (2000) Regularization of Inverse Problems. Kluwer, Alphen aan den.</mixed-citation></ref><ref id="scirp.117790-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Morozov, V.A. (1984) Methods for Solving Incorrectly Posed Problems. Springer-Verlag, New York. https://doi.org/10.1007/978-1-4612-5280-1</mixed-citation></ref><ref id="scirp.117790-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Ramm, A.G. (2005) Inverse Problems. Springer-Verlag, New York.</mixed-citation></ref><ref id="scirp.117790-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Ramm, A.G. (2007) Ill-Posed Problems with Unbounded Operators. Journal of Mathematical Analysis and Applications, 325, 490-495. https://doi.org/10.1016/j.jmaa.2006.02.004</mixed-citation></ref><ref id="scirp.117790-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Van Kinh, N., Chuong, N.M. and Gorenflo, R. (1996) Regularization Method for Nonlinear Variational Inequalities. Proceedings of the First National Workshop “Optimization and Control”, Quinhon, May 27 - June 1, 1996, 53-64. (Preprint: Nr. A-89-28, Freie Universitat, Berlin).</mixed-citation></ref><ref id="scirp.117790-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Van Kinh, N. (2007) Lavrentiev Regularization Method for Nonlinear Ill-Posed Problems. Quy Nhon Uni. Journal of Science, No. 1, 13-28.</mixed-citation></ref><ref id="scirp.117790-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Van Kinh, N. (2014) On the Stable Method of Computing Values of Unbounded Operators. Journal Science of Ho Chi MInh City University of Food Industry, No. 2, 21-30.</mixed-citation></ref><ref id="scirp.117790-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Van Kinh, N. (2020) On the Stable Method Computing Values of Unbounded Operators. Open Journal of Optimization, 9, 129-137. https://doi.org/10.4236/ojop.2020.94009</mixed-citation></ref><ref id="scirp.117790-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Zwart, K. (2018) The Spectral Theorem for Unbounded Self-Adjoint Operators and Nelson’s Theorem. Bachelor Thesis, Universiteit Utrecht, Utrecht.</mixed-citation></ref></ref-list></back></article>