We have conducted a research on the basic notions regarding metric spaces. More concretely, we have introduced the notions of a partition of a compact metric spaces and its weight functions. We have shown that metrics and measures naturally induce associated weight functions. In this respect, metrics and measures are shown to be included in the notion of weight functions. Moreover, we have shown the following three results. First, a weight function is induced by a metric if and only if the infinite graph associated with the partition and the weight function is hyperbolic in the sense of Gromov. Second, in the regime of weight functions, the relation of a metric being quasisymmetric with respect to another metric is the same relation as a measure being volume doubling with respect to a metric. Thirdly, the Ahffors regular conformal dimension is equal to the critical index of p-energies.

We conducted research on Markov processes using stochastic analysis methods for cases of various state spaces, such as Euclid space, Riemannian manifold, and infinite dimensional space such as Wiener space and path space. In the case of the one-dimensional diffusion process, the spectrum of the Kolmogorov diffusion process was determined in the framework of supersymmetry. Also, in the case of Kummer process, spectra were determined in Zygmundt space or Orlicz space.
Furthermore, we characterized the ultracontractivity using the asymmetric Dirichlet form and applied to the asymptotic behavior of the fundamental solution in the case of compact Riemannian manifolds. We also constructed a non-symmetric diffusion process on the Wiener space as a typical example of an infinite dimensional space.

We gave basic progresses of the Dirichlet form theory, which is complementary to the theory of stochastic differential equations in the study of stochastic analysis. Primary results are based on a theme about the relation between the probability theory and the spatial structures on the basis of local structures determined by Dirichlet forms. Theoretical development was carried out by taking into consideration that it is useful for the situation in which the concept of usual differentiation is not defined like fractal sets, as well as for smooth spaces.

We studied the stationary measure of the multi-component coupled KPZ(Kardar-Parisi-Zhang) equation and showed its global well-posedness by applying the paracontrolled calculus. Moreover, we derived such singular stochastic partial differential equation from a particle system with several conservation laws. We also studied the sharp interface limit for mass conserving Allen-Cahn equation with stochastic fluctuation term, the derivation of motion by mean curvature from particle systems, the motion by mean curvature perturbed by a direction-dependent noise, the conservation law with a multiplicative noise term that is a first order stochastic partial differential equation, to establish an affirmative mathematical base to the adaptive dynamics employed in the mathematical genetics, stochastic dynamics related to the random matrices, Markov chains in random environments, and others.

干渉ブラウン運動のtagged粒子の不変原理に関して、従来より適切かつ精密な定式化を行い、Kipnis-Varadhanの不変原理の対応物が成立することを証明した。
従来は、Palm測度に対して、無限個の環境粒子系にたいして、tagged粒子のブラウン運動への収束が「測度収束」の意味で成立するという形で、主張が定式化されてきた。これは、80年代前半に行われたGuo-Papanicolauの研究以来の伝統的な定式化ではあるが、tagged粒子から見た他の無限個の粒子家の挙動を記述する確率微分方程式に対する解析となるため、すぐには元来の問題との関係が分かりにくい。
それに対して、今回は、粒子のラベルを考慮し構造に入れることにより、元々の平行移動不変な平衡分布に関して、可逆な確率力学を記述する確率微分方程式を考え、その個々の粒子が、ブラウン運動に初期条件に関して測度収束するという、より自然なわかりやすい定式化となった。
また、応用として、1次元の無限粒子系が互いに衝突しない（順序を入れ替えない）という性質をもつとき、極限が常に退化するという結果を得た。この事実自体は、当然の結果だが、ポイントはこれが常に成立するということを、幾何的な結果から平易に示したという一般性を備えている点である。
ランダム行列に関係する干渉ブラウン運動は、対数関数（2次元クーロンポテンシャル）で相互作用する確率力学である。また、干渉ブラウン運動を含む広い範囲の無限次元確率微分方程式に対して一般論を構築し、更に発展させている最中だが、これに関する最近の研究結果をまとめてreview論文として報告した。

We have studied the relation between geometric and algebraic structures and analysis on fractals such as self-similar sets and invariant sets of various dynamical systems. For example, we have considered time changes of the Brownian motions on generalized Sierpinski carpets with respect to singular measures. We have established the notion of weakly exponential weakly exponential measures. If a measure is weakly exponential, then we have shown tcertain type of Poincare inequality, the existence of jointly continuous heat kernel and an asymptotic heat kernel estimate using the protodistance associated with the weakly exponential measure.

Kardar-Parisi-Zhang (KPZ) equation is a nonlinear stochastic partial differential equation which describes an evolution of growing interfaces with fluctuation. Mathematically, this equation involves a divergent term so that it is ill-posed, but Hairer, a Fields medalist, introduced a method of renormalization which removes the divergent term and gave a mathematical meaning to it. In this research project, we have specified the stationary measures of KPZ equation and multicomponent coupled KPZ equation, and shown the global solvability in time. Moreover, we have found new determinantal structures in related interacting infinite particle systems.

We studied dynamics on random media and their scaling limits in a systematical way. Our major achievements are as follows: i) We proved convergence of Markov chains on random conductances with boundaries under a wide framework. The convergence is with probability one with respect to the randomness of the media. ii) We proved sub-sequential convergence of the random walk on 2-dimensional uniform spanning tree, which is a random media whose scaling limit is conformal invariant, and gave detailed estimates of the heat kernel for the limiting process. iii) We proved stability of heat kernel estimates for symmetric jump processes on metric measure spaces. This was one of the major open problems in the area for more than 10 years.

Relationships among harmonic functions, solutions to the heat equation, the Green and heat kernels and their defining domains, the influence of the space complexity to the boundary behavior were studied. They were applied to various fields such as non-smooth Euclidean domains, manifolds, varifolds, networks and fractals. In particular, new results were obtained in Harnack principle with exceptional sets, estimates of the principal frequency in terms of capacitary width, sufficient conditions for the global boundary Harnack principle based on the capacitary width of sublevel sets of the Green function, conditions for the parabolic boundary Harnack principle (Intrinsic Ultracontractivity), the critical exponent of a graph domain enjoying the global boundary Harnack principle, and the 0-1 law of the capacity density at infinity and so on.

We study mathematical framework for Quantum spin system. Physics on topological Insulator and topologically protected surface/edge state is formulated in K-theory. By using the non-commutative geometry, we generalized it to disordered systems. We also develop discrete surface theory to study the relation of microscopic structural data and macroscopic properties and apply it to carbon networks.

