로컬 통합 기능

Locally integrable function

수학에서 국소적으로 통합할 수 있는 함수(국소적으로 요약할 수 있는 함수라고도 함)[1]정의 영역의 모든 콤팩트한 부분 집합에서 통합할 수 있는 함수(그래서 그 적분은 유한함수)이다.그러한 기능의 중요성은 기능공간L공간p 유사하지만, 그 구성원은 도메인의 경계에 있는 자신의 행동에 대한 어떠한 성장제한도 충족시킬 필요가 없다는 점에 있다(도메인이 결합되지 않은 경우 무한대). 즉, 지역적으로 통합 가능한 기능은 도메인 경계에서 임의로 빠르게 성장할 수 있다.ary, 그러나 여전히 일반적인 통합 기능과 유사한 방식으로 관리할 수 있다.

정의

표준 정의

정의 1.[2]Ω유클리드 공간 n f : Ω 에서 열린 집합으로, 르베그에서는 측정 가능한 함수로 한다.f on Ω이 다음과 같은 경우

즉, 그것의 Lebesgue 적분은 Ω의 모든 콤팩트 서브셋 K에 유한하며,[3] 그 다음 f로컬 통합형이라고 부른다.그러한1,loc 모든 함수의 집합은 L)으로 표시된다.

서 F 는 집합 K에 대한 f제한을 나타낸다.

국내에서 적분 가능한 기능에 대한 고전적 정의와 topological[4] 이론적 개념을 측정하고 이후 이러한 기능의 가장 공통 응용 유클리드 spaces,[2]모든 definit에 분배 이론은 추상에 complex-valued 함수들에 대한 위상 측정 공간(X,Σ, μ)에[5] 하지만, 운반될 수 있는 것을 포함한다.t에서 이온그와 다음의 절들은 이 중요한 사건만을 명시적으로 다룬다.

대체 정의

정의 2.[6]Ω은 유클리드 공간 에서n 열린 집합이다. 다음 함수 f : Ω

시험 함수 φ C
c
(Ω)
에 대해 국소적으로 통합 가능한 으로 불리며, 그러한 함수 집합은 L1,loc)으로 표시된다.
여기서 C
c
(Ω)
Ω에 포함된 콤팩트 서포트로 무한히 다른 모든 함수 φ : Ω의 집합을 의미한다.

이 정의는 니콜라스 부르바키 학파가 개발한 위상학적 벡터 공간에서 연속적선형 기능 개념을 바탕으로 측정 및 통합 이론에 대한 접근방식에 그 뿌리를 두고 있다:[7] 스트리차르츠(2003년)마즈야 & 샤포시니코바(2009년, 페이지 34년)가 채택한 정의이기도 하다.[8]이 "분산 이론" 정의는 다음과 같은 보조정리법이 증명하듯이 표준적인 정의와 동등하다.

보조정리 1.주어진 함수 f : Ω 정의 2에 따라 로컬로 통합할 수 있는 경우에만 정의 1에 따라 로컬로 통합할 수 있다.

보조정리증서 1

if part: φC
c
(Ω)를 시험함수로 한다.
그것은 그 우월적 규범 φ으로 한정되어 있고, 측정이 가능하며, 콤팩트한 지지를 가지고 있는데, 그것을 K라고 부르자.그러므로,

정의 1.

부분인 경우에만: K를 오픈 세트 Ω의 콤팩트 서브셋으로 한다.우선 K의 지표함수 χK 전공하는 시험함수 φK C
c
(Ω)
를 구축한다.
K경계 ∂Ω 사이의 통상적인 설정 거리[9] 0보다 절대적으로 크다.

따라서 Δ > 2 Δ > 0과 같은 실제 숫자 Δ를 선택할 수 있다(만약 ΔΩ이 빈 집합이라면 Δ = Δ를 취한다).Kδ K2δ 각각 K닫힌 Δ-이웃과 2 Δ-이웃을 나타낸다.그들은 마찬가지로 콤팩트하고 만족한다.

이제 convolution을 사용하여 functionK : Ω → by by

여기서 φδ 표준 양의 대칭을 사용하여 만든 몰리프트다.분명히 φK φK 0, 무한히 차이가 날 수 있으며, 그 지지도가 K2δ 포함되어 있다는 점에서 음성이 아니며, 특히 시험 함수다.φK(x) = 모든 xK대해 1이므로, 우리는 그 χK φK 가지고 있다.

