Skip to main content

graphics - Interpolation on a regular square grid spanning a triangular domain


Bug introduced in 10.0 and fixed in 10.1




Context



I am trying to identify contours of a function which is sampled on a cartesian grid within an irregular (triangular) region.


Here is the data


tab = ReadList[
"https://dl.dropboxusercontent.com/u/659996/tabOmega1.txt"] //
Flatten[#, 1] &;

It looks like this:


Map[Point, Map[Most, tab], 1] // Graphics
g3 = ListPointPlot3D[tab , PlotRange -> Full]


Mathematica graphics Mathematica graphics


Now Mathematica (v10.0.2) happily makes contours of it:


g = ListContourPlot[tab , PlotRange -> Full]

Mathematica graphics


But if I try to produce an interpolation function out of it


tabint = tab /. {rp_, ra_, v_} -> {{rp, ra}, v};    
func = Interpolation[tabint, InterpolationOrder -> All];

It produces unrealistic numbers



func[1, 2]

(* 37.9231 *)


Indeed the interpolation is completely off:


Plot3D[func[x, y], {x, y} ∈ dg]

Mathematica graphics


Question



How can I get Mathematica to interpolate properly though this evenly sampled data on an irregular region?




Attempt


Following this post


I can use


func = Nearest[{#, #2} -> #3 & @@@ tab];
ContourPlot[func[{x, y}], {x, 0, 4}, {y, x, 4}]

Mathematica graphics


but the contours are irregular because the interpolation is piecewise constant, as can be seen on this zoom:


 ContourPlot[func[{x, y}], {x, 0, 1}, {y, x, 1}]


Mathematica graphics


An alternative may involve something new in version 10 like


dg = g // DiscretizeGraphics;

Update


Intriguingly the following code seems to work


dat = {#[[1]], #[[2]], 
If[#[[1]] < #[[2]], Sin[5 #[[1]] #[[2]]], 0]} & /@
RandomReal[1, {2000, 2}];

if = Interpolation[dat, InterpolationOrder -> 1];
ContourPlot[if[x, y], {x, 0, 1}, {y, 0, 1}, Contours -> 25]

Mathematica graphics


This would suggest there is something wrong with the tab grid but it is not obvious what exactly?



Answer



This is not a full answer, just some analysis of some of the problems we see here.




Interpolation[tab, InterpolationOrder -> 1] should work, but it fails like this:


Interpolation[tab, InterpolationOrder -> 1]


Interpolation::femimq: The element mesh has insufficient quality of -2.05116*10^-13. A quality estimate below 0. may be caused by a wrong ordering of element incidents or self-intersecting elements. >>

Interpolation::fememtlq: The quality -2.05116*10^-13 of the underlying mesh is too low. The quality needs to be larger than 0.`. >>

This is a bug introduced in version 10. It doesn't happen in version 9. Please report it to Wolfram Support.




What does InterpolationOrder -> 1 actually do behind the scenes? It constructs a Delaunay triangulation of the points and does (trivial) linear interpolation over each triangle. Let's look at the Delunay triangulation here:


DelaunayMesh[tab[[All, 1 ;; 2]]]


Mathematica graphics


You'll notice that the points are on a regular square grid. The Delaunay triangulation is not unique. Each square can be split into two triangles along either of the two diagonals. This is somehow confusing the interpolation function. If we break this degeneracy by slightly shuffling the points around, it'll work fine:


Interpolation[{#1 + RandomReal[.0001 {-1, 1}], #2 + 
RandomReal[.0001 {-1, 1}], #3} & @@@ tab,
InterpolationOrder -> 1]

(* no error *)

You could use this as a practical workaround, just use very tiny displacements of the points so precision won't be affected much.





A different workaround is to exploit the regular structure of the point grid and use interpolation on a structured grid.


Let's put the $z$ values in a matrix:


mat = SparseArray[Round[10 {#1 + 0.05, #2 - 0.15}] -> #3 & @@@ tab];

MatrixPlot[mat]

Mathematica graphics


Now this works:


if = ListInterpolation[Normal[mat], {{0.05, 4.65}, {0.25, 4.85}}]


Plot3D[if[x, y], {x, y} \[Element] DelaunayMesh[tab[[All, {1, 2}]]], PlotRange -> All]

Mathematica graphics


Comments

Popular posts from this blog

front end - keyboard shortcut to invoke Insert new matrix

I frequently need to type in some matrices, and the menu command Insert > Table/Matrix > New... allows matrices with lines drawn between columns and rows, which is very helpful. I would like to make a keyboard shortcut for it, but cannot find the relevant frontend token command (4209405) for it. Since the FullForm[] and InputForm[] of matrices with lines drawn between rows and columns is the same as those without lines, it's hard to do this via 3rd party system-wide text expanders (e.g. autohotkey or atext on mac). How does one assign a keyboard shortcut for the menu item Insert > Table/Matrix > New... , preferably using only mathematica? Thanks! Answer In the MenuSetup.tr (for linux located in the $InstallationDirectory/SystemFiles/FrontEnd/TextResources/X/ directory), I changed the line MenuItem["&New...", "CreateGridBoxDialog"] to read MenuItem["&New...", "CreateGridBoxDialog", MenuKey["m", Modifiers-...

How to thread a list

I have data in format data = {{a1, a2}, {b1, b2}, {c1, c2}, {d1, d2}} Tableform: I want to thread it to : tdata = {{{a1, b1}, {a2, b2}}, {{a1, c1}, {a2, c2}}, {{a1, d1}, {a2, d2}}} Tableform: And I would like to do better then pseudofunction[n_] := Transpose[{data2[[1]], data2[[n]]}]; SetAttributes[pseudofunction, Listable]; Range[2, 4] // pseudofunction Here is my benchmark data, where data3 is normal sample of real data. data3 = Drop[ExcelWorkBook[[Column1 ;; Column4]], None, 1]; data2 = {a #, b #, c #, d #} & /@ Range[1, 10^5]; data = RandomReal[{0, 1}, {10^6, 4}]; Here is my benchmark code kptnw[list_] := Transpose[{Table[First@#, {Length@# - 1}], Rest@#}, {3, 1, 2}] &@list kptnw2[list_] := Transpose[{ConstantArray[First@#, Length@# - 1], Rest@#}, {3, 1, 2}] &@list OleksandrR[list_] := Flatten[Outer[List, List@First[list], Rest[list], 1], {{2}, {1, 4}}] paradox2[list_] := Partition[Riffle[list[[1]], #], 2] & /@ Drop[list, 1] RM[list_] := FoldList[Transpose[{First@li...

functions - Get leading series expansion term?

Given a function f[x] , I would like to have a function leadingSeries that returns just the leading term in the series around x=0 . For example: leadingSeries[(1/x + 2)/(4 + 1/x^2 + x)] x and leadingSeries[(1/x + 2 + (1 - 1/x^3)/4)/(4 + x)] -(1/(16 x^3)) Is there such a function in Mathematica? Or maybe one can implement it efficiently? EDIT I finally went with the following implementation, based on Carl Woll 's answer: lds[ex_,x_]:=( (ex/.x->(x+O[x]^2))/.SeriesData[U_,Z_,L_List,Mi_,Ma_,De_]:>SeriesData[U,Z,{L[[1]]},Mi,Mi+1,De]//Quiet//Normal) The advantage is, that this one also properly works with functions whose leading term is a constant: lds[Exp[x],x] 1 Answer Update 1 Updated to eliminate SeriesData and to not return additional terms Perhaps you could use: leadingSeries[expr_, x_] := Normal[expr /. x->(x+O[x]^2) /. a_List :> Take[a, 1]] Then for your examples: leadingSeries[(1/x + 2)/(4 + 1/x^2 + x), x] leadingSeries[Exp[x], x] leadingSeries[(1/x + 2 + (1 - 1/x...