A global in time existence and uniqueness result for an integrodifferential hyperbolic inverse problem with memory effect

We consider an inverse problem for a one-dimensional integrodifferential hyperbolic system, which comes from a simplified model of thermoelasticity. This inverse problem aims to identify the displacement u, the temperature η and the memory kernel k simultaneously from the weighted measurement data of temperature. By using the fixed point theorem in suitable Sobolev spaces, the global in time existence and uniqueness results of this inverse problem are obtained. Moreover, we prove that the solution to this inverse problem depends continuously on the noisy data in suitable Sobolev spaces. For this nonlinear inverse problem, our theoretical results guarantee the solvability for the proposed physical model and the well-posedness for small measurement time τ, which is quite different from general inverse problems.     

On the isoperimetric problem for the higher eigenvalues of the Robin and Wentzell Laplacians

We consider the problem of minimising the kth eigenvalue, k ≥ 2, of the (p-)Laplacian with Robin boundary conditions with respect to all domains in \mathbbR^N{\mathbb{R}^N} of given volume. When k = 2, we prove that the second eigenvalue of the p-Laplacian is minimised by the domain consisting of the disjoint union of two balls of equal volume, and that this is the unique domain with this property. For p = 2 and k ≥ 3, we prove that in many cases a minimiser cannot be independent of the value of the constant in the boundary condition, or equivalently of the domain’s volume. We obtain similar results for the Laplacian with generalised Wentzell boundary conditions.     

Carleman estimate for a stationary isotropic Lamé system and the applications

For the isotropic stationary Lamé system with variable coefficients equipped with the Dirichlet or surface stress boundary condition, we obtain a Carleman estimate such that (i) the right hand side is estimated in a weighted L ²-space and (ii) the estimate includes nonhomogeneous surface displacement or surface stress. Using this estimate we establish the conditional stability in Sobolev's norm of the displacement by means of measurements in an arbitrary subdomain or measurements of surface displacement and stress on an arbitrary subboundary. Finally by the Carleman estimate, we prove the uniqueness and conditional stability for an inverse problem of determining a source term by a single interior measurement.     

Well-posedness and inverse Robin estimate for a multiscale elliptic/parabolic system

Abstract

We establish the well-posedness of a coupled micro–macro parabolic–elliptic system modeling the interplay between two pressures in a gas–liquid mixture close to equilibrium that is filling a porous media with distributed microstructures. Additionally, we prove a local stability estimate for the inverse micro–macro Robin problem, potentially useful in identifying quantitatively a micro–macro interfacial Robin transfer coefficient given microscopic measurements on accessible fixed interfaces. To tackle the solvability issue we use two-scale energy estimates and two-scale regularity/compactness arguments cast in the Schauder’s fixed point theorem. A number of auxiliary problems, regularity, and scaling arguments are used in ensuring the suitable Fréchet differentiability of the solution and the structure of the inverse stability estimate.     

Problème inverse de la théorie du potentiel logarithmique pour les lemniscates

The paper is related to the question of uniqueness in the inverse logarithmic potential problem. This question is to find the conditions on which two domains D ₁ and D ₂ producing the same external potential must coincide. Assuming the general hypothesis of regularity and an additional condition of connectivity of (D₁D₂)_c, we prove a theorem of uniqueness in the case when one of the domains is a lemniscate. The main tool is one lemma for Cauchy's potential due to M. Sakai. We give a simple proof of its extension to Newtonian potential.

     

Diameter increase caused by edge deletion

We consider the following problem: Given positive integers k and D, what is the maximum diameter of the graph obtained by deleting k edges from a graph G with diameter D, assuming that the resulting graph is still connected? For undirected graphs G we prove an upper bound of (k + 1)D and a lower bound of (k + 1)D ? k for even D and of (k + 1)D ? 2k + 2 for odd D ? 3. For the special cases of k = 2 and k = 3, we derive the exact bounds of 3D ? 1 and 4D ? 2, respectively. For D = 2 we prove exact bounds of k + 2 and k + 3, for k ? 4 and k = 6, and k = 5 and k ? 7, respectively. For the special case of D = 1 we derive an exact bound on the resulting maximum diameter of order θ(√k). For directed graphs G, the bounds depend strongly on D: for D = 1 and D = 2 we derive exact bounds of θ(√k) and of 2k + 2, respectively, while for D ? 3 the resulting diameter is in general unbounded in terms of k and D. Finally, we prove several related problems NP-complete.     

Uniqueness and stability in determining the speed of propagation of second-order hyperbolic equation with variable coefficients