정의 2에 따라 f를 로컬로 통합할 수 있는 함수가 되도록 한다.그러면

이는 Ω의 모든 콤팩트 서브셋 K에 대해 유지되기 때문에, 함수 f정의 1. □에 따라 로컬로 통합할 수 있다.

일반화: 로컬 p-통합 기능

정의 3.[10]Ω은 유클리드 공간 ℝ과n f : Ω → ℂ에서 열린 집합으로, 르베그에서는 측정 가능한 함수로 한다.만약, 1 ≤ p ≤ + ∞의 주어진 p에 대해 f가 만족한다면.

즉, Ω의 모든 콤팩트 서브셋 K에 대해 Lp(K)에 속하며, 그 다음 f를 로컬 p-통합 또는 p-locally 통합이라고도 한다.[10]그러한p,loc 모든 함수의 집합은 L)으로 표시된다.

로컬 통합 기능에 대해 주어진 정의와 완전히 유사한 대체 정의도 로컬 p-통합 기능에 대해 제공할 수 있다. 즉, 이 정의는 이 절의 정의와 동등하고 입증될 수 있다.[11]겉보기에 더 높은 일반성에도 불구하고 국소 p-통합 함수는 1 < p ≤ + [12]∞과 같은 p마다 국소적으로 통합 가능한 함수의 하위 집합을 형성한다.

표기법

대문자 "L"[13]에 사용할 수 있는 다른 글리프 외에도, 국소적으로 통합 가능한 함수 집합의 표기법에 대한 변형도 거의 없다.

특성.

Lp,loc 모든 p ≥ 1에 대한 전체 메트릭스 공간이다.

정리 1. [14]Lp,loc 완전한 측정 가능한 공간이다: 그 위상은 다음 지표에 의해 생성될 수 있다.

여기서 {Ωk}k≥1은(는) 다음과 같은 비어 있지 않은 열린 집합의 제품군입니다.

  • Ωk Ωk+1, 즉 Ωk Ωk+1 엄격히 포함됨을 의미한다. 즉, Ω이 높은 지수 집합에 엄격히 포함되는 콤팩트한 폐쇄성을 갖는 집합이다.
  • kωk = Ω.
  • , → R+ { k ∈ ∈ 세미놈들의 색인 계열로 정의되어 있다.

참조에서harv 오류:노 타깃:CITEREFGilbargTrudinger1998( 도와 주),(Maz'ya&Poborchi 1997년, 5p.),(Maz'ja 1985년, 6p.)과(Maz'ya 2011년 페이지의 주 2), 이 정리지만 형식적인 기초에 증명하지 않:[15]는에 있는 보다 일반적인 결과의 완전한 증거(Meise 및에서 발견된다 언급된 것은, 보그 트는 1997년(Gilbarg&Trudinger 1998년 페이지의 주 147)., p. 40cm이다.

Lp 모든 p ≥ 1에 대한 L1,loc 하위공간이다.

정리2.Lp), 1 ≤ p ≤ +∞에 속하는 모든 함수 fΩn 공개 서브셋인 로컬로 통합할 수 있다.

증명. 사례 p = 1은 사소한 것이므로, 증명서의 속편에서는 1 < p +∞로 가정한다.Ω의 콤팩트 서브셋 K특성 함수 χK 고려한다. 그런 다음, p +∞의 경우,

어디에

다음, Hölder의 불평등 의해 Lp)에 속하는 f의 경우, 제품 K 통합이 가능하다. 즉, L1(Ω)에 속한다.

그러므로

다음의 불평등이 사실이기 때문에 주의하십시오.

정리는 국소 p-통합함수의 공간에만 속하는 함수 f에도 또한 참이며, 따라서 정리는 또한 다음과 같은 결과를 내포한다.

코롤러리 1.Every function in , , is locally integrable, i. e. belongs to .

Note: If is an open subset of that is also bounded, then one has the standard inclusion which makes sense given the above inclusion . But the first of these statements is not true if is not bounded; then it is still true that for any , but not that . To see this, one typically considers the function , which is in but not in for유한 p

L1,loc 절대적으로 연속적인 측정의 밀도 공간이다.

