UNIQUENESS THEOREMS FOR CONVOLUTIONTYPE EQUATIONS D. J. NEWMAN Of frequent appearance in the literature are those integral equations which take the form (1), below. These are commonly called convolution-type equations. (1) XF(x)- f F(t)K(x -t)dl = Gix) for x G S. J s In particular, when 5 is the whole real line we obtain the standard convolution equation. Again when 5 is the half line (0, <*>),we obtain the Wiener-Hopf equation. S= [0, l] is still another of the classical equations, known to aerodynamicists as the "lifting line equation." We will be concerned with the uniqueness question for the equation (1), but in the following special sense: We wish to determine conditions on X and the kernel function K, together with class conditions on K and P, which will insure the uniqueness of the solution of (1) for all (measurable) sets 5. For each fixed S, uniqueness is equivalent to the statement: (2) If XF(x)= f F(t)K(x - t) dt for all x G 5 then F(x) = 0. •'s Thus, if we redefine F to be 0 in the complement (3) XF = F*K iorxES, And the logical conjunction of S, (2) becomes F = 0 for x <$5 =» F = 0. of the statements (3) for all (measura- ble) sets 5 is simply: (4) If, for each x, either F(x) = 0 or XF(x) = (F*X)(x), then F(x) s 0. It is thus our task to find conditions under which (4) holds. We choose as our setting an arbitrary locally compact abelian group G with Haar measure dt. The class conditions will be Kit) EL^G), F(0GPM(G). Now let P(£) be the Fourier transform of Kit). As £ varies through the elements of G, P(£) traces out a point set in the complex plane. Received by the editors October 8, 1962 and, in revised form, October 26, 1963. 629 License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use 630 D. J. NEWMAN [August We call this point set Ck, and the closed convex hull of Ck we call HK. Theorem. Let K(t) have compact support. //XG#x then (4) holds. Of course, by the previous discussion, this theorem can be restated directly in terms of the original uniqueness question. This restatement can be given as follows: Theorem. Let K(t) have compact support and let \EHkFor any (measurable) set S and any function G(x), the integral equation (l) has at most one solution. We apologize for the onerous restriction to K of compact support. It is undoubtedly an unnecessary one. For G the real line, it can be relaxed to the condition that K falls off exponentially. It may even be that no growth condition whatever on K is needed! The author is simply unable to decide this question. The condition expressed in this theorem is by no means best possible, but there is a kind of converse in the case of a Hermitian kernel (i.e., one where K( —t) =K(t)*).1 This converse reads: If (4) holds, X?¿0, and G is connected, then X$Hj. For proof, note that K(i;) is continuous and real valued so that Ck is a connected real set, and that Hk=Ck or Hk=Ck^0. In either case, since Xf^O, }iEHK=^XECK=^K = foX(t)K(t) acter X(t). If this were so, the choice F(t)=X( dt for some char—t) would contra- dict (4). In other cases the actual necessary and sufficient conditions to insure (4) seem very difficult to obtain. Almost the simplest example, that of the group of the integers, already gives (interesting) trouble. If K consists of a single mass point, then our condition is necessary and sufficient. Suppose, however, that we define our kernel, K(n), as follows: K(\)= -2, K(2)= -1, K(n)=0 for all other ra, and restrict our attention to positive X. Accordingly, the condition, XEHk, becomes the condition X>3/2. It can be shown, however, that the actual necessary and sufficient condition for (4) is the condition X> y/2 ! From now on we normalize by setting X = 1 and before turning to our proof we would like to present the heuristic argument on which it is based. This heuristic argument is actually rigorous in the case of a compact G but is whimsical otherwise since we make use of the "Fourier transform" of F(t). We use z* to denote the complex conjugate of z. License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use « 1965] THEOREMS FOR CONVOLUTION-TYPEEQUATIONS We are given that F(x)[F(x) —(F*K)(x)] = 0 identically. JaF(x) [F(x) —(F*K) (x) ] dx = 0. Applying Parseval's 631 Thus theorem we ob- tain, then, JgHO*[H6 -P(Ç)£(£)] d£ = ° (where F(£) is the Fourier transform of F(t)). Hence, we conclude that unless F(%) vanishes a.e. (i.e., F(t)^0), f |*(ö \»Ê(Q di J G - = 1, (A Hol2dt J G and this shows that 1 EHrWe now turn to the somewhat intricate "truncation" process which supplies the rigor to these heuristic arguments. Proof of Theorem. We assume that the hypotheses hold, viz., that 1<$.HK,that |F| £1, and that | F\ 2= F(F*K) identically. We can express the first of these conditions number a such that (5) Re[a(l - £({))] ^ 1 by the existence of a complex for all { G G. Now let XoEG be an arbitrary point and let F be a symmetric compact set containing 0, a neighborhood of x0, and the support of K. We denote by V", as usual, the set of all Xi+x2-\- ■ ■ • + x„ with x,G V. We now define, for some «>2, a function,/, by (6) / = F in V*, / = 0 outside V». Now Vn is compact since -f- is a continuous function pact space VX VX V ■ • ■ . Hence/has compact support on the comand so, since FEL», we have (7) fELir\ Next consider the function side Vn. We claim that L1. |/| 2—f(f*K). it also vanishes Clearly this vanishes out- inside Vn~x. For let xG Vn~x, now unless K(x —t) —0 it follows that x —tE V and we conclude that tEVn, so that f(t) = F(t). Thus fGf(t)K{x-t)dt = f0F(t)K(x-t)dt for all xE F"-. Hence, for these x, \f\ 2-f(f*K) = \ F\*-F(F*K)=0 by hypothesis. If we write A= Vn— Vn~x, then, we can sum up these remarks (8) Estimating I/|2 -f(f*K) = 0 outside A. |/| 2—f(f*K) inside A is our next task. Clearly License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use in 632 D. J. NEWMAN [August f i/i»-/(ml J A I (9) F(x)¡I F(x- 0 II P(0 I dxdl. eA,¡6F,x-ÍSF» Note, however, that the conditions xG Fn_1 and ¿G F insure that x —¿GF"-2. Combining this with x —¿GF" insures that x —¿GFn - F"-2. Calling A'= F"- Vn~2, then, we may conclude that Fix)Fix - t)K(t) | dxdt i€i,¿ev,x-í6V" (10) Fix)Fix - t)K(f) | dxdt. •J >J T.CA>. xeA',x-teA' For each fixed t, however, Schwarz' f f (ID inequality | Fix)Fix-t)\dx£ »> J xeA'.l-iSA *(=A' .z—t.(=A' tells us that f I Fix)|2dx J A' and so (10) yields (i2) r r i f(x)f(x- ojt(oi dxdt^ r i k i • r i f \ .tev.z-tev» J JzeA.tev.x-teV" Jq Ja' Combining (12) with (9) now yields (13) LiV-'til'K) By virtue of (8), however, (14) II Jfa \f\2-'fif*K) Parseval's (15) <(1+/.lXl)/j'1'(13) can be written ÚM \ \F\2, where M=l+f|x|. theorem is now justified by (7), and its application I\Jgij/Kl-P) ÚM JfA' \F\2. Applying (5) to (15) allows the conclusion, (i6) and another r i/i2 g if i «i JrA' if|2, J G application of Parseval's theorem yields License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use gives 1965] THEOREMSFOR CONVOLUTION-TYPE EQUATIONS (17) f |/|2 = J fyn \F\^M\a\ 633 f |F|2. J Q J &r Finally (17) may be rewritten (18) I J yn-2 Repeated (19) |F|2^ (1 -8) I I F |2, where 5 = —¡—fJyn application M \a \ of (18) now gives f I F |2 g (1 - ô)"-1 f J yi I F |2 ^ (1 - S)n-1w(F2") J y2n (where m denotes Haar measure). We now require the following: Lemma. Let V be any compact subset of G. There exist constants c and d such that m(Vn) ^cnd, for all n. Proof. Let U be an open set containing V, such that its closure, U, is compact. Since U2 is compact and since it is covered by the totality of translates x+U, it follows that i/2CUf=0 (xi+U), for some finite collection of x¿. Hence c72CUf=0 (x,+ i7) and, by induction, UnCUj (yj-r U), where the y¡ run through all the possible choices of Xjj+Xij-r- • • • +x,n_,. Since the number of such choices is /n + d - 1\ V d )' however, we conclude that in + d - 1\ m(Vn) g m(Un) g ( Jm(U). This last expression is ^cnd for an appropriate choice of c, however, and the proof is complete. If we now combine the result of this lemma with (19) above we conclude that (20) f |F|2^(l-5)**-1cO)<i, J yi and letting n—>«>tells us that fy*\ F| 2= 0, or (21) F = 0 a.e., in V2. But, for xEV, F*K=fvtF(t)K(x-t)dt and so, by (21), F*K = 0 License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use 634 AZARIA PAZ [August throughout V. By hypothesis, however, | F\2 = F(F*K), and so F = 0 identically throughout V. In particular, then, F vanishes identically in a neighborhood of x0. Since x0 was arbitrary F vanishes identically and the proof is com- plete. Yeshiva University DEFINITE AND QUASIDEFINITE SETS OF STOCHASTIC MATRICES' AZARIA PAZ 1. Introduction. This note is concerned with asymptotic behaviour of long products of stochastic matrices of a given form. Its objects are: (a) To prove that a theorem stated (but not proved) by the author in a previously-published paper [2] is equivalent to one proved by Wolfowitz in [l]. (b) To formulate a decision procedure for the above preferable to that given by Wolfowitz in [l]. (c) To solve a related problem. Familiarity with the above two papers is desirable. problem, 2. Definitions. (We adopt here some of the definitions used by Wolfowitz.) A finite square matrix P = ||^,,|| is called stochastic if pa^O for all i, j and 53 jpu=l A stochastic matrix for all i. P is called indecomposable and aperiodic (S.I.A.) if Q = lim P" n—»00 exists and all rows of Q are the same. |P| and 8(P) are defined as I PI = max I PaI , d(P) = max max | phi — piti \ . i hh With every stochastic matrix P we associate a finite graph having ra states (vertices)—ra being the order of P—such that transition is Received by the editors April 26, 1964. 1 The note is based on part of the author's D.Sc thesis submitted the Technion, Israel Institute of Technology, December 1963. License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use to the Senate of