Abstract Joint inversion of multiple data types was studied as early as 1975 in [K. Vozoff and D. L. Jupp,Joint inversion of geophysical data,Geophys. J. Internat. 42 1975, 3, 977–991],where the authors used the singular value decomposition to determine the degree of ill-conditioning of joint inverse problems. The authors demonstrated in several examples that combining two physical models in a joint inversion, and by effectively stacking discrete linear models, improved the conditioning as compared to individual inversions. This work extends the notion of using the singular value decomposition to determine the conditioning of discrete joint inversion to using the singular value expansion to determine the well-posedness of joint operators. We provide a convergent technique for approximating the singular values of continuous joint operators. In the case of self-adjoint operators, we give an algebraic expression for the joint singular values in terms of the singular values of the individual operators. This expression allows us to show that while rare, there are situations where ill-posedness may be not improved through joint inversion and in fact can degrade the conditioning of an individual inversion. The expression also quantifies the benefits of including repeated measurements in an inversion. We give an example of joint inversion with two moderately ill-posed Green’s function solutions, and quantify the improvement over individual inversions. This work provides a framework in which to identify data types that are advantageous to combine in a joint inversion.
more »
« less
On Singular Vortex Patches, I: Well-posedness Issues
The purpose of this work is to discuss the well-posedness theory of singular vortex patches. Our main results are of two types: well-posedness and ill-posedness. On the well-posedness side, we show that globally m m -fold symmetric vortex patches with corners emanating from the origin are globally well-posed in natural regularity classes as long as m ≥ 3. m\geq 3. In this case, all of the angles involved solve a closed ODE system which dictates the global-in-time dynamics of the corners and only depends on the initial locations and sizes of the corners. Along the way we obtain a global well-posedness result for a class of symmetric patches with boundary singular at the origin, which includes logarithmic spirals. On the ill-posedness side, we show that any other type of corner singularity in a vortex patch cannot evolve continuously in time except possibly when all corners involved have precisely the angle π 2 \frac {\pi }{2} for all time. Even in the case of vortex patches with corners of angle π 2 \frac {\pi }{2} or with corners which are only locally m m -fold symmetric, we prove that they are generically ill-posed. We expect that in these cases of ill-posedness, the vortex patches actually cusp immediately in a self-similar way and we derive some asymptotic models which may be useful in giving a more precise description of the dynamics. In a companion work from 2020 on singular vortex patches, we discuss the long-time behavior of symmetric vortex patches with corners and use them to construct patches on R 2 \mathbb {R}^2 with interesting dynamical behavior such as cusping and spiral formation in infinite time.
more »
« less
- Award ID(s):
- 2043024
- PAR ID:
- 10442391
- Date Published:
- Journal Name:
- Memoirs of the American Mathematical Society
- Volume:
- 283
- Issue:
- 1400
- ISSN:
- 0065-9266
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
more » « less
Abstract The global well-posedness on the 2D resistive MHD equations without kinematic dissipation remains an outstanding open problem. This is a critical problem. Any $L^p$-norm of the vorticity $\omega $ with $1\le p<\infty $ has been shown to be bounded globally (in time), but whether the $L^\infty $-norm of $\omega $ is globally bounded remains elusive. The global boundedness of $\|\omega \|_{L^\infty }$ yields the resolution of the aforementioned open problem. This paper examines the $L^\infty $-norm of $\omega $ from a different perspective. We construct a sequence of initial data near a special steady state to show that the $L^\infty $-norm of $\omega $ is actually mildly ill-posed.
-
more » « less
Abstract The reduction of a large‐scale symmetric linear discrete ill‐posed problem with multiple right‐hand sides to a smaller problem with a symmetric block tridiagonal matrix can easily be carried out by the application of a small number of steps of the symmetric block Lanczos method. We show that the subdiagonal blocks of the reduced problem converge to zero fairly rapidly with increasing block number. This quick convergence indicates that there is little advantage in expressing the solutions of discrete ill‐posed problems in terms of eigenvectors of the coefficient matrix when compared with using a basis of block Lanczos vectors, which are simpler and cheaper to compute. Similarly, for nonsymmetric linear discrete ill‐posed problems with multiple right‐hand sides, we show that the solution subspace defined by a few steps of the block Golub–Kahan bidiagonalization method usually can be applied instead of the solution subspace determined by the singular value decomposition of the coefficient matrix without significant, if any, reduction of the quality of the computed solution.
-
We investigate the well-posedness in the generalized Hartree equation [Formula: see text], [Formula: see text], [Formula: see text], for low powers of nonlinearity, [Formula: see text]. We establish the local well-posedness for a class of data in weighted Sobolev spaces, following ideas of Cazenave and Naumkin, Local existence, global existence, and scattering for the nonlinear Schrödinger equation, Comm. Contemp. Math. 19(2) (2017) 1650038. This crucially relies on the boundedness of the Riesz transform in weighted Lebesgue spaces. As a consequence, we obtain a class of data that exists globally, moreover, scatters in positive time. Furthermore, in the focusing case in the [Formula: see text]-supercritical setting we obtain a subset of locally well-posed data with positive energy, which blows up in finite time.more » « less
-
null (Ed.)Abstract The duality principle for group representations developed in Dutkay et al. (J Funct Anal 257:1133–1143, 2009), Han and Larson (Bull Lond Math Soc 40:685–695, 2008) exhibits a fact that the well-known duality principle in Gabor analysis is not an isolated incident but a more general phenomenon residing in the context of group representation theory. There are two other well-known fundamental properties in Gabor analysis: the biorthogonality and the fundamental identity of Gabor analysis. The main purpose of this this paper is to show that these two fundamental properties remain to be true for general projective unitary group representations. Moreover, we also present a general duality theorem which shows that that muti-frame generators meet super-frame generators through a dual commutant pair of group representations. Applying it to the Gabor representations, we obtain that $$\{\pi _{\Lambda }(m, n)g_{1} \oplus \cdots \oplus \pi _{\Lambda }(m, n)g_{k}\}_{m, n \in {\mathbb {Z}}^{d}}$$ { π Λ ( m , n ) g 1 ⊕ ⋯ ⊕ π Λ ( m , n ) g k } m , n ∈ Z d is a frame for $$L^{2}({\mathbb {R}}\,^{d})\oplus \cdots \oplus L^{2}({\mathbb {R}}\,^{d})$$ L 2 ( R d ) ⊕ ⋯ ⊕ L 2 ( R d ) if and only if $$\cup _{i=1}^{k}\{\pi _{\Lambda ^{o}}(m, n)g_{i}\}_{m, n\in {\mathbb {Z}}^{d}}$$ ∪ i = 1 k { π Λ o ( m , n ) g i } m , n ∈ Z d is a Riesz sequence, and $$\cup _{i=1}^{k} \{\pi _{\Lambda }(m, n)g_{i}\}_{m, n\in {\mathbb {Z}}^{d}}$$ ∪ i = 1 k { π Λ ( m , n ) g i } m , n ∈ Z d is a frame for $$L^{2}({\mathbb {R}}\,^{d})$$ L 2 ( R d ) if and only if $$\{\pi _{\Lambda ^{o}}(m, n)g_{1} \oplus \cdots \oplus \pi _{\Lambda ^{o}}(m, n)g_{k}\}_{m, n \in {\mathbb {Z}}^{d}}$$ { π Λ o ( m , n ) g 1 ⊕ ⋯ ⊕ π Λ o ( m , n ) g k } m , n ∈ Z d is a Riesz sequence, where $$\pi _{\Lambda }$$ π Λ and $$\pi _{\Lambda ^{o}}$$ π Λ o is a pair of Gabor representations restricted to a time–frequency lattice $$\Lambda $$ Λ and its adjoint lattice $$\Lambda ^{o}$$ Λ o in $${\mathbb {R}}\,^{d}\times {\mathbb {R}}\,^{d}$$ R d × R d .more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1090/memo/1400