정리 3.함수 fif , c {\1, 경우에만 절대 연속 측정의 밀도를 의미한다

이 결과의 증거는 (Schwartz 1998, 페이지 18)에 의해 스케치된다.이 정리는 그 진술을 바꿔 말하면, 모든 국소적으로 통합할 수 있는 기능이 절대적으로 연속적인 측정을 정의하고 반대로 모든 절대적으로 연속적인 측정은 국소적으로 통합할 수 있는 기능을 정의한다고 주장한다. 이것은 또한 추상 측정 이론 체계에서 스타니스와프 삭이 제공한 중요한 라돈-니코디움 정리의 형태다.의 논문에 의하면.[16]

  • 실선에 정의된 상수함수 1은 국소적으로 통합할 수 있지만 실선이 무한 측정치를 가지기 때문에 글로벌하게 통합할 수는 없다.보다 일반적으로 상수, 연속함수[17]통합함수는 국소적으로 통합할 수 있다.[18]
  • x ∈ (0, 1)에 f( )= 1/ 은(는) 로컬이지만 (0, 1)에서는 전역적으로 통합할 수 없다.콤팩트 세트 K ⊆(0, 1)은 0에서 양의 거리를 가지며, 따라서 f는 K에서 경계하므로 국부적으로 통합할 수 있다.이 예는 지역적으로 통합 가능한 기능이 경계 영역 근처의 성장 조건의 만족을 요구하지 않는다는 초기 주장을 뒷받침한다.
  • 함수
x = 0에서는 로컬로 통합할 수 없다. 포함하지 않는 모든 콤팩트 세트에 대한 통합은 유한하므로 이 지점 근처에서 실제로 로컬로 통합할 수 있다.정식으로 말하면 1/xL1,loc(( \ 0):[19] 그러나 이 함수는 ℝ 전체의 분포로 확장되어 Cauchy 원액으로 사용할 수 있다.[20]
  • 앞의 예는 다음과 같은 의문을 제기한다: Ω ⊊ in에서 국소적으로 통합할 수 있는 모든 기능이 전체 ℝ에 대한 확장을 분포로 인정하는가?대답은 음이며, 다음과 같은 함수에 의해 counterexample이 제공된다.
ℝ에 대한 분포를 정의하지 않는다.[21]
여기서 k1 k2 복잡한 상수로서, 1차 순서의 다음과 같은 기초 비-후치안 미분방정식의 일반적인 해법이다.
또는 k2k1 있지 않0다시 그것은,:그런 방정식의 유일한 분포 상의 글로벌 솔루션 있기 때문에 0유통, 그리고 이 어떻게, 미분 방정식 이론의 이 기로에서, 분배를 이론의 방법은 같은 성공 i.을 달성했다.을 줄것으로 예상할 수 없음을 보여 주는 전체 ℝ에 여타의 유통을 정의하지 않는다n같은 이론의 다른 가지들, 특히 계수가 일정한 선형 미분 방정식 이론에서 특히 그러하다.[22]

적용들

국소적으로 통합할 수 있는 함수는 분포 이론에서 두드러진 역할을 하며 경계 변동의 함수와 같은 다양한 등급의 함수와 함수 공간의 정의에서 발생한다.더욱이, 그것들은 모든 조치의 절대적으로 연속적인 부분을 특징짓는 것으로 라돈-니코디름 정리에 나타난다.

참고 항목

메모들

  1. ^ Gel'fand & Shilov에 따르면 (1964, 페이지 3).
  2. ^ a b 예를 들어 (Schwartz 1998, 페이지 18) 및 (Vladimirov 2002, 페이지 3)를 참조하십시오.
  3. ^ 블라디미로프(2002년, 페이지 1)가 선택한 이 정의의 또 다른 약간의 변형은 K Ω (또는 길바그 & 트루딩거(2001년, 페이지 9년, K ⊂ notation Ω의 표기법 사용)만을 요구하는 것이다. 즉, KΩ엄격히 포함됨을 의미한다. 즉, 주어진 주변 세트에 콤팩트 클로징포함된 집합이다.
  4. ^ 압축성의 개념은 주어진 추상적 측정 공간에 분명히 정의되어야 한다.
  5. ^ 이것은 예를 들어 카페에로(1959, 페이지 285–342)와 Saks(1937, 1장)가 현지에서 통합 가능한 사례를 명시적으로 다루지 않고 개발한 접근법이다.
  6. ^ 예를 참조하십시오(Strichartz 2003, 페이지 12–13).
  7. ^ 그러나 정의 1을 사용하여 국지적으로 통합할 수 있는 기능을 정의한 Schwartz(1998, 페이지 16–17)는 이러한 접근방식을 높이 평가했다.
  8. ^ Maz'ya와 Shaposhnikova는 소볼레프 공간 W)의k,p "지역화된" 버전만 명시적으로 정의하고, 그럼에도 불구하고 인용 책자에 사용된 다른 모든 바나흐 공간의 지역화된 버전을 정의하는데 동일한 방법이 사용된다고 명시적으로 주장하는 것에 유의하십시오. 특히, Lp,loc(Ω)은 44페이지에 소개된다.
  9. ^ 하우스도르프 거리와 혼동해서는안 된다.
  10. ^ a b 예를 들어 (Vladimirov 2002, 페이지 3) 및 (Maz'ya & Poborchi 1997, 페이지 4)를 참조하십시오.
  11. ^ 앞 절에서 언급했듯이, 이것은 마즈야 & 샤포시니코바(2009)가 기초적인 세부사항을 개발하지 않고 채택한 접근법이다.
  12. ^ 정확하게1,loc L)의 벡터 서브공간을 형성한다. Corolarary 1 ~ Organis 2를 참조한다.
  13. ^ 예시(Vladimirov 2002, 페이지 3)를 참조하십시오(서예 )
  14. ^ (Gilbarg & Trudinger 1998, 페이지 147) (도움말), (Maz'ja 1985, 페이지 6), (Maz'ja 2011, 페이지 2)의 간략한 주석을 참조하십시오.
  15. ^ Gilbarg & Trudinger (1998, p. 147) and Maz'ya & Poborchi (1997, p. 5) only sketch very briefly the method of proof, while in (Maz'ja 1985, p. 6) and (Maz'ya 2011, p. 2) it is assumed as a known result, from which the subsequent development starts.
  16. ^ 삭스(1937년,p. 36)에 따르면 한정된 조치를 "만약 E는 집합 또는, 유한 조치(μ)세트의 시퀀스의 좀 더 일반적인 합, 그럼 순서가 E에 대한 집합(𝔛)의 가법 기능 절대적으로 E에 대한 계속된 에 하고 집합의 이 기능은 부정은 요강의 적분 가능한 기능의 통합 필요 충분이다.E"에(μ)를 르베그 측도로 가정하면, 두 진술은 동등한 것으로 볼 수 있다.
  17. ^ 예를 참조하십시오(Hörmander 1990, 페이지 37).
  18. ^ (Strichartz 2003, 페이지 12)를 참조하십시오.
  19. ^ 참조 (Schwartz 1998, 페이지 19).
  20. ^ (Vladimirov 2002, 페이지 19-21)를 참조한다.
  21. ^ (Vladimirov 2002, 페이지 21)을 참조하십시오.
  22. ^ 이 예제에 대한 간략한 설명은 (Schwartz 1998, 페이지 131–132)를 참조한다.

참조

  • Cafiero, 페데리코(1959년), Misura eintegrazione, Monografie matematiche(Consiglio 국립 delle Ricerche(이탈리아어로), vol. 5로마:Edizioni Cremonese,를 대신하여 서명함. VII+451, MR0215954, Zbl 0171.01503.통합과 측정 이론에 측정하고 통합(의 타이틀은의 영어 번역을 읽는다)은 결정적인 논문:measure-related 구조의 시퀀스의(측정 가능한 기능, 측정 가능한 세트, 만회 대책 및 그들의 조합)어느 정도 단정적인 다양한 종류의 적분의 제한 행동의 대우를 하다
  • Gel'fand, I.M.;실로프, G.E.(1964년)[1958년], 일반화 기능을 가집니다.Vol.I:특성과 작동 뉴 York–London:.학술 출판부를 대신하여 서명함. xviii+423, 아이 에스비엔 978-0-12-279501-5, MR0166596, Zbl 0115.33101.일반화된 기능의 이론에 유진 Saletan으로 원래 1958년 러시아 판에서 번역된, 이것은 중요한 논문, 분배, 분석적 functionals로 양입니다.
  • Gilbarg, David; Trudinger, Neil S. (2001) [1998], Elliptic partial differential equations of second order, Classics in Mathematics (Revised 3rd printing of 2nd ed.), Berlin – Heidelberg – New York: Springer Verlag, pp. xiv+517, ISBN 3-540-41160-7, MR 1814364, Zbl 1042.35002.
  • Hörmander, Lars (1990), The analysis of linear partial differential operators I, Grundlehren der Mathematischen Wissenschaft, vol. 256 (2nd ed.), Berlin-Heidelberg-New York City: Springer-Verlag, pp. xii+440, ISBN 0-387-52343-X, MR 1065136, Zbl 0712.35001 (ISBN 3-540-52343-X로도 사용 가능).
  • Maz'ja, Vladimir G. (1985), Sobolev Spaces, Berlin–Heidelberg–New York: Springer-Verlag, pp. xix+486, ISBN 3-540-13589-8, MR 0817985, Zbl 0692.46023 (ISBN 0-387-13589-8로도 사용 가능).
  • Maz'ya, Vladimir G. (2011) [1985], Sobolev Spaces. With Applications to Elliptic Partial Differential Equations., Grundlehren der Mathematischen Wissenschaften, vol. 342 (2nd revised and augmented ed.), Berlin–Heidelberg–New York: Springer Verlag, pp. xxviii+866, ISBN 978-3-642-15563-5, MR 2777530, Zbl 1217.46002.
  • Maz'ya, Vladimir G.; Poborchi, Sergei V. (1997), Differentiable Functions on Bad Domains, Singapore–New Jersey–London–Hong Kong: World Scientific, pp. xx+481, ISBN 981-02-2767-1, MR 1643072, Zbl 0918.46033.
  • Maz'ya, Vladimir G.; Shaposhnikova, Tatyana O. (2009), Theory of Sobolev multipliers. With applications to differential and integral operators, Grundlehren der Mathematischen Wissenschaft, vol. 337, Heidelberg: Springer-Verlag, pp. xiii+609, ISBN 978-3-540-69490-8, MR 2457601, Zbl 1157.46001.
  • Meise, Reinhold; Vogt, Dietmar (1997), Introduction to Functional Analysis, Oxford Graduate Texts in Mathematics, vol. 2, Oxford: Clarendon Press, pp. x+437, ISBN 0-19-851485-9, MR 1483073, Zbl 0924.46002.
  • 삭스, Stanisław(1937년), 적분, Monografie Matematyczne의 이론, 7(2판)vol., Warszawa-Lwów:GEStechert &, 제조 업체를 대신하여 서명함. VI+347, JFM 63.0183.05, MR0167578, Zbl 0017.30004. 로렌스 치스홀름. 영, 스테판 바나흐가 두개의 추가 메모:수리 검토 인원은 기본적으로 재판이 도버 출판사 1964년판을 말한다에 의해 영어 번역.
  • Schwartz, Laurent (1998) [1966], Théorie des distributions, Publications de l'Institut de Mathématique de l'Université de Strasbourg (in French), vol. No. IX–X (Nouvelle ed.), Paris: Hermann Éditeurs, pp. xiii+420, ISBN 2-7056-5551-4, MR 0209834, Zbl 0149.09501.
  • Strichartz, Robert S. (2003), A Guide to Distribution Theory and Fourier Transforms (2nd printing ed.), River Edge, NJ: World Scientific Publishers, pp. x+226, ISBN 981-238-430-8, MR 2000535, Zbl 1029.46039.
  • Vladimirov, VS.(2002년), 일반화된 기능, 해석적 콘텐츠, 특수 기능 이론의 방법,:6, London–New 뉴욕 vol..테일러&프랜시스를 대신하여 서명함. XII+353, 아이 에스비엔 0-415-27356-0, MR2012831, Zbl 1078.46029.로 만든 이가 관례이다 전신 기능의 이론에 관한 논문들이 애플리케이션을 향해 몇가지 복잡한 변수와 수학적 물리학에 대한 눈과 함께 쓴 것이다.

외부 링크

이 글에는 크리에이티브 커먼스 귀속/공유 앨리케 라이센스에 따라 라이센스가 부여된 PlanetMath의 로컬 통합 기능에서 얻은 자료가 통합되어 있다.