One of the basic inverse problems in an anisotropic media is the determination of coefficients in a bounded domain with a single measurement. We consider the problem of finding the coefficient of the second derivatives in a second-order hyperbolic equation with variable coefficients.

Under a weak regularity assumption and a geometrical condition on the metric, we prove the uniqueness in a multidimensional hyperbolic inverse problem with a single measurement. Moreover we show that our uniqueness results yield the Lipschitz stability estimate in L ² space for solution to the inverse problem under consideration.     

Remarks on rings of constants of derivations II

Let k be a field of characteristic p>0 and D≠0 a family of k-derivations of k[x,y]. It is proved in [1] that k[x,y]^D, the ring of constants with respect to D, can be generated, as a k[x ^p,y ^p]-algebra, by p - 1 elements. In this note we prove that p - 1 is the sharp upper bound of numbers of generators.     

Decomposability and embeddability of discretely Henselian division algebras

LetF be a discretely Henselian field of rank one, with residue fieldk a number field, and letD/F be anF-division algebra. We conduct an exhaustive study of the decomposability of an arbitraryD. Specifically, we prove the following:D has a semiramified (SR)F-division subalgebra if and only ifD has a totally ramified (TR) subfield. However, there may be TR subfields not contained in any SR subalgebra. IfD has prime-power index, thenD is decomposable if and only ifD properly contains a SR division subalgebra. Equivalently,D has a decomposable Sylow factor if and only if ii(D ^⊗n )≠1/n i(D) for somen dividing the period ofD, that is, if and only if the index fails to mimic the behavior of the period ofD. There exists indecomposableD with prime-power periodp ² and indexp ³. Every proper division subalgebra ofD is indecomposable. Conversely, every indecomposableF-division algebra ofp-power index embeds properly in someD ofp-power index if and only ifk does not have a certain strengthened form of class field theory’s Special Case. Semiramified division algebras and division algebras of odd index always properly embed. Finally, these results apply to an extent overk(t), and we prove that there exist indecomposablek(t)-division algebras of periodp ² and indexp ³, solving an open problem of Saltman. Dedicated to the memory of Amitsur Research supported in part by NSF Grant DMS-9100148.     

Solving a nonlinear inverse Robin problem through a linear Cauchy problem

ABSTRACT

Considered in this paper is an inverse Robin problem governed by a steady-state diffusion equation. By the Robin inverse problem, one wants to recover the unknown Robin coefficient on an inaccessible boundary from Cauchy data measured on the accessible boundary. In this paper, instead of reconstructing the Robin coefficient directly, we compute first the Cauchy data on the inaccessible boundary which is a linear inverse problem, and then compute the Robin coefficient through Newton's law. For the Cauchy problem, a parameter-dependent coupled complex boundary method (CCBM) is applied. The CCBM has its own merits, and this is particularly true when it is applied to the Cauchy problem. With the introduction of a positive parameter, we can prove the regularized solution is uniformly bounded with respect to the regularization parameter which is a very good property because the solution can now be reconstructed for a rather small value of the regularization parameter. For the problem of computing the Robin coefficient from the recovered Cauchy data, a least square output Tikhonov regularization method is applied to Newton's law to obtain a stable approximate Robin coefficient. Numerical results are given to show the feasibility and effectiveness of the proposed method.     

The minimum spanning strong subdigraph problem is fixed parameter tractable

A digraph D is strong if it contains a directed path from x to y for every choice of vertices x,y in D. We consider the problem (MSSS) of finding the minimum number of arcs in a spanning strong subdigraph of a strong digraph. It is easy to see that every strong digraph D on n vertices contains a spanning strong subdigraph on at most 2n−2 arcs. By reformulating the MSSS problem into the equivalent problem of finding the largest positive integer k≤n−2 so that D contains a spanning strong subdigraph with at most 2n−2−k arcs, we obtain a problem which we prove is fixed parameter tractable. Namely, we prove that there exists an O(f(k)n^c) algorithm for deciding whether a given strong digraph D on n vertices contains a spanning strong subdigraph with at most 2n−2−k arcs.We furthermore prove that if k≥1 and D has no cut vertex then it has a kernel of order at most (2k−1)². We finally discuss related problems and conjectures.     

On the isoperimetric problem for the higher eigenvalues of the Robin and Wentzell Laplacians