To study analysis on metric-measure spaces, we have investigated important properties of metrics and measures on topological space such as bi-Lipshitz equivalence, volume doubling property, quasisymmetry and Ahlfors regularity form the view point of partitions and associated gauge functions. In particular, we have shown that bi-Lipshitz property between a measure and a metric as gauge functions is equivalent to the Ahlfors regularity between a measure and a metric.

We establish a general theory for solving infinite-dimensional stochastic differential equations (ISDE) with symmetry typically appearing in statistical mechanics. In particular, we prove the pathwise uniqueness and the existence of the strong solution under a very general framework. This method is novel, and regards the tail sigma field of the configuration space as a boundary of the ISDE. Furthermore, if the tail sigma field is trivial, then a strong solution exists. If the set of probability-one events is unique, then the pathwise uniqueness of solution holds.
The method is effective for the ISDE with logarithmic interaction potentials, which appear in random matrix theory.

We studied invariant measures of KPZ equation which describes a growth of interfaces with fluctuations. This stochastic partial differential equation involves a diverging term which makes difficult to give a mathematical meaning to it. We discussed the non-equilibrium fluctuation problem for the dynamics of two-dimensional Young diagrams and derived a stochastic partial differential equation under a scaling limit. The method of the hydrodynamic limit is applied to a system of creatures with an effect of self-organized aggregation and established a link between macroscopic and microscopic descriptions. We proved unique existence of strong solutions of infinite dimensional stochastic differential equations and rigidity for Airy point process and Ginibre point process, which appear in the theory of dynamic random matrices. Furthermore, we studied percolations, nonlinear diffusion equations, stochastic partial differential equations with stable noises and others.

We investigated recently developed methods on the de Giorgi-Nash-Moser theory and a priori estimates of caloric functions for non-local operators and jump-type stochastic processes. We gave some sufficient conditions for the boundary Harnack inequalities to hold for jump-type processes (non-local operators) on general metric measure spaces, and applied the results to various concrete examples. We also worked on heat kernel estimates for fractional time derivative heat equations.

In this project, we have studied internal structure of fractal sets from the broad viewpoint of analysis, geometry and algebra. In particular, we have considered stochastic processes and potential theory on fractals, which are thought of as models of objects in the nature. For instance, we have obtained conditions to ensure the existence of scaling relation of space-time on the heat conductance on fractals. Moreover, we have studied equilibrium state of heat on spaces with infinitely many holes and obtained a condition for the equilibrium state to be smooth.

We studied Markov processes by using the stochastic analysis. We are mainly interested in the behavior of the semigroup associated with a Markov process. First we considered diffusion processes on a Riemannian manifold. We give a generator as a sum of the Laplace-Beltrami operator and a vector field. We discussed the uniqueness of the semigroup associated with the generator. The condition was given in terms of the vector field.
Next we consider the conditions for which the semigroup reserves a convex set. We consider this problem in the framework of general Banach space. We give some necessary and sufficient conditions in terms of generator. In Hilbert space setting, we formulate this problem by using Dirichlet forms.
In addition, we considered the rate of convergence of the semigroup under the condition of logarithmic Sobolev inequality. We also discussed the dual ultracontractive property of the semigroup.

We analysed Markov chains on disordered media and their scaling limits in a unified manner by using probabilistic and analytic methods. From the viewpoint of constructing general theory, we established the following results; i) heat kernel estimates for non-symmetric Markov chains satisfying some cycle condition and analyzing their scaling limits, ii) equivalence of the sub-Gaussian heat kernel estimates and generalized Parabolic Harnack inequalities on symmetric diffusions for general metric measure spaces, iii) convergence of jump-type processes for general metric measure spaces. From the viewpoint of concrete examples, we established the following results; i) asymptotic behavior and scaling limits of biased random walks on critical percolation clusters (conditioned to survive forever) on trees, ii) convergence of scaled mixing times on Markov chains on random finite graphs.

On non-compact Riemannian manifolds and infinite graphs, therelationship among global geometric structure, geometric inequalities and long time heatkernel behavior is well investigated by many researchers. In this research, we considerconnected sums and we obtain a precise relationship between a structure of bottlenecknessand isoperimetric inequality, Poincare inequality and long time heat kernel behavior.

Problems on important functions such as (super, sub)harmonic functions appearing in analysis, geometry and probability are referred to as potential problems. We have investigated potential problems from various view points and unveiled deep properties of important functions in connections with nonsmooth domains, fractals, manifolds and functions spaces.

Aim of this research proposal is to develop new methods to study geometric objects with singularities, or discrete spaces, which are not accessible by traditional differential geometrical technics. Our idea is to apply probability theory to those geometric objects. Some results are obtained and published from international journals.

本年度行った研究により得られた成果は、以下の通りである。
1. 熊谷は、Croydon氏(Warwick大)、Hambly氏(Oxford大)と共同で、与えられた有限グラフの列に対して、その上の対称マルコフ連鎖の混合時間が収束するための十分条件を与えた。この十分条件は、グラフのグロモフ-ハウスドルフ収束に、熱核の収束の概念を加えた新たな収束概念によって表現することができる。これにより、例えばErdos-Renyiのランダムグラフの臨界確率近傍での最大連結成分上のランダムウォークの混合時間に関する収束定理を証明することができる。この結果は3人の共著論文にまとめ、現在雑誌に投稿中である。
2. 熊谷は、昨年度から継続しているChen氏(Washington大)、Kim氏(Seoul大)との共同研究を論文にまとめ、雑誌に投稿した。その内容は、D次元正方格子上の対称マルコフ連鎖が飛躍型確率過程に収束するための十分条件を、ディリクレ形式の手法を用いて導出するものである。特に、ランダムコンダクタンスモデルへの応用として、2点間のコンダクタンスに長距離相関がある場合に、対応するランダムなマルコフ連鎖がD次元安定過程に収束するための十分条件を与える部分について、昨年度やや曖昧であった条件を明確にした。現在、査読結果を元に改訂版を作成中である。
3. 長田は白井朋之氏(九州大)と共に、Ginibre random point fieldのPalm測度が、もとの測度に対して特異になること、および(任意の相異なる)2点で条件づけたPalm測度は互いに絶対連続になることを示した。

We have studied various aspects of mathematical foundation of fractals. In particular, we have constructed intrinsic geometrical structure associated with analytical objects like stochastic processes on fractals. Furthermore, based on these geometric structure, we have investigated the asymptotic properties of stochastic processes on fractals and/or boundary behaviors of functions on domains with fractal boundary.

