1: \documentclass[a4paper,leqno,draft]{article}

2: \usepackage{amssymb,amsmath,amsfonts,amsthm,%eucal,

3: mathrsfs}

4: \setlength{\evensidemargin}{0.2cm}

5: \setlength{\oddsidemargin}{0.1cm}

6: \setlength{\topmargin}{-1cm}

7: \setlength{\textwidth}{16cm}

8: \setlength{\textheight}{23cm}

9: %\usepackage[notref,notcite]{showkeys}

10: 

11: \renewcommand{\theequation}{\thesection.\arabic{equation}}

12: \parindent0em

13: \parskip6pt

14: \input{mymacro}

15: 

16: \newcommand{\mO}{\mathcal{O}}

17: \newcommand{\mM}{\mathcal{M}}

18: \newcommand{\mF}{\mathcal{F}}

19: \newcommand{\mP}{\mathcal{P}}

20: \newcommand{\MPhi}{\mathcal{M}_\Phi}

21: \newcommand{\SM}{\mathcal{S}_{\rm{M}}}

22: \newcommand{\rfunc}{{\rm{basic}}}

23: 

24: 

25: \newcommand{\dslash}{d\hspace{-0.4em}{ }^-\hspace{-0.2em}}

26: 

27: \begin{document}

28: 

29: \title{{\bf Generalized Oscillatory Integrals\\ and Fourier Integral Operators }}

30: \author{Claudia Garetto\footnote{Supported by FWF (Austria), grant P16820-N04 and TWF (Tyrol), grant

31: UNI-0404/305.}\\[0.1cm]

32: Institut f\"ur Grundlagen der Bauingenieurwissenschaften\\

33: Leopold-Franzens-Universit\"at Innsbruck\\

34: \texttt{claudia@mat1.uibk.ac.at}\\

35: \ \\

36: G\"{u}nther H\"{o}rmann\footnote{Supported by FWF (Austria), grant P16820-N04.}\\[0.1cm]

37: Fakult\"at f\"ur Mathematik\\

38: Universit\"at Wien\\

39: \texttt{guenther.hoermann@univie.ac.at}\\

40: \  \\

41: Michael Oberguggenberger\footnote{Partially supported by FWF (Austria), grant Y237}\\[0.1cm]

42: Institut f\"ur Grundlagen der Bauingenieurwissenschaften\\

43: Leopold-Franzens-Universit\"at Innsbruck\\

44: \texttt{michael.oberguggenberger@uibk.ac.at}

45: }

46: %\date{ }

47: \maketitle

48: \begin{abstract}

49: In this article, a theory of generalized oscillatory integrals (OIs) is developed whose phase functions

50: as well as amplitudes may be generalized functions of Colombeau type. Based on this, generalized

51: Fourier integral operators (FIOs) acting on Colombeau algebras are defined. This is motivated by the

52: need of a general framework for partial differential operators with non-smooth coefficients and

53: distribution data. The mapping properties of these FIOs are studied, as is microlocal Colombeau

54: regularity for OIs and the influence of the FIO action on generalized wave front sets.

55: \end{abstract}

56: 

57: \setcounter{section}{-1}

58: \input{fiointro}

59: \input{basic}

60: \input{oscillatory}

61: \input{oscillatoryx}

62: \input{functionalI}

63: %%\input{wave-front}

64: %%\input{propagation}

65: \bibliographystyle{abbrv}

66: %\bibliographystyle{abbrv}

67: \newcommand{\SortNoop}[1]{}

68: \begin{thebibliography}{10}

69: 

70: \bibitem{Biagioni:90}

71: H.~A. Biagioni.

72: \newblock {\em A Nonlinear Theory of Generalized Functions}.

73: \newblock Number 1421 in Lecture Notes in Math. Springer-Verlag, Berlin, 1990.

74: 

75: \bibitem{BO:92}

76: H.~Biagioni and M.~Oberguggenberger.

77: \newblock Generalized solutions to the {K}orteweg - de {V}ries and the

78:   regularized long-wave equations.

79: \newblock {\em SIAM J. Math Anal.}, 23(4):923--940, 1992.

80: 

81: \bibitem{BO:92b}

82: H.~Biagioni and M.~Oberguggenberger.

83: \newblock Generalized solutions to {B}urgers' equation.

84: \newblock {\em J. Diff. Eqs.}, 97(2):263--287, 1992.

85: 

86: 

87: \bibitem{Colombeau:85}

88: J.~F. Colombeau.

89: \newblock {\em Elementary Introduction to New Generalized Functions}.

90: \newblock North-Holland Mathematics Studies 113. Elsevier Science Publishers,

91:   1985.

92: 

93: \bibitem{CO:90}

94: J.~F. Colombeau and M.~Oberguggenberger.