We consider the problem of minimising the kth eigenvalue, k ≥ 2, of the (p-)Laplacian with Robin boundary conditions with respect to all domains in ${\mathbb{R}^N}$ of given volume. When k = 2, we prove that the second eigenvalue of the p-Laplacian is minimised by the domain consisting of the disjoint union of two balls of equal volume, and that this is the unique domain with this property. For p = 2 and k ≥ 3, we prove that in many cases a minimiser cannot be independent of the value of the constant in the boundary condition, or equivalently of the domain’s volume. We obtain similar results for the Laplacian with generalised Wentzell boundary conditions.     

On the maximum number of fixed points in automorphisms of prime order of 2-(v,k,1) designs

In this paper, we study 2-(v, k, 1) designs with automorphisms of prime orderp, having the maximum possible number of fixed points. We prove an upper bound on the number of fixed points, and we study the structure of designs in which this bound is met with equality (such a design is called ap-MFP(v, k)). Several characterizations and asymptotic existence results forp-MFP(v, k) are obtained. For (p, k)=(3,3), (5,5), (2,3) and (3,4), necessary and sufficient conditions onv are obtained for the existence of ap-MFP(v, k). Further, for 3≤k≤5 and for any primep≡1 modk(k−1), we establish necessary and sufficient conditions onv for the existence of ap-MFP(v, k).     

Estimates in the Hardy-Sobolev space of the annulus and stability result

The main purpose of this work is to establish some logarithmic estimates of optimal type in the Hardy-Sobolev space H ^k,∞; k ∈ ?* of an annular domain. These results are considered as a continuation of a previous study in the setting of the unit disk by L.Baratchart and M. Zerner, On the recovery of functions from pointwise boundary values in a Hardy-Sobolev class of the disk, J. Comput. Appl. Math. 46 (1993), 255–269 and by S.Chaabane and I. Feki, Optimal logarithmic estimates in Hardy-Sobolev spaces H ^k,∞, C. R., Math., Acad. Sci. Paris 347 (2009), 1001–1006. As an application, we prove a logarithmic stability result for the inverse problem of identifying a Robin parameter on a part of the boundary of an annular domain starting from its behavior on the complementary boundary part.     

Linearizing non-linear inverse problems and an application to inverse backscattering

We propose an abstract approach to prove local uniqueness and conditional Hölder stability to non-linear inverse problems by linearization. The main condition is that, in addition to the injectivity of the linearization A, we need a stability estimate for A as well. That condition is satisfied in particular, if A^∗A is an elliptic pseudo-differential operator. We apply this scheme to show uniqueness and Hölder stability for the inverse backscattering problem for the acoustic equation near a constant sound speed.     

Uniqueness of solutions to inverse Sturm–Liouville problems with potential using three spectra

The uniqueness of solutions to two inverse Sturm–Liouville problems using three spectra is proven, based on the uniqueness of the solution-pair to an overdetermined Goursat–Cauchy boundary value problem. We discuss the uniqueness of the potential for a Dirichlet boundary condition at an arbitrary interior node, and for a Robin boundary condition at an arbitrary interior node, whereas at the exterior nodes we have Dirichlet boundary conditions in both situations. Here we are particularly concerned with potential functions that are L²(0,a).     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.     

Inverse Sturm–Liouville problems with the potential known on an interior subinterval

The uniqueness problem of inverse Sturm–Liouville problems with the potential known on an interior subinterval is considered. We prove that the potential on the entire interval and boundary conditions are uniquely determined in terms of the known eigenvalues and some information on the eigenfunctions at some interior point (interior spectral data). Moreover, we also concern with the situation where the potential q is C^2k-smoothness at some given points.     

Pointwise inequalities of logarithmic type in Hardy-Hölder spaces

We prove some optimal logarithmic estimates in the Hardy space H ^∞(G) with Hölder regularity, where G is the open unit disk or an annular domain of ?. These estimates extend the results established by S.Chaabane and I.Feki in the Hardy-Sobolev space H ^k,∞ of the unit disk and those of I. Feki in the case of an annular domain. The proofs are based on a variant of Hardy-Landau-Littlewood inequality for Hölder functions. As an application of these estimates, we study the stability of both the Cauchy problem for the Laplace operator and the Robin inverse problem.     

Lipschitz stability estimate in the inverse Robin problem for the Stokes system

We are interested in the inverse problem of recovering a Robin coefficient defined on some non-accessible part of the boundary from available data on another part of the boundary in the non-stationary Stokes system. We prove a Lipschitz stability estimate under the a priori assumption that the Robin coefficient lives in some compact and convex subset of a finite dimensional vectorial subspace of the set of continuous functions. To do so, we use a theorem proved by L. Bourgeois and which establishes Lipschitz stability estimates for a class of inverse problems in an abstract framework.