To account of not only the members but also of the researchers on probability theory in Japan, we held several conferences every year, including two international ones, and made connections on study and joint research. Moreover we invited several foreign researchers and the members of this grant attended conferences outside Japan and visited foreign researchers. Through these activities we contributed some progress on theory of stochastic analysis and on applications to study on questions with origins from statistical physics, study of differential equations, spectra of manifolds, mathematical finance and so on.

We have studied the interaction between geometric structures and invariants of 3-manifolds in order to get deeper understanding for their topology, and obtained several new results on global behavior of geometric invariants. In particular, the reporter attained a few progress on comparison of dynamical invariants of mapping classes of a surface and simplicial volumes of their mapping tori. Also, we have organized an international conference to review our activities in the last year, and pointed out many issues that suggest further direction.

We have studied large scale interacting systems related to the interface model and the theory of random matrices, based on the stochastic analysis and the theory of nonlinear partial differential equations. In particular, concerning the interface model on a wall or with a pinning effect, we have made a precise analysis and determined the scaling limit when the corresponding large deviation rate functional admits plural minimizers, and moreover, established the hydrodynamic limit for an evolutional model of two dimensional Young diagrams. As a dynamic model in the theory of random matrices, we have investigated the system of Ginibre interacting Brownian particles and found an outstanding property, that is, the sub-diffusive behavior of a tagged particle in this system.

本年度行った研究により得られた成果は以下の通りである。二年間という短期間で多くのモデルの解析を行い、当該研究を大きく推進できたと考える。
1.Diamond latticeと呼ばれるグラフ上の臨界確率におけるパーコレーションクラスターを考え、そのスケール極限が連結なクラスターを持つという条件のもとで、クラスター上の拡散過程を構成し、その熱核に関する詳しい評価を得た。特に、スペクトル次元に関する有名なAlexander-Orbach予想はこのモデルでは成り立たないことを証明した。(なお、このモデルでは臨界確率において連結なクラスターが存在する確率が正になる。)このモデルは2次元モデルの簡易化としていくつもの文献に取り扱われているが、臨界確率におけるダイナミックスの解析は本研究が初めてであると考える。現在この結果を、Oxford大学のHambly氏との共著論文として執筆中である。
2.臨界確率における分枝過程の家系図に対応する樹木を考え、そのincipient infinite cluster上のランダムウオークの熱核を研究した。昨年までのこの研究を発展させ、本年は子孫分布が有限な二次モーメントを持たない場合にこの問題を取り扱い、二次モーメントを持つ場合との間で熱核挙動に顕著な違いがあることを解明した。具体的には、体積増大度が大きく異なるため、熱核の対角評価のオーダーが二次モーメントを持つ場合と異なり、特に上述したAlexander-Orbach予想が成り立たないことが示された。(なお、二次モーメントを持つ場合はこの予想が正しいことを昨年我々が証明している。)

We have obtained the following two results on relations between analysis and geometry on fractals. The first result concerns a heat kernel associated with a time change of a process associated with a self-similar Dirichlet form on a self-similar set. We show an sufficient and necessary condition on the existence of a distance under which the heat kernel satisfy the on-diagonal Li-Yau type sub-Gaussian estimate. The second result is on the measurable Riemannian Geometry on the Sierpinski gasket. We show that the geodesic distance coincides with the shortest path metric on the harrmonic Sierpinski gasket and establilsh Li-Yau type Gaussian estimate of the heat kernel under the geodesic metric.

木上は、Sierpinski gasket上のstandard Dirichlet formに関するKusuokaの結果をもとに、Sierpinski gasket上のMeasurable Riemannian stturcutreについて研究を行った。その過程で、Kusuokaによるgradient operatorとKigamiによるhamonic Sierpinski gasket上のgradient operatorが本質的に同じものであること、Kusuoka measureがユークリッドの距離に関してvolume doublingであることを示した。
また、harmonic Sierpinski gasket上のshortest path metricがmeasurable Riemannian structureから決まる測地線距離で有ることを示した。さらにこれらの結果を組み合わせて、Kusuoka measureに対応する熱核がLi-Yau型のGaussian estimateを満たすことを証明した。
日野は、(無限分岐的なものも含む)自己相似集合上の自己相似的なDirichlet formのエネルギー測度について研究した。
エネルギー測度が自己相似測度に対して特異的になるための条件を示し、いくつかの興味ある場合に適用した。

本年度行った研究により得られた成果は以下の通りである。
1.D次元正方格子上の対称マルコフ連鎖で、2点間のコンダクタンスが、2点間の距離が離れても0にならないようなものを考える。コンダクタンスに関する一様な二乗可積分性条件の下、熱核の評価、exit timeの評価を行った。さらに、コンダクタンスに関する仮定を加えることにより、一様なハルナック不等式が成り立つことを証明し、また、スケール変換したマルコフ過程にある種の条件を課することにより、このマルコフ過程がユークリッド空間上のdivergence formで決まる拡散過程に収束することを証明した。この結果は、Bass氏との共著論文にまとめ、現在雑誌に投稿中である。
2.D次元正方格子上の飛躍型確率過程が放物型ハルナック不等式を満たすための必要十分条件、ある種の多項式的な減衰をする熱核評価を持つための必要十分条件について、Barlow氏、Bass氏と共同で研究を行った。これらの必要十分条件について部分的な結果を得ることができ、今後も継続して共同研究を行うこととなった。
3.フラクタルを典型例とする自己相似な空間上に、自己相似な局所正則ディリクレ形式が与えられ、その定義域となる関数空間がベソフ空間であるとする。このとき、このディリクレ形式の自己相似部分集合へのトレースをとったとき、対応する定義域を決定するという問題を取り扱った。これは、関数空間論的にはベソフ空間のトレース理論の一般化に相当する問題である。もとのディリクレ形式がハルナック不等式などいくつかの条件を満たすとき、トレースで決まる関数空間が再びベソフ空間となることを示し、その特徴づけを行った。この結果は、日野正訓氏との共著論文にまとめ、現在雑誌に投稿中である。