95: \newblock On a hyperbolic system with a compatible quadratic term: Generalized

96:   solutions, delta waves, and multiplication of distributions.

97: \newblock {\em Comm. Part. Diff. Eqs.}, 15(7):905--938, 1990.

98: 

99: \bibitem{dHSto:02}

100: M.~V. de~Hoop and C.~C. Stolk.

101: \newblock Microlocal analysis of seismic inverse scattering in anisotropic,

102:   elastic media.

103: \newblock {\em Comm. Pure Appl. Math}, 55:261--301, 2002.

104: 

105: \bibitem{Delcroix:05}

106: A.~Delcroix.

107: \newblock Generalized integral operators and {S}chwartz kernel type theorem.

108: \newblock {\em J. Math. Anal. Appl.}, 306(2):481--501, 2005.

109: 

110: \bibitem{DelSca:00}

111: A.~Delcroix and D.~Scarpalezos.

112: \newblock Topology on asymptotic algebras of generalized functions and

113:   applications.

114: \newblock {\em Monatsh. Math}, 129(1):1--14, 2000.

115: 

116: \bibitem{Garetto:05b}

117: C.~Garetto.

118: \newblock Topological structures in {C}olombeau algebras: investigation of the

119:   duals of ${\Gc(\Om)}$, ${\G(\Om)}$ and ${\GS(\R^n)}$.

120: \newblock {\em Monatsh. Math.}, 146(3):203--226, 2005.

121: 

122: \bibitem{Garetto:05a}

123: C.~Garetto.

124: \newblock Topological structures in {C}olombeau algebras: topological

125:   $\wt{\C}$-modules and duality theory.

126: \newblock {\em Acta. Appl. Math.}, 88(1):81--123, 2005.

127: 

128: \bibitem{Garetto:06a}

129: C.~Garetto.

130: \newblock Microlocal analysis in the dual of a {C}olombeau algebra: generalized

131:   wave front sets and noncharacteristic regularity.

132: \newblock {\em arXiv:math. AP/0511297}, 2006.

133: 

134: \bibitem{GGO:03}

135: C.~Garetto, T.~Gramchev, and M.~Oberguggenberger.

136: \newblock Pseudodifferential operators with generalized symbols and regularity

137:   theory.

138: \newblock {\em Electron. J. Diff. Eqns.}, 2005(2005)(116):1--43, 2003.

139: 

140: \bibitem{GH:05}

141: C.~Garetto and G.~H\"{o}rmann.

142: \newblock Microlocal analysis of generalized functions: pseudodifferential

143:   techniques and propagation of singularities.

144: \newblock {\em Proc. Edinb. Math. Soc.}, 48(3):603--629, 2005.

145: 

146: \bibitem{GH:05b}

147: C.~Garetto and G.~H\"ormann.

148: \newblock Duality theory and pseudodifferential techniques for colombeau

149:   algebras: generalized kernels and microlocal analysis.

150: \newblock {\em Proceedings of the Conference ``Generalized Functions 2004'',

151:   University of Novi Sad}, 2005.

152: \newblock to appear in Bull. Cl. Sci. Math. Nat. Sci. Math.

153: 

154: 

155: \bibitem{GKOS:01}

156: M.~Grosser, M.~Kunzinger, M.~Oberguggenberger, and R.~Steinbauer.

157: \newblock {\em Geometric {T}heory of {G}eneralized {F}unctions}, volume 537 of

158:   {\em Mathematics and its Applications}.

159: \newblock Kluwer, Dordrecht, 2001.

160: 

161: \bibitem{Hoermander:71}