(1)As for stochastic oscillatory integrals (SOI in short), which are Fourie-Laplace transforms on the path space, studies on exact expression, asymptotic behavior, and application to nonlinear partial differential equation were made. In the case of phase function of quadratic Wiener functional, a Levy-Ito type exponential expression was established with the associated Hilbert-Schmidt operator. Moreover, in the case of phase function of stochastic line integral with polynomial coefficients, a concrete asymptotic behavior was shown. A door to the stationary phase method on the path space was opened by showing the concentration around stationary points of the asymptotic behavior in the case of Gaussian amplitude function. Finally, we found out a bijective relation between the tau function of the KdV hierarchy and SOI' s associated with Ornstein-Uhlenbeck processes, which is a completely new application of stochastic analysis to nonlinear PDE theory. (2)We made studies on concrete functionals on path spaces. We computed the distribution of the exponential functional obtained as time-integral of geometric Brownian motion, which plays a key role in studies of mathematical finance, diffusions in random environments, and Brownian motion on hyperbolic space, and established the recursive formula for its density function. Moreover, the absolute continuity of the distribution of the Wishart process was computed, and a probabilistic proof of Selberg trace formulas for Laplacian on forms on hyperbolic spaces was given. Furthermore, the trace formula on p-adic upper half plane was studied via semi-stable processes. (3)An easily-applicable criterion for heat kernel on general space to have a sub-Gaussian estimate was achieved. Diffusion processes on complexity were constructed, and a detailed estimation of associated heat kernel was established.

The main research area of the head investigator is diffusions in infinite dimension. At the same time, a research of diffusions on a Riemannian manifold is accomplished because geometric point of view is important in our research. We gave a probabilistic proof of the Littlewood-Paley inequality, the L^P norm equivalence between the gradient and the square of the generator, essential self-adjointness of a Schrodinger operator, and the spectral gap. The essential matter we used is the intertwining property between gradient and the generator. The use of Functional Analysis is crucial because it is irrelevant of the geometry of the space. In our general framework, we assume the logarithmic Sobolev inequality and the exponential integrability of the remaining term of the intertwining property. We also discussed the similar problem in a setting of Riemannian manifold with convex boundary.
Further we considered a Schrodinger operator on the Wiener space of the form L+V,L beging the Ornstein-Uhlenbeck operator. We gave a characterization of the generator domain and proved the essential self-adjointness and the spectral gap of the Schrodinger operator under a suitable condition of the potiential V.
We also showed the Littlewood-Paley inequality for the the Schrodinger operator. Since we have a potential term, we need a modification of the standard proof. This method works for a Hodge-Kodaira operator on a Riemannian manifold with a potential.
In this project, we have held several symposiums and gave financial support for participants. One of them is "Stochastic Analysis and related fields" that was a research project of the Research Institute of Mathematical Sciences in 2002. We invited Professors McKean, Ustunel, Rockner, etc., from abroad. The others are "Probability Summer School" in 2003,2004. We gave introductory lectures of frontier of recent research for graduated students. We could accomplish stimulating discussions. We also held every year "Stochastic Processes and related fields", which gave fruitful communication between researchers in Japan. As a sum, we held 24 symposiums during three years and invited 14 foreign researchers and produced many results.

The purpose of this project is to study fractal from various mathematical viewpoints, for example, analysis, probability, ergode theory, dynamical systems and applied mathematics. We had two conferences in accordance with the purpose of this project. The first one held in the first year of the project. We discussed what was the main issues and how we should approach them. The second one held in in the last year of the project was to get together all the results we obtained in this project. The followings are the selection of results from this project. Kigami has shown that under the volume doubling condition, the upper Li-Yau type estimate of heat kernels is equivalent to the local Nash inequality and the escape time estimate. Kumagai along with Barlow and Bass has shown that the Li-Yau type heat kernel estimate is stable under a perturbation. Ito has studied beta-transform and the associated tiling of the Euclidean space. Kameya has made clear the relation between Julia sets and the self-similar sets. Hino has shown that the energy measure associated with the self-similar Dirichlet form on the Sierpinski gasket is mutually singular with any self-similar measure. Finally Kigami and Kameyama have obtained a relation between the topological property of a self-similar set and the asymptotic behavior of a diffusion process on it.

1.We have obtained new results for the problem to construct diffusion processes penetrating disordered media and to study properties of the processes when there are countable number of disordered media on a space. When domains of Dirichlet forms on each medium are Besov spaces, we apply the theory of Besov spaces and construct the penetrating diffusion process. We also obtain a short time asymptotic behavior of the heat kernel for the process and express the "most probable path" by means of the solution of variational formula of energy functions. This is a joint work with B.M.Hambly and appears in Probab. Theory Relat. Fields.
2.We have constructed jump-type processes on d-sets (fractal sets) and obtained detailed heat kernel estimates of the processes. The corresponding domains of Dirichlet forms are again Besov spaces and the trace formula of Besov spaces are very useful. Probabilistic techniques are used to obtain the off-diagonal estimates. Using the heat kernel estimates, we show transience/recurrence of the process and computed the Hausdorff dimension of the range of the process. This is a joint work with Z.Q.Chen and appears in Stoch. Proc. Their Appl.
3.We have studied the asymptotic behavior of the heat kernels for diffusion processes on self-similar sets. We prove an equivalence between the volume doubling property of the measure and some on-diagonal heat kernel estimates. Furthermore, we prove an equivalence between some estimates of escaping times plus local Nash inequalities and some type of heat kernel estimates from above.

木上は一般の測度-距離空間上のディリクレ形式から定義される熱核に対して、測度のvolume doubling propertyのもとでexit timeの評価とlocal Nash inequalityが熱核のある種の上からの評価と同値であることを示した。その結果を線分上のブラウン運動を自己相似測度に関して時間変更した拡散過程の熱核に応用し、測度がvolume doublingであるときに熱核の詳細な評価を得た。さらに一般のresistance formに対して、境界が有限個の点である場合のgreen関数の定義をあたえ、そのgreen関数がresistance metricに関して一様Lipschitz連続であることを示した。また、green関数を用いて測度に値を持つLaplacianの定義を与えるとともに自己相似集合上のディリクレ形式の定義域、Laplacianの定義域の関数のresistance metricに関するLipschitz連続性を考察した。
熊谷は、異なった次元を持つフラクタルを張り合わせた空間上の拡散過程の研究を行った。まずベゾフ空間のトレースの理論を援用することで2次形式の正則性を示し、熱核の短時間挙動についての詳しい評価をえた。その評価を用いて短い時間スケールでみたとき粒子が最も通りやすい経路のエネルギー関数の変分問題の解としての特徴付けを得た。さらにベゾフ空間の理論の応用として、(フラクタル集合を自然に含む)d-setと呼ばれるクラスの集合の上に飛躍型対象マルコフ過程と対応するディリクレ形式を構成した。また対応する熱核の詳細な評価を得て、過程の再帰性や粒子の軌跡のハウスドルフ次元に関する結果を得た。
宍倉は自己相似集合上のLaplacianに付随する高次元の複素力学系に関係して、高次元複素力学系の不変集合(ジュリア集合、ファツウ集合を含む)の構造、繰り込みおよび力学系に付随するポテンシャル(グリーン関数)に関する研究を行った。

Large deviation principle is one of the most basic laws in probability theory as well as the law of large numbers and the central limit theorem. We have studied the various features of the large deviation principle, starting from the elucidation of the structure of a few new classes of stochastic processes.
We(Shirai and Takahashi) introduced classes of random point fields or point processes, parameterized by a real number α, including fermion point processes(α= -1) and boson point processes(α= 1). They are associated with Fredholm determinants (to the power 1/α)of symmetric integral operators. We established the existence theorem of such random point fields for α= -1/n(n = 1,2,....) and for α = 2/m(M = 1, 2,...) by constructing them in a probabilistic manner. We also proposed a-statistics generalizing. Fermi and Bose statistics and a conjecture that such random fields exist for other values of a. Moreover, w answered to the question raised by Spohn, Johanson and others affirmatively byy showing that such random point fields do exist even for nonsymmetric integral operators provided that they are transition operators of one dimensional diffusions or birth and death processes. Based upon these facts we have established the large deviation principle in addition to other basic limit theorems and ergodic properties such as the estimates of metric entropy and Bernoulli and other properties. These results are published in Ann. Probability, J. Functional Analysis and, ASPM Series vol. 39. Besides them Shirai published an interesting application to Glauber dynamics.
Other investigators have obtained their results related to the large deviation on their own fields: Higuchi (with Shirai) on the random walk and the Schrodinger operator on infinite graphs, Kumagai on the diffusions on fractals, Shigekawa and Hino on the Wiener space and Hara on quadratic Wiener functionals.

・境界の容量密度条件の下で,一様領域,内部一様領域,John領域が境界Harnack原理や調和測度の評価で特徴付けられることを示した.また,非可積分な核に対する境界挙動を調べ,Fatou型の定理とLittlewood型の定理を導いた.3G不等式を内部一様領域に対して示すとともに,3次元以上の次元ではMartin境界が位相境界と一致するにもかかわらず,Cranston-McConnellの不等式が成立せず,その結果3G不等式が成立しない領域の例を構成した.p-調和関数に関するCarleson評価を導いた.
・ベソフ空間の理論の応用として、フラクタルを典型例として持つd-setと呼ばれるクラスの上に構成した飛耀型対称確率過程が、Triebel氏を初めとした関数空間の専門家が研究している作用素とどのような関係にあるかを調べ、論文にまとめた。

本研究は、14年度に予定されている、京都大学数理解析研究所プロジェクト研究「確率解析とその周辺」、日本数学会国際研究集会「大規模相互作用系に関する確率解析」という、確率解析に関する2つの大きな国際研究集会・共同研究を有意義かつ円滑に実施するための企画調査を目的として行われたこのために、以下のように全体会議、海外動向調査、研究者招聘によるコミュニケーションの深化を図った。
1.全体会議について:5月19日に大阪大学において初めての全体会合を持ち、各研究集会の基本的な枠組みについて話し合った。その後、代表者・分担者が各方面と連絡を取り合い、具体的な案作りを行った。これを受けて、10月4日に九州大学において2回目の全体会合を持ち、具体案の確認と今後の作業の分担の仕方について話し合った。
2.海外動向調査について:6月上旬に木上は、オーストリアでフラクタルの国際研究集会において視察・情報収集を行った。また、10月に松本は、フランスでの確率解析の国際研究集会を視察し、Elworthy教授、Yor教授らと、次年度にプロジェクト研究の一環として行われる研究集会の打ち合わせを行った。熊谷は、10月中旬よりイギリスを中心に、フランス、ドイツを2ヶ月に渡り歴訪し、イギリスのLyons教授、フランスのYor教授、Emery教授、ドイツのAlbeverio教授、Sturm教授らと事前の意思疎通を図るとともに近隣大学での最新の研究動向を詳細に調査した。これらの渡航の結果、ヨーロッパを中心とした確率解析の研究動向の最新情報を得るとともに、関連分野研究者とのコミュニケーションを深めることが出来た。
3.研究者招聘について:12月にOxford大学のHambly講師を招聘し、当該分野研究動向の報告を受けた。また、次年度に向けての日本側の準備状況を説明し、理解を得た。

本研究に際しては,各研究分担者は密接に連絡を取り合いながら各々が独自のテーマを研究するという形態をとった.実施結果は以下の通りである.
若野は,二次元弾性体中の曲線亀裂先端での応力集中現象の数学解析と数値解析について,二次元「全平面」内の亀裂問題に対して得られていた結果が二次元「有界領域」内の亀裂問題についても同様に成り立つことを検証した.
日野は,一般の局所Dirichlet形式に付随するMarkov半群に関して,積分化されたVaradhan型の短時間漸近挙動について研究を行い,極限が内在距離を用いて表現できることを証明した.系として,フラクタル集合上の対称拡散過程についてwalk次元の評価式を得た.(J.A.Ramirezとの共同研究)
重川は,半群の優評価定理と,交換定理(あるいは交差定理)について主に研究してきた.さらにその応用として,Riemann多様体上でのLittlewood-Paleyの不等式の証明や,L^p乗法作用素定理などの証明を与えた.
熊谷は,空間内に複雑な系が可算無限個存在し,それぞれの系については熱伝導に関する情報がある程度分かっているようなモデルについて,各々の系にしみ込む拡散過程を構成し,その熱核の短時間挙動についての詳しい評価を得た.
渡辺は,WalshのBrown運動勲に関連して,Riemann面上のBrown運動の道に沿った有理型微分形式の積分(Abel積分)の漸近挙動について研究した.また,Tsirelsonが確率過程の表現の問題に関連して導入したノイズの概念に関し,Fellerの1次元拡散過程から比較的容易に構成出来るblack noiseの例を与えた.

1. We have obtained an almost sure invariance principle for the range of random walks on 3-dimensional lattice. This result is a refinement of the known results like, central limit theorem, and various limit theorem can be deduced as a corollary to this result. For the range of random walks on 2-dimensional lattice, we have obtained the law of iterated logarithm. Instead of the expected loglog term, logloglog term appears.
This work will appear in Ann. Probab.
2. We have studied a problem that when disordered media are in a Euclidean space, how does the heat transfers from the space to the media. Applying the theory of Besov spaces, we have constructed a penetrating diffusion process which behaves like the diffusion on the media and like Brownian motion on the Euclidean space outside the media. This work appears in J. Funct. Anal. We then continue to work this problem and obtain a short time asymptotic behavior of the heat kernel for the diffusion process. We also obtain a functional type large deviation for the process.
We are now writing a paper on these results.
3. We have obtained asymptotic behavior of the transition probabilities between two sets on infinite dimensional symmetric diffusion processes. We adopted intrinsic distance instead of the usual distance between sets and our result is fairly general. In particular, we have proved the asymptotic behavior for the Orstein-Uhlenbeck processes on loop spaces on Riemannian manifolds, which had been an open problem. Our result is new also for degenerated symmetric diffusions on Euclidean spaces. This is a joint work with J. A. Ramirez and is now submitted for publication.

In this research project, we obtained the following five main results related with analysis on fractals.
(1) Markov property of Dirichlet forms on self-similar sets
We showed the Markov property of Kusuoka-Zhou's Dirichlet forms on self-similar sets.
(2) Self-similarity of volume measures associated with Laplacians on p.c.f. self-similar fractals
We obtained a sufficient condition for the self-similarity of the volume measure, which is defined by using operator theoretic trace. We also showed that the sufficient condition holds in the case of standard Laplacian on the Sierpinski gasket.
(3) Green's function on fractals
We obtained an algorithm to calculate the diagonal of Green's function and used the algorithm to investigate the maximum value of Green's function.
(4) Large deviations for Brownian motion on the Sierpinski gasket
We showed that Varadhan type estimate and Schilder type Large deviation do not hold for the case of the standard Laplacian on the Sierpinski gasket
(5) Multifractal formalisms for the local spectral and walk dimensions
We showed the multifractal nature of the local spectral and walk dimensions associated with the Laplacians on the self-similar sets.

We have established the following results throughout this project.
1. On spectra of self-adjoint operators on fractals
We study the short time asymptotics for heat kernels when the self-similarity of the measure and that of the diffusion process are different. In this case, the asymptotics highly depend on the initial points and there is a multi-fractality. We compute the Hausdorff dimension and the paper will appear. Further, we define a family of quasi-distances and show that the Hausdorff dimension can be expressed in a simple way using some special quasi-distance.
2. On stochastic processes on random fractals
(1) We construct a diffusion process and study its heat kernel properties on a homogeneous random Sierpinski carpet.
(2) We study a short time heat kernel asymptotics for a diffusion process on a random recursive Sierpinski gasket, which does not have spatial symmetries.
These results are in our paper that have already appeared.
3. Stochastic analysis on fractals
(1) We construct a diffusion process on a (Euclidean) space where countable numbers of disordered media (such as fractals) are embedded.
We apply a trace theory of Besov spaces for the proof. The paper has already appeared and we are now working on large deviations for the process.
(2) Concerning the "stochastic analysis for stochastic processes with rough paths" studied by T.Lyons, we have not obtained a new result so far. It is one of the future problem to study the detailed properties of the stochastic differential equations established by him.

本年度もセミナーや研究会を通じて、スピン系等の数理モデルの性質を中心に最新のプレプリントの紹介、各自の研究の報告・議論を行ったが、スピングラスのモデル自体について大きな進展を得ることは残念ながら出来なかった。以下では、セミナー等で得られた、このテーマに関連した問題に関する実績概要を述べる。
1.吉田は、wetting tansitionの問題に興味を持ち、E.BolthausenやP.Caputoらのプレプリントを読むとともに具体的な計算を行った。Wetting transitionの問題とは、固形物の上に液体がありpinningとentropy repulsionという対立する力がかかるとき、そのinterfaceの局在(dry phase)・非局在(wet phase)がどのようなときに起こるかという問題である。吉田は、非負に条件付けられた一次元のランダムウォークにpinningとしてdiluted local timeを与えたとき、pinningの係数が小さければ非局在、大きければ局在が起こることを示した。
2.熊谷は、フラクタルのような複雑な形の不純物が空間内に存在するときに、空間からこの物質内への熱伝導はどのようになるかという問題を扱い、実解析で用いられるBesov空間の理論を援用することによりある条件のもとでこのような熱伝導を表す拡散過程(物質内ではその物質の拡散をし、外では空間の拡散に従うようなもの)が構成できることを示した。この結果は、最近雑誌に掲載された。
3.村井は篠田氏(奈良女)との議論を通じて、ある範疇の自己相似なグラフ上ではρ-パーコレーションのρ→1における相転移点と普通のパーコレーションの相転移点が一致することを示し、現在論文を執筆中である。

During these three years we achieved the expected results in various areas in probability theory and contributed to promote a few new directions for the future as follows.
In stochastic analysis we have made, among others, two remarkable progresses. One is the study of inequalities and their role in the analysis of function spaces on infinite dimensional, Wiener space led by Aida and Shigekawa. The other is the study of asymptotic behaviors for the Wiener functionals of exponential type by Taniguchi, Matsumoto et al. Besides them, we should mention on the trend to generalize the stochastic analysis based on the Dirichlet space theory shown, for instance, in the work of Osada.
In the theory of hydrodynamic limit Funaki, Uchiyama and thier pupil attacked more realistic models successfully and reached to the promissing problem to compare and synthesize their results with the results obtained in the Dirichlet space theory mentioned above.
In ergodic theory and its around the most remarkable progress was made in the study of the decay of correlation functions by Morita. The summer school in 1997 in this area influenced the information theory people and Han made a large deviation theory for coding.
The renewal of the classical theories and techniques was one of the slogans of the project, which was also successful as is shown by Kumagai on analysis on fractals, Atsuji on Nevalinna theory, Hamana on random walk functionals and Shirai et al. on the spetrum of graph.
Moreover, Nagai et al. applied stochastic control techniques to mathematical finance and Sugita, Takanobu et al. contributed to quasi-random nember theory by using Weyltransformation.
We owed much to PE S. Watanabe to have organized a summer school in 1999 on the noise problem. Also we owed much to the modification on the international exchange under the grant-in-aids by JSPS which has brought more fruitful results.

(1) Vortex Formation and Diffusion in Rotating Stratified Turbulence : Rotation and Stratification are two fundamental physical mechanisms in atmospheres and oceans. Studies of vortex formation and diffusion in such flows play a vital role in improving our understanding of geophysical and astrophysical turbulent phenomena. We examine results of direct numerical simulation of the Navier-Stokes equations with the effects of rotation and stably stratification. Both rotation and stratifications tend to make flows two dimensional (or two components), but we verified that they work in different ways in generating vertical structures. As for diffusion, we observed that stratification suppresses the particle migration in the vertical direction and so does rotation, and that the linear growth in time for single particle dispersion persists in the horizontal direction under strong rotation and/or stratification.
(2) Vortex Motion on Surfaces with Constant Curvature : Vortex motion on two- dimensional Riemannian surfaces with constant curvature is formulated. By way of the stereographic projection, the relation and difference between the vortex motion on a sphere and on a hyperbolic plane can be clearly analyzed. The Hamiltonian formalism is presented for the motion of point vortices on a sphere and a hyperbolic plane. As an example of analytic solutions, the motion of a vortex pair (dipole) is considered. It is shown that a dipole draws a geodesic curve as its trajectory on both surfaces.
(3) Evolution of decaying two-dimensional turbulence and self similarity : We examine the consequences of self-similarity of the energy spectrum of two-dimensional decaying turbulence, and conclude that traditional closures are consistent with this principle only if the regions of space contributing significantly to energy and enstrophy transfer comprise an ever diminishing region of space as time proceeds from the initial time of Gaussian chaos.
(4) Axisymmetrization process for a non-uniform elliptic vortex : The axisymmetrization of a 2D non-uniform elliptic vortex is studied in terms of the growth of palinstrophy, the squared of the vorticity gradient. First, it is pointed out that the equation for the palinstrophy growth, if written in terms of the strain rate tensor, has a similar form to that of enstrophy growth in 3D - the vortex-stretching equation. Then palinstrophy production is analyzed particularly for non-uniform elliptic vortices. It is shown analytically and verified numerically that a non-uniform elliptic vortex in general has quadrupole structure for the palinstrophy production, and that in the positive production regions, vortex filaments are ejected following the gradient enhancement process for vorticity.
(5) Pressure distribution for random Gaussian Velocities : Pressure distributions for random Gaussian velocities are studied both analytically and numerically. Arguments based on rotation symmetry allow to clarify the analytical structure of the characteristic function of pressure and to find the power of all its singularities, which in turn, allows to obtain the exact form of the PDF tail, including both exponent and power pre-exponent factors. For the narrow velocity spectrum (velocity restricted to a shell in k-space), the characteristic function is found explicitly, generating pressure cummulants of all orders.

1. We have obtained sharp estimates on the transition densities (heat kernels) for diffusion processes on p.c.f. self-similar sets, which correspond to finitely ramified self-similar fractals. It was known that if the fractal had a strong symmetry, then the heat kernel of the Brownian motion had Aronson type estimates. In our result, we show that the Aronson type estimates do not hold in general. This work will appear in J.London Math.Soc.
2. On infinitely ramified fractals, we have studied the heat kernel estimates for diffusion processes on random Sierpinski carpets. We obtained sharp esimates for each sample carpets (each environments). Further, we obtained almost sure estimates assuming strong ergodicity for the randomness of the carpets. One of the key idea was to obtain uniform Harnack inequality of the approximate processes using the coupling arguments due to Barlow-Bass. This work is now a preprint.
3. On the relations between fractals and Euclidean spaces, we studied homogenization problems. Since the joint work of the head investigator with Prof.Kusuoka, it was known that the stability of fixed points of the renormalization map was essential. In our research, we discussed with researchers of the same fields when we attended interational workshops and learned several new ideas and methods to search for the problem. But so far we could not apply the methods to our cases. This is the problem we should pursue in a near future.

ホワイトノイズ超関数に作用する作用素の統一理論は、94年に出版された私の著書で一通りの完成を見たが、最近のホワイトノイズ超関数論の発展に合わせて、理論を組み立て直す必要が出てきた。本研究では、まず、増大度の条件を緩めたホワイトノイズ超関数でベクトル値の場合も含むように、従来の理論を発展させた。応用として、量子適合過程・量子的マルチンゲ-ルの一般化と特徴づけが得られた。この理論では、ホワイトノイズの高次の巾乗を取り扱うことができるが、これは確率解析を非線形の方向で一般化するための基礎になるのではないか、という知見を得た。関連する量子的伊藤公式の導出は興味深い課題として残った。別の応用として、ある種の量子確率微分方程式の解の一意存在定理を証明し、ウィック指数関数による解の構成を論じた。また、散逸を含む量子系を記述する量子ランジュヴァン方程式もこの範疇で捉えることができた。解の滑らかさは、極めて興味深い問題である。本研究では、古典的な微分方程式における手法が応用できるか、との関連で研究を開始したが、今のところ手探りの状態である。量子系の中心極限定理も本研究に含まれる課題であったが、群や超群上のランダムウォークのスペクトル解析を背景に、新しい組合せ論的アプローチを開発した。その結果、新しい極限分布の族が構成され、ウィグナーの半円則とその変形が得られた。この流れでダイソンのランダム行列モデルを解析することは今後の課題となった。シュレ-ディンガー作用素の固有値問題・量子スピン系・フラクタル上の確率過程などを量子確率論の観点から見直すことで、これらは今後の研究の展開の上で重要であると認識を新たにした。
本研究遂行にあたり、研究代表者・分担者ともに海外も含め多くの研究集会で口頭発表し、周辺研究者との交流を深めた。また、来日中の外国人研究者や国内研究者多数をセミナーに招待することができ有意義な研究討論を行なった。

This research project was executed for 2 years, namely in 1995 and 1996. We opened 12 symposia during these two years on various matters relating probability theory and exchanged information. You will find the detail of the symposia in the research report of the project.
Especilally, it was significant that we could know the interrelationship between probability theory and other fields of mathematics, phisics, biology, finance. In mathematics we could achieve progress in the fields relating to number theory, differential equation, spectral theory, differential geometry.
We also opend summer schools in 1995 and 1996 so that young generation could get clear understanding what is going on in the present probability theory. We chose two topics : [Fluid mechanical limit] in 1995 and [Ergode theory and number theory] in 1996, which are studied very actively in this country. We believe that this atempt was welcomed and could assist them to determine the direction of their future research.
In the ends of the years, we planned general simposia on probability theory to unify the fields as well as the researchers. We believe that this type of simposium is quite essential to give a perspective view of our research.

T.Funaki firstly studied some basic problems (derivation of nonlinear equations, etc) in hydrodynamical limit for Hamiltonian systems and lattice gas. Then he took up singular limit problem for reaction-diffusion equations with noise as reaction term tends to infinity. It has been shown for the problem that the solutions of the equations approach +1 or -1 pointwise in space and time. Accordingly the generation of random interfaces between two phases +1, -1 occurs. As the third topic, Burgers equations were treated. He proved that non-Gaussian distributions appear as a scaling limit of solutions for Burgers equations with random initial value. Furthermore various properties of solutions for a class of generalized Burgers-type equations with a fractionl power of the Laplacian were studied.
K.Ichihara established a global Harnack inequlity for a class of symmetrizable difference operators on finitely generated groups of polynomial growth order. It was then applied to show a Liouville-property such operators. He secondly introduced birth and death processes in a class of time-dependent random environments. The recurrence and transience problem for the above processes was discussed by means of a renormalization technique. In multi-dimensicnal lattices some examples of recurrent and transient processes have been constructed respectively.

1.作用素論の精密化 積分核作用素はフォック空間(ホワイトノイズ超関数の空間)上の作用素論において最も基本的なものである。従来の議論では、積分核はスカラー値超関数のみを扱っていたが、これを作用素値超関数も扱えるように拡張し、フビニ型の定理を証明した。また、積分核作用素における部分積分を定式化して証明した。これらの成果は、各点毎の生成・消滅作用素が滑らかな作用素流をなすというホワイトノイズ解析の特徴を反映したものである。
2.量子確率過程の表現 まず、量子確率積分を超関数を用いて議論し、従来の伊藤型量子確率積分を著しく一般化した。さらに、フォック空間上の作用素を展開定理を応用して、任意の量子確率過程が生成過程・消滅過程の量子確率積分で与えられることを示した。これは、従来の伊藤型の理論に新しい発展の方向を与えるものである。この結果の応用として、量子適合過程や量子マルチンゲ-ルの表現を得た。物理への応用として、散逸量子系に典型的に現れる量子ランジュヴァン方程式をホワイトノイズ超関数の立場から議論した。
3.無限次元調和解析 フォック空間上の作用素論は、ガウス空間上の調和解析に一つの方向を打ち出している。作用素の展開定理の応用として、ホワイトノイズ関数上の(代数的)微分をすべて決定した。また、ある種の無限次元ラプラシアンを含む低次元リー環をすべて決定し、無限次元コ-シ-問題への応用を研究した。さらに、ベクトル場の作る無限次元リー環のフォック表現と量子ポワソン・ホワイトノイズの関連を明らかにした。

セルフシミラーフラクタルと呼ばれるフラクタルは、ファイナイトラミファイトなものと、インフィニットラミファイドなものに、大別できる。今年度の研究で、ファイナイトラミファイドなフラクタルについては、シェルピンスキーガスケット上の、非対称な拡散過程の特徴付けの研究を行い、また、アフィンネスティドフラクタルというクラスを作り、その上の、ある拡散過程について熱方程式の基本解のアーロンソン型の評価を得た。これらの論文は、別記のジャーナルに掲載予定である。これらの論文の作成やフラクタル図形の描画の際、科学研究費の設備備品費で購入したコンピューター及びソフトウェアが役立った。 インフィニットラミファイドなフラクタルについては、図形自体をランダム化したランダムフラクタルのレジスタンスの評価を、プレフラクタルをネットワークとみなして、その上の電流、電圧、抵抗を計算することによって得た。この研究は、東京大学数理科学研究科の楠岡教授および、北京師範大学の周博士との共同研究である。現在得ている結果は、ランダム化したシェルピンスキーカーペットのような、具体的なものに限られており、同様の評価が成り立つランダムフラクタルのクラスをはっきりさせてから、論文にまとめる予定である。 この他、楠岡教授と共同で、ネスティドフラクタルのホモジナイゼーション(均質化)についての研究を行っている。この問題は、ネスティドフラクタル上のブラウン運動の一意性とも関わっており、非常に重要かつ興味深い問題であるが、今のところ部分的な結果しか得られていないので来年度もひきつづき研究を続けて行く計画である。また、直接的な成果としては現れていないが、物理や工学の研究者も交えた研究集会に出席し、自分自身の研究面の視野と交流範囲を広げることができたことは、今後の研究に大きな影響を与えるものと考える。

双曲型方程式の特徴の第一は特異性の伝播現象である。この性質は方程式の解の基本的なものであり、この性質を調べることが研究のキーポイントとなる。双曲型方程式の最も典型的なものである波動方程式に対しては、局所的には特異性の伝播現象は単純である。しかし、物体の外部に於ける伝播現象において、長時間後の特異性の研究は一般にはきわめて複雑な問題となる。この研究は、局所理論より推察するに、外部問題に於ける古典軌道の長時間後の性質、エルゴード性と深く関連していることが予想される。我々はこの古典軌道と特異性の関係を調べ、散乱論への応用を研究した。
このためには古典軌道の性質を調べるために、ゼーター関数を導入し、それに付随した作用素のスペクトルを調べ、その位置関係により、ゼーター関数の特異性を調べた。このゼーター関数の特異性は、波動方程式の特異性の内で、周期的振舞いをするものと深い関わりがあることが、わかった。
以上のことを調べるために、我々は、波動方程式の解の性質を関数解析的方法により分解・表現することが必要であった。我々はこの方法を研究・発展させ、新しい関係式と評価式を導いた。これらの研究から解った波動方程式の諸性質は非線形方程式の研究、特に非線形双曲型方程式の解の存在、その性質の研究に有効であることが解っている。これらの成果を十分に活かすには今後の非線形方程式の解の性質の研究を組織的に行なう必要を感じている。この方面の発展は今後の研究課題であろう。

We introduce the concepts of local spectral and walk dimension for fractals. For a class of finitely ramified fractals we show that, if the Laplace operator on the fractal is defined with respect to a multifractal measure, then both the local spectral and walk dimensions will have associated non-trivial multifractal spectra. The multifractal spectra for both dimensions can be calculated and are shown to be transformations of the original underlying multifractal spectrum for the measure, but with respect to the effective resistance metric.