162: L.~H{\"o}rmander.

163: \newblock {F}ourier integral operators {I}.

164: \newblock {\em Acta Math.}, 127:79--183, 1971.

165: 

166: \bibitem{Hoermander:V1-4}

167: L.~H{\"o}rmander.

168: \newblock {\em The Analysis of Linear Partial Differential Operators}, volume

169:   I--IV.

170: \newblock Springer-Verlag, Berlin, {\SortNoop{83}}1983--85, 2nd ed. vol. I

171:   1990.

172: 

173: \bibitem{Hoermann:99}

174: G.~H{\"o}rmann.

175: \newblock Integration and microlocal analysis in {C}olombeau algebras of

176:   generalized functions.

177: \newblock {\em J. Math. Anal. Appl.}, 239:332--348, 1999.

178: 

179: \bibitem{GH:03}

180: G.~H\"{o}rmann.

181: \newblock First-order hyperbolic pseudodifferential equations with generalized

182:   symbols.

183: \newblock {\em J. Math. Anal. Appl.}, 293(1):40--56, 2004.

184: 

185: \bibitem{GH:04}

186: G.~H{\"o}rmann.

187: \newblock H\"{o}lder-{Z}ygmund regularity in algebras of generalized functions.

188: \newblock {\em Z. Anal. Anwendungen}, 23:139--165, 2004.

189: 

190: \bibitem{HdH:01}

191: G.~H{\"o}rmann and M.~V. de~Hoop.

192: \newblock Microlocal analysis and global solutions of some hyperbolic equations

193:   with discontinuous coefficients.

194: \newblock {\em Acta Appl. Math.}, 67:173--224, 2001.

195: 

196: \bibitem{HK:01}

197: G.~H{\"o}rmann and M.~Kunzinger.

198: \newblock Microlocal analysis of basic operations in {C}olombeau algebras.

199: \newblock {\em J. Math. Anal. Appl.}, 261:254--270, 2001.

200: 

201: \bibitem{HO:03}

202: G.~H{\"o}rmann and M.~Oberguggenberger.

203: \newblock Elliptic regularity and solvability for partial differential

204:   equations with {C}olombeau coefficients.

205: \newblock {\em Electron. J. Diff. Eqns.}, 2004(14):1--30, 2004.

206: 

207: \bibitem{HOP:05}

208: G.~H\"{o}rmann, M.~Oberguggenberger, and S.~Pilipovic.

209: \newblock Microlocal hypoellipticity of linear partial differential operators

210:   with generalized functions as coefficients.

211: \newblock {\em Trans. Amer. Math. Soc.}, 2005.

212: \newblock to appear.

213: 

214: \bibitem{HS:68}

215: A.~E. Hurd and D.~H. Sattinger.

216: \newblock Questions of existence and uniqueness for hyperbolic equations with

217:   discontinuous coefficients.

218: \newblock {\em Trans. Amer. Math. Soc.}, 132:159--174, 1968.

219: 

220: \bibitem{LO:91}

221: F.~Lafon and M.~Oberguggenberger.

222: \newblock Generalized solutions to symmetric hyperbolic systems with

223:   discontinuous coefficients: the multidimensional case.

224: \newblock {\em J. Math. Anal. Appl.}, 160:93--106, 1991.

225: 

226: \bibitem{NPS:98}

227: M.~Nedeljkov, S.~Pilipovi{\'{c}}, and D.~Scarpal{\'{e}}zos.

228: \newblock {\em The Linear Theory of Colombeau Generalized Functions}.

229: \newblock Pitman Research Notes in Mathematics 385. Longman, Harlow, 1998.

230: 

231: \bibitem{O:88}

232: M.~Oberguggenberger.

233: \newblock Hyperbolic systems with discontinuous coefficients: examples.

234: \newblock In B.~Stankovi{\'{c}}, E.~Pap, S.~Pilipovi{\'{c}}, and V.~S.

235:   Vladimirov, editors, {\em Generalized Functions, Convergence Structures, and

236:   Their Applications}, pages 257--266, New York, 1988. Plenum Press.

237: 

238: \bibitem{O:89}

239: M.~Oberguggenberger.

240: \newblock Hyperbolic systems with discontinuous coefficients: generalized

241:   solutions and a transmission problem in acoustics.

242: \newblock {\em J. Math. Anal. Appl.}, 142:452--467, 1989.

243: 

244: \bibitem{O:92}

245: M.~Oberguggenberger.

246: \newblock {\em Multiplication of Distributions and Applications to Partial

247:   Differential Equations}.

248: \newblock Pitman Research Notes in Mathematics 259. Longman, Harlow, 1992.

249: 

250: \bibitem{OR:98a}

251: M.~Oberguggenberger and F.~Russo.

252: \newblock Nonlinear {S}{P}{D}{E}s: Colombeau solutions and pathwise limits.

253: \newblock In L.~Decreusefonds, J.~Gjerde, B.~{\O}ksendal, and A.~S.

254:   {\"U}st{\"u}nel, editors, {\em Stochastic Analysis and Related Topics {VI}},

255:   pages 319--332. Birkh{\"a}user, Boston, 1998.

256: 

257: \bibitem{OR:98b}

258: M.~Oberguggenberger and F.~Russo.

259: \newblock Nonlinear stochastic wave equations.

260: \newblock {\em Int. Trans. Spec. Funct.}, 6:71--83, 1998.

261: 

262: \bibitem{Pilipovic:94}

263: S.~Pilipovi\'{c}.

264: \newblock {\em Colombeau's Generalized Functions and Pseudo-Differential

265:   Operators}.

266: \newblock Lect. Math. Sci., Univ. Tokyo, Tokyo, 1994.

267: 

268: \bibitem{Ste:98}

269: R.~Steinbauer.

270: \newblock Geodesic and geodesic deviation for impulsive gravitational waves.

271: \newblock {\em J. Math. Phys.}, 39(4):2201--2212, 1998.

272: 

273: \end{thebibliography}

274: 

275: 

276: \end{document}